Automated reasoning: 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 22:4122:41, 19 January 2024‎ Jochen Burghardt talk contribs‎ 13,904 bytes +168‎ Undid revision 1196831092 by 103.151.189.129 (talk) undo Tag: Undo

curprev 17:0117:01, 18 January 2024‎ 103.151.189.129 talk‎ 13,736 bytes −168‎ →‎Significant contributions undo Tags: Reverted references removed Visual edit

curprev 07:3107:31, 12 January 2024‎ Sir Ibee talk contribs‎ 13,904 bytes +28‎ Open access status updates in citations with OAbot #oabot undo Tag: OAbot [2.1]

curprev 19:5519:55, 12 November 2023‎ ElliAWB talk contribs‎ m 13,876 bytes +60‎ Disambiguating links to Coq (link changed to Coq (software); link changed to Coq (software); link changed to Coq (software); link changed to Coq (software)) using DisamAssist. undo

curprev 18:2518:25, 7 August 2023‎ WikiCleanerBot talk contribs‎ m 13,816 bytes −1‎ v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 18:2918:29, 27 July 2023‎ 2605:bc0:1205:24:6daf:1ed1:aab4:aa5e talk‎ 13,817 bytes +187‎ →‎Proof systems: Add PLTP archive link undo

curprev 21:2921:29, 15 May 2023‎ AnomieBOT talk contribs‎ m 13,630 bytes +14‎ Dating maintenance tags: {{Full citation needed}} undo
curprev 21:0921:09, 15 May 2023‎ Jarble talk contribs‎ 13,616 bytes +24‎ This isn't a citation; it's a link to another Wikipedia article. undo

curprev 20:2020:20, 24 March 2023‎ Jarble talk contribs‎ m 13,592 bytes 0‎ editing a link undo

curprev 19:0819:08, 20 March 2023‎ Jarble talk contribs‎ 13,592 bytes +24‎ adding Template:Automated reasoning undo

curprev 23:3623:36, 7 March 2023‎ David Eppstein talk contribs‎ 13,568 bytes +28‎ Sandrine Blazy undo

curprev 16:3616:36, 12 February 2023‎ SporkBot talk contribs‎ m 13,540 bytes −25‎ Remove template per TFD outcome undo

curprev 16:0816:08, 24 December 2022‎ Conan talk contribs‎ m 13,565 bytes −37‎ Bot: Removing category Category:Artificial intelligence which is already in Category:Automated reasoning undo

curprev 20:5220:52, 16 December 2022‎ Jochen Burghardt talk contribs‎ 13,602 bytes +4‎ →‎top: activate link from former comment undo
curprev 17:3917:39, 16 December 2022‎ 27.55.72.159 talk‎ 13,598 bytes −28‎ No edit summary undo Tags: Visual edit Mobile edit Mobile web edit
curprev 17:3817:38, 16 December 2022‎ 27.55.72.159 talk‎ 13,626 bytes −1‎ No edit summary undo Tags: Visual edit Mobile edit Mobile web edit

curprev 19:3519:35, 10 November 2022‎ Citation bot talk contribs‎ 13,627 bytes +49‎ Add: s2cid. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

curprev 17:3117:31, 4 November 2022‎ Qzd talk contribs‎ m 13,578 bytes +13‎ Reverted edits by 37.237.82.7 (talk) to last revision by Jochen Burghardt: nonconstructive edits undo Tags: Rollback SWViewer [1.4]
curprev 17:3117:31, 4 November 2022‎ 37.237.82.7 talk‎ 13,565 bytes −13‎ No edit summary undo Tags: Reverted Mobile edit Mobile web edit

curprev 09:0409:04, 3 August 2022‎ Jochen Burghardt talk contribs‎ 13,578 bytes +21‎ →‎top: more specific short descr. undo

curprev 19:4319:43, 2 August 2022‎ Maxeto0910 talk contribs‎ 13,557 bytes +40‎ Added short description. undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 19:0219:02, 3 October 2021‎ Favonian talk contribs‎ m 13,517 bytes +165‎ Reverted edits by 119.160.2.136 (talk) to last version by Jochen Burghardt undo Tag: Rollback
curprev 18:3518:35, 3 October 2021‎ 119.160.2.136 talk‎ 13,352 bytes −165‎ No edit summary undo Tags: Reverted Visual edit Mobile edit Mobile web edit

curprev 11:2511:25, 8 July 2021‎ Jochen Burghardt talk contribs‎ 13,517 bytes +8‎ →‎top: suggest to put context first, this makes the sentence more readable imo (btw: it make the triviality of the sentence more obvious); boldly subsuming metalogic below (theoreticel) computer science undo
curprev 01:2801:28, 8 July 2021‎ 49.195.197.123 talk‎ 13,509 bytes +4‎ No edit summary undo

curprev 13:0313:03, 26 May 2021‎ Chongkian talk contribs‎ 13,505 bytes −57‎ the article is not listed in the navbox per WP:NAV-WITHIN undo

