Jump to content

Category:Theorem proving software systems: Revision history

View logs for this page (view filter log)

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 11:3111:31, 16 April 2013 EmausBot talk contribs m 152 bytes −31 Bot: Migrating 1 langlinks, now provided by Wikidata on d:Q8851959 undo

curprev 20:0620:06, 31 March 2013 Addbot talk contribs m 183 bytes −167 Bot: Migrating 3 interwiki links, now provided by Wikidata on d:q8851959 undo

curprev 11:1711:17, 1 October 2010 Gf uip talk contribs m 350 bytes +84 No edit summary undo

curprev 18:4018:40, 21 December 2008 Rwwww talk contribs 266 bytes −29 del cat software systems. Math software is correct -> Science software -> application software undo

curprev 21:3121:31, 8 July 2008 JackSchmidt talk contribs 295 bytes −20 -duplicate cat, Atp is subcat of proofs undo

curprev 22:4522:45, 28 December 2007 88.168.199.181 talk 315 bytes +38 No edit summary undo

curprev 14:3114:31, 25 November 2007 Cydebot talk contribs m 277 bytes +277 Robot: Moved from Category:Theorem provers. Authors: Lambiam, 128.36.233.100, Elwikipedista, Gregbard, CharlesGillingham, Charles Matthews, Jpbowen, Linas, Rwwww, Tizio undo

curprev 08:5708:57, 16 November 2007 Rwwww talk contribs 1,921 bytes +1,644 Cfr undo

curprev 09:4509:45, 26 August 2007 CharlesGillingham talk contribs 277 bytes −39 No edit summary undo

curprev 08:5508:55, 12 July 2007 Lambiam talk contribs m 316 bytes −19 Undid revision 144073474 by Gregbard (talk): already supercat undo

curprev 23:4123:41, 11 July 2007 Gregbard talk contribs m 335 bytes +19 No edit summary undo

curprev 04:2104:21, 19 April 2007 Jpbowen talk contribs m 316 bytes +30 Added category undo

curprev 19:3319:33, 11 December 2006 Tizio talk contribs m 286 bytes +39 cat undo

curprev 11:2911:29, 2 December 2006 Jpbowen talk contribs m 247 bytes +6 Narrowed category undo

curprev 21:2621:26, 19 March 2006 Linas talk contribs m 241 bytes +34 Category:Mathematical software undo

curprev 10:1410:14, 12 September 2005 Jpbowen talk contribs m 207 bytes +28 Added "Formal methods" category undo

curprev 20:2220:22, 28 June 2005 128.36.233.100 talk 179 bytes +7 mv cat undo

curprev 04:3104:31, 22 April 2005 Elwikipedista~enwiki talk contribs 172 bytes +86 es:Categoría:Demostradores de teoremas undo

curprev 08:2908:29, 9 December 2004 Charles Matthews talk contribs m 86 bytes 0 No edit summary undo
curprev 08:2808:28, 9 December 2004 Charles Matthews talk contribs m 86 bytes +86 No edit summary

Retrieved from "https://en.wikipedia.org/wiki/Category:Theorem_proving_software_systems"