Jump to content

Theorem Proving System: 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 04:3504:35, 18 May 2024 Cewbot talk contribs m 672 bytes +22 Normalize {{Multiple issues}}: Create {{Multiple issues}} with 3 maintenance templates: Notability, One source, Third-party undo

curprev 00:5200:52, 13 May 2024 Jlwoodwa talk contribs 650 bytes +69 tag as one source undo

curprev 15:5215:52, 1 August 2023 Fadesga talk contribs 581 bytes −2 →External links undo

curprev 20:4620:46, 21 September 2020 JJMC89 bot III talk contribs m 583 bytes +23 Moving Category:Common Lisp software to Category:Common Lisp (programming language) software per Wikipedia:Categories for discussion/Speedy undo

curprev 16:2416:24, 7 May 2016 AnomieBOT talk contribs m 560 bytes +28 Dating maintenance tags: {{Refimprove}} {{Notability}} undo
curprev 16:0416:04, 7 May 2016 Dialectric talk contribs 532 bytes +31 independent refs needed to establish notability undo

curprev 02:5602:56, 13 February 2010 Dawynn talk contribs 501 bytes +8 Stub-sorting. You can help! undo

curprev 03:0203:02, 30 January 2008 Skier Dude talk contribs 493 bytes 0 clean up and re-categorisation per CFD , replaced: Category:Common Lisp Software → Category:Common Lisp software using AWB undo

curprev 01:5401:54, 31 December 2007 Joswig talk contribs 493 bytes +34 →External links undo

curprev 14:2614:26, 25 November 2007 Cydebot talk contribs m 459 bytes +16 Robot - Moving category Theorem provers to Theorem proving software systems per CFD at Wikipedia:Categories for discussion/Log/2007 November 16. undo

curprev 23:4623:46, 22 January 2007 Giftlite talk contribs m 443 bytes −1 No edit summary undo

curprev 15:5615:56, 18 November 2006 DaltinWentsworth talk contribs m 444 bytes 0 moved TPS (Theorem Proving System) to Theorem Proving System undo

curprev 12:0412:04, 20 August 2006 TheParanoidOne talk contribs 444 bytes +92 Ext links undo

curprev 12:5812:58, 10 April 2006 Stephan Schulz talk contribs 352 bytes +9 Fixed categories undo
curprev 12:5712:57, 10 April 2006 Stephan Schulz talk contribs 343 bytes +26 Added links undo
curprev 12:4712:47, 10 April 2006 Stephan Schulz talk contribs m 317 bytes 0 moved Theorem Proving System to TPS (Theorem Proving System): It's actually better known under the abbreviation. undo
curprev 12:4712:47, 10 April 2006 Stephan Schulz talk contribs 317 bytes +317 New (stub) article on TPS

Retrieved from "https://en.wikipedia.org/wiki/Theorem_Proving_System"