curprev 17:3717:37, 28 April 2021‎ Bender the Bot talk contribs‎ m 13,562 bytes +1‎ →‎Early years: HTTP → HTTPS for the American Mathematical Society, replaced: [http://www.ams.org/ → [https://www.ams.org/ undo Tag: AWB

curprev 14:4114:41, 8 March 2021‎ NoonIcarus talk contribs‎ 13,561 bytes +25‎ Author link undo

curprev 05:3705:37, 19 December 2020‎ EureKB talk contribs‎ m 13,536 bytes −6‎ removed unnecessary adverb undo

curprev 14:0414:04, 16 December 2020‎ Omnipaedista talk contribs‎ 13,542 bytes +4‎ italics for journal titles undo

curprev 15:1715:17, 5 December 2020‎ Monkbot talk contribs‎ m 13,538 bytes −11‎ Task 18 (cosmetic): eval 5 templates: del empty params (1×); undo Tag: AWB

curprev 02:3502:35, 29 October 2020‎ Irontitan76 talk contribs‎ 13,549 bytes −1‎ No edit summary undo

curprev 17:3717:37, 19 September 2020‎ Jochen Burghardt talk contribs‎ 13,550 bytes +280‎ →‎Early years: full citation undo

curprev 07:1107:11, 4 September 2020‎ 79.191.112.146 talk‎ 13,270 bytes −1‎ Undid revision from 14.136.238.193 (06:04, 8 October 2019) undo

curprev 21:4121:41, 5 June 2020‎ Citation bot talk contribs‎ 13,271 bytes −88‎ Alter: url. | You can use this bot yourself. Report bugs here. | Activated by SemperIocundus | via #UCB_webform undo

curprev 14:4714:47, 31 May 2020‎ BHGbot talk contribs‎ m 13,359 bytes +1‎ WP:BHGbot 6: eponymous category first, per MOS:CATORDER; fixed sort key; WP:GENFIXES undo Tag: AWB

curprev 17:1417:14, 5 May 2020‎ Flagrant hysterical curious talk contribs‎ 13,358 bytes +3‎ copy edit undo Tag: Visual edit

curprev 16:4616:46, 6 April 2020‎ Iridescent talk contribs‎ m 13,355 bytes −2‎ →‎Early years: Cleanup and typo fixing, typo(s) fixed: ’s → 's undo Tag: AWB

curprev 04:3804:38, 8 March 2020‎ Citation bot talk contribs‎ m 13,357 bytes +8‎ Add: chapter-url. Removed or converted URL. Some additions/deletions were actually parameter name changes. | You can use this bot yourself. Report bugs here. | Activated by User:AManWithNoPlan | All pages linked from User:AManWithNoPlan/sandbox2. undo

curprev 11:4411:44, 27 November 2019‎ 62.255.130.26 talk‎ 13,349 bytes 0‎ typos undo Tag: Visual edit

curprev 21:5921:59, 20 October 2019‎ Jarble talk contribs‎ 13,349 bytes +6‎ "Analogy induction" isn't a phrase that appears in the paper that was cited here. It refers to analogy using automated reasoning or abductive reasoning. undo
curprev 20:5520:55, 20 October 2019‎ AnomieBOT talk contribs‎ m 13,343 bytes +18‎ Dating maintenance tags: {{Citation needed}} undo
curprev 20:3520:35, 20 October 2019‎ Jarble talk contribs‎ 13,325 bytes +220‎ adding a reference undo

curprev 06:0706:07, 8 October 2019‎ 14.136.238.193 talk‎ 13,105 bytes +15‎ No edit summary undo
curprev 06:0406:04, 8 October 2019‎ 14.136.238.193 talk‎ 13,090 bytes +16‎ No edit summary undo
curprev 05:5605:56, 8 October 2019‎ Dominic3203 talk contribs‎ 13,074 bytes −9‎ Added links undo Tags: Mobile edit Mobile app edit Android app edit

curprev 17:1617:16, 2 September 2019‎ PedjaNbg talk contribs‎ 13,083 bytes +59‎ Added free to read link in citations with OAbot #oabot undo Tag: OAbot [1.0]

curprev 15:0515:05, 26 August 2019‎ Jellysandwich0 talk contribs‎ m 13,024 bytes −26‎ No edit summary undo

curprev 09:1209:12, 19 February 2019‎ 108.74.134.23 talk‎ 13,050 bytes +24‎ No edit summary undo

curprev 16:1016:10, 17 February 2019‎ Citation bot talk contribs‎ m 13,026 bytes +435‎ Alter: template type. Add: year, series, pages, volume, title, chapter, doi, arxiv, isbn, author pars. 1-3. Converted bare reference to cite template. Removed parameters. Formatted dashes. | You can use this bot yourself. Report bugs here. | User-activated. undo

19 January 2024

18 January 2024

12 January 2024

12 November 2023

7 August 2023

27 July 2023

15 May 2023

24 March 2023

20 March 2023

7 March 2023

12 February 2023

24 December 2022

16 December 2022

10 November 2022

4 November 2022

3 August 2022

2 August 2022

3 October 2021

8 July 2021

26 May 2021

28 April 2021

8 March 2021

19 December 2020

16 December 2020

5 December 2020

29 October 2020

19 September 2020

4 September 2020

5 June 2020

31 May 2020

5 May 2020

6 April 2020

8 March 2020

27 November 2019

20 October 2019

8 October 2019

2 September 2019

26 August 2019

19 February 2019

17 February 2019