Conference on Automated Deduction: Revision history

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 05:4905:49, 12 April 2024‎ Jlwoodwa talk contribs‎ 4,588 bytes 0‎ MOS:ORDER undo

curprev 08:3808:38, 29 August 2022‎ Rzuwig talk contribs‎ m 4,588 bytes +9‎ No edit summary undo

curprev 14:5714:57, 25 May 2021‎ Tom.Reding talk contribs‎ m 4,579 bytes +24‎ +{{Authority control}} (4 IDs from Wikidata), WP:GenFixes on undo Tag: AWB

curprev 14:3114:31, 8 April 2021‎ Jerryobject talk contribs‎ 4,555 bytes −317‎ Cut needless whitespace characters in table: standardize, aid edits via mobile devices. undo
curprev 14:0114:01, 8 April 2021‎ Jerryobject talk contribs‎ m 4,872 bytes +7‎ →‎External links: Template:Official websites add. undo

curprev 14:2214:22, 20 February 2021‎ Jochen Burghardt talk contribs‎ 4,865 bytes +5‎ →‎top: wikilink undo
curprev 14:0914:09, 20 February 2021‎ Jochen Burghardt talk contribs‎ 4,860 bytes −61‎ →‎top: unique date fmt undo
curprev 14:0414:04, 20 February 2021‎ Jochen Burghardt talk contribs‎ 4,921 bytes +452‎ →‎top: conf.s 2018-2021 undo

curprev 13:3513:35, 16 December 2020‎ Tom.Reding talk contribs‎ m 4,469 bytes +27‎ Enum 1 author/editor WL; WP:GenFixes on undo Tag: AWB

curprev 11:5211:52, 13 November 2019‎ InternetArchiveBot talk contribs‎ 4,442 bytes +63‎ Bluelink 1 book for verifiability.) #IABot (v2.0) (GreenC bot undo

curprev 16:4316:43, 2 October 2018‎ 90.94.226.194 talk‎ 4,379 bytes +10‎ No edit summary undo

curprev 16:2516:25, 17 September 2018‎ Smasongarrison talk contribs‎ 4,369 bytes −61‎ →‎top: copy edit with General fixes undo Tag: AWB

curprev 07:0107:01, 11 August 2017‎ Stephan Schulz talk contribs‎ 4,430 bytes +99‎ Update 2017 undo

curprev 23:1023:10, 15 May 2017‎ Stephan Schulz talk contribs‎ m 4,331 bytes −5‎ Uodate link undo

curprev 02:1002:10, 20 September 2016‎ Bender the Bot talk contribs‎ m 4,336 bytes +2‎ →‎top: http→https for Google Books and Google News using AWB undo

curprev 23:3423:34, 22 July 2016‎ TAnthony talk contribs‎ 4,334 bytes +6‎ →‎top: USA is deprecated, per MOS:NOTUSA, and correct overlinking of common places using AWB undo

curprev 03:5103:51, 24 November 2015‎ BattyBot talk contribs‎ m 4,328 bytes −8‎ fixed citation template(s) to remove page from Category:CS1 maint: Extra text & general fixes using AWB (11749) undo

curprev 06:4206:42, 6 October 2015‎ 79.247.119.118 talk‎ 4,336 bytes +107‎ No edit summary undo

curprev 12:2312:23, 8 July 2015‎ Trappist the monk talk contribs‎ m 4,229 bytes +7‎ replace/remove deprecated cs1|2 parameters; using AWB undo

curprev 08:2808:28, 13 February 2015‎ Yobot talk contribs‎ m 4,222 bytes −4‎ WP:CHECKWIKI error fixes (Unnecessary pipe template), replaced: [[Springer Science+Business Media{{!}}Springer]] → Springer using AWB (10823) undo

curprev 09:5509:55, 6 January 2015‎ Yobot talk contribs‎ m 4,226 bytes +1‎ Removed invisible unicode characters + other fixes, removed: using AWB (10691) undo

curprev 01:4901:49, 5 October 2014‎ Vsmith talk contribs‎ 4,225 bytes −4‎ Reverted to revision 628192807 by Jochen Burghardt (talk): Block evasion. (TW) undo
curprev 01:4701:47, 5 October 2014‎ 99.119.129.193 talk‎ 4,229 bytes +4‎ Tallinn, Estonia undo

curprev 10:4810:48, 4 October 2014‎ Jochen Burghardt talk contribs‎ 4,225 bytes +19‎ suggest wikilinks for some more editors undo
curprev 09:3909:39, 4 October 2014‎ Jochen Burghardt talk contribs‎ 4,206 bytes +4‎ Undid revision 628183401 by Arthur Rubin (talk): why not wikilink this city, too? undo
curprev 08:3508:35, 4 October 2014‎ Arthur Rubin talk contribs‎ m 4,202 bytes −4‎ Reverted edits by 99.119.131.201 (talk) to last version by Stephan Schulz undo
curprev 06:0606:06, 4 October 2014‎ 99.119.131.201 talk‎ 4,206 bytes +4‎ Wrocław, Poland undo

