Jump to content

CADE ATP System Competition: 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 20:2320:23, 6 June 2024 LucasBrown talk contribs 4,463 bytes +67 Adding local short description: "Annual automated theorem proving competition", overriding Wikidata description "yearly competition of fully automated theorem provers" undo Tag: Shortdesc helper

curprev 12:3412:34, 29 April 2024 TeeEmCee talk contribs 4,396 bytes −4 →External links: fix link undo

curprev 10:4710:47, 17 March 2024 Widefox talk contribs 4,400 bytes +4 sep lead, destub, tweak Eng undo

curprev 16:2416:24, 28 September 2023 92.234.37.252 talk 4,396 bytes +69 No edit summary undo

curprev 11:0111:01, 15 July 2023 46.18.177.138 talk 4,327 bytes +50 →External links: Category undo

curprev 09:5809:58, 30 January 2023 OAbot talk contribs m 4,277 bytes +17 Open access bot: doi added to citation with #oabot. undo

curprev 21:4021:40, 18 April 2022 2601:14f:8003:2190:9571:cf0c:1063:61ea talk 4,260 bytes −1 No edit summary undo

curprev 20:5220:52, 16 May 2021 Headbomb talk contribs 4,261 bytes −10 fix undo

curprev 15:4715:47, 13 May 2021 Citation bot talk contribs 4,271 bytes +29 Add: s2cid. | Use this bot. Report bugs. | Suggested by SemperIocundus | #UCB_webform undo

curprev 20:4120:41, 16 March 2020 Citation bot talk contribs m 4,242 bytes +27 Add: citeseerx. | You can use this bot yourself. Report bugs here. | Activated by User:AManWithNoPlan | All pages linked from User:AManWithNoPlan/sandbox2 | via #UCB_webform_linked undo

curprev 13:3813:38, 20 January 2020 Aymatth2 talk contribs 4,215 bytes +55 →References: list undo

curprev 14:0014:00, 7 December 2019 Citation bot talk contribs m 4,160 bytes +193 Alter: author, url. Add: isbn, series, pages, author-link, doi. Formatted dashes. | You can use this bot yourself. Report bugs here.| Activated by User:Nemo bis | via #UCB_webform undo

curprev 00:5300:53, 3 October 2019 Monkbot talk contribs m 3,967 bytes +3 →top: Task 16: replaced (1×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB

curprev 18:1718:17, 20 August 2019 Jarble talk contribs 3,964 bytes +483 adding links to references using Google Scholar undo

curprev 15:4915:49, 5 July 2019 84.108.246.128 talk 3,481 bytes +63 Update website links undo

curprev 00:4200:42, 19 June 2019 InternetArchiveBot talk contribs 3,418 bytes +171 Rescuing 2 sources and tagging 0 as dead. #IABot (v2.0beta15) undo

curprev 10:2110:21, 3 November 2018 Stephan Schulz talk contribs 3,247 bytes −3 Fixed reference undo

curprev 16:1416:14, 17 September 2018 Smasongarrison talk contribs 3,250 bytes +5 copy edit with General fixes undo Tag: AWB

curprev 20:5820:58, 20 July 2018 Sarahj2107 talk contribs 3,245 bytes −448 AFD closed as keep (XFDcloser) undo

curprev 17:1217:12, 14 July 2018 Stephan Schulz talk contribs 3,693 bytes +60 Inline sources undo
curprev 17:0817:08, 14 July 2018 Stephan Schulz talk contribs 3,633 bytes +764 Add more sources undo

curprev 17:5617:56, 19 March 2013 Addbot talk contribs m 1,339 bytes −36 Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q5008555 undo

curprev 14:5914:59, 10 April 2012 RjwilmsiBot talk contribs m 1,375 bytes +2 →References: fixing page range dashes using AWB (8010) undo

curprev 09:4309:43, 9 January 2012 Stephan Schulz talk contribs 1,373 bytes +187 →References: Add more recent ref undo
curprev 09:3509:35, 9 January 2012 RedBot talk contribs m 1,186 bytes +36 r2.7.1) (Robot: Adding pl:CADE ATP System Competition undo

curprev 19:5319:53, 16 June 2011 Citation bot 1 talk contribs m 1,150 bytes +2 [Pu356]+: issue. Formatted dashes. undo

curprev 09:5909:59, 29 September 2010 Stephan Schulz talk contribs m 1,148 bytes 0 Stray [ undo

curprev 19:3619:36, 14 September 2010 CRGreathouse talk contribs m 1,148 bytes +26 link undo

curprev 14:2514:25, 13 April 2010 91.105.190.182 talk 1,122 bytes +73 No edit summary undo

curprev 18:0818:08, 14 January 2010 Stephan Schulz talk contribs 1,049 bytes −60 Correct what looked like a copy&paste error undo

curprev 17:4817:48, 17 December 2009 RjwilmsiBot talk contribs m 1,109 bytes +4 →References: fixing page range dashes using Project:AWB undo

curprev 22:4522:45, 16 December 2009 Eldumpo talk contribs 1,105 bytes +129 add ref undo
curprev 22:3822:38, 16 December 2009 82.6.118.35 talk 976 bytes +44 add cat undo

curprev 16:5616:56, 23 October 2008 Stephan Schulz talk contribs 932 bytes +932 Stub on CASC

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