"http://www.mediawikidotorg/wiki/Extension:Nuke is an extension that lets you delete all pages created by a user/IP. The JS script mentioned in a comment by Hello71 lets you rollback all changes from a certain user. Used together, it works pretty well.
For your specific case of having 12 changes to each page from multiple bots, I don't know how well that can be handled."