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 14:2414:24, 5 September 2024 Jochen Burghardt talk contribs 13,904 bytes −103 Undid revision 1243774641 by VSankeerthSai1609 (talk): automated reasoning is about symbolic AI, so an artist's impression of subsymbolic AI is misleading here undo Tag: Undo

curprev 10:4810:48, 3 September 2024 VSankeerthSai1609 talk contribs m 14,007 bytes +103 →top: Added image and caption #suggestededit-add-image-top undo Tags: Reverted Mobile edit Mobile app edit Android app edit App image add top

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

5 September 2024

3 September 2024

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