curprev 16:1516:15, 26 September 2014‎ Stephan Schulz talk contribs‎ 4,202 bytes +159‎ Add some more data undo
curprev 10:5510:55, 26 September 2014‎ Stephan Schulz talk contribs‎ 4,043 bytes +10‎ →‎top: DAB undo

curprev 09:2009:20, 25 September 2014‎ Stephan Schulz talk contribs‎ 4,033 bytes +44‎ Add Trento Details undo
curprev 09:1809:18, 25 September 2014‎ Stephan Schulz talk contribs‎ 3,989 bytes +93‎ →‎top: Add CADE-24 undo
curprev 09:1209:12, 25 September 2014‎ Stephan Schulz talk contribs‎ 3,896 bytes +44‎ Add CADE 18 data undo
curprev 09:0409:04, 25 September 2014‎ Jochen Burghardt talk contribs‎ 3,852 bytes +4‎ →‎top undo

curprev 01:1501:15, 7 May 2014‎ Monkbot talk contribs‎ m 3,848 bytes −2‎ Task 3: Fix CS1 deprecated coauthor parameter errors undo

curprev 16:5616:56, 3 July 2013‎ Jochen Burghardt talk contribs‎ 3,850 bytes 0‎ typo undo

curprev 10:0010:00, 9 June 2013‎ Yobot talk contribs‎ m 3,850 bytes −5‎ WP:CHECKWIKI error fixes using AWB (9241) undo

curprev 11:0811:08, 4 June 2013‎ Jochen Burghardt talk contribs‎ m 3,855 bytes +4‎ No edit summary undo
curprev 11:0011:00, 4 June 2013‎ Jochen Burghardt talk contribs‎ m 3,851 bytes +27‎ added links to eds undo
curprev 10:5010:50, 4 June 2013‎ Jochen Burghardt talk contribs‎ 3,824 bytes +1,990‎ added table about date, locn. proc., eds. undo

curprev 12:2912:29, 4 May 2013‎ Stephan Schulz talk contribs‎ 1,834 bytes +475‎ Add more sources undo
curprev 12:1412:14, 4 May 2013‎ Stephan Schulz talk contribs‎ 1,359 bytes +309‎ Add source undo

curprev 13:4313:43, 14 March 2013‎ Addbot talk contribs‎ m 1,050 bytes −42‎ Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q5159939 undo

curprev 13:3713:37, 8 February 2013‎ 193.55.177.251 talk‎ 1,092 bytes −6‎ →‎External links: Corrected a URL. undo

curprev 09:3509:35, 9 January 2012‎ RedBot talk contribs‎ m 1,098 bytes +29‎ r2.7.1) (Robot: Modifying pl:Conference on Automated Deduction undo

curprev 07:3307:33, 12 September 2011‎ Stuartyeates talk contribs‎ 1,069 bytes +75‎ Added {{notability}} and {{primary sources}} tags to article (TW) undo

curprev 09:5109:51, 30 March 2010‎ Dawynn talk contribs‎ 994 bytes +27‎ →‎External links: Stub-sorting. You can help! undo

curprev 20:5220:52, 9 May 2009‎ Miym talk contribs‎ m 967 bytes −27‎ cat undo

curprev 22:1722:17, 12 February 2009‎ Geoffgeoffgeoff3 talk contribs‎ 994 bytes −11‎ →‎External links undo

curprev 19:5619:56, 7 November 2008‎ Lightbot talk contribs‎ 1,005 bytes −12‎ Date audit per mosnum/overlink/Other undo

curprev 08:2808:28, 26 December 2006‎ 89.48.216.186 talk‎ 1,017 bytes −10‎ →‎External links: entered the new URL (to reduce the redirection) undo

12 April 2024

29 August 2022

25 May 2021

8 April 2021

20 February 2021

16 December 2020

13 November 2019

2 October 2018

17 September 2018

11 August 2017

15 May 2017

20 September 2016

22 July 2016

24 November 2015

6 October 2015

8 July 2015

13 February 2015

6 January 2015

5 October 2014

4 October 2014

26 September 2014

25 September 2014

7 May 2014

3 July 2013

9 June 2013

4 June 2013

4 May 2013

14 March 2013

8 February 2013

9 January 2012

12 September 2011

30 March 2010

9 May 2009

12 February 2009

7 November 2008

26 December 2006