Logic in computer science: 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 04:5404:54, 12 May 2025 OAbot talk contribs m 17,538 bytes +18 Open access bot: arxiv updated in citation with #oabot. undo

curprev 00:4800:48, 10 May 2025 43.228.183.170 talk 17,520 bytes −42 →Logic applications for computers undo Tag: Visual edit

curprev 06:5606:56, 9 May 2025 43.228.183.170 talk 17,562 bytes −1 No edit summary undo Tag: Visual edit
curprev 06:5506:55, 9 May 2025 43.228.183.170 talk 17,563 bytes +76 No edit summary undo Tag: Visual edit
curprev 06:4806:48, 9 May 2025 43.228.183.170 talk 17,487 bytes −21 →Logic applications for computers undo Tag: Visual edit
curprev 06:4306:43, 9 May 2025 43.228.183.170 talk 17,508 bytes +934 Correct some misunderstanding of the efficiency of FOL. undo Tag: Visual edit

curprev 08:1908:19, 21 May 2024 Magioladitis talk contribs m 16,574 bytes −1 Moved punctuation mark to correct place + other fixes, References after punctuation per WP:CITEFOOT and WP:PAIC undo Tag: AWB

curprev 13:0213:02, 19 January 2024 Robert Kowalski talk contribs 16,575 bytes −23 An alternative description of logic programming. undo
curprev 12:5112:51, 19 January 2024 Robert Kowalski talk contribs 16,598 bytes −159 →Theoretical foundations and analysis: logic programming undo

curprev 16:2916:29, 10 January 2024 157.193.240.224 talk 16,757 bytes +159 No edit summary undo

curprev 09:3909:39, 3 January 2024 Robert Kowalski talk contribs m 16,598 bytes −1 →Logic applications for computers undo
curprev 09:3809:38, 3 January 2024 Robert Kowalski talk contribs m 16,599 bytes −95 →Logic applications for computers: tinkering undo

curprev 20:0120:01, 2 January 2024 Robert Kowalski talk contribs 16,694 bytes +663 →Logic applications for computers: Added a paragraph about logic programming undo

curprev 14:3314:33, 30 December 2023 Oneequalsequalsone talk contribs m 16,031 bytes 0 →Computers to assist logicians: link to 'logic theorist' undo Tag: Visual edit

curprev 11:2311:23, 19 November 2023 WikiCleanerBot talk contribs m 16,031 bytes 0 v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 15:0315:03, 17 November 2023 Jacinto.davila talk contribs 16,031 bytes +591 →Theoretical foundations and analysis: Adding Logic Programming references undo

curprev 08:0008:00, 15 October 2023 Onel5969 talk contribs m 15,440 bytes +19 Disambiguating links to Expressivity (link changed to Expressive power (computer science)) using DisamAssist. undo

curprev 23:3223:32, 14 October 2023 2a02:1812:110c:dc00:170:2ad8:3eba:77a2 talk 15,421 bytes +468 No edit summary undo Tag: Disambiguation links added

curprev 06:5306:53, 19 July 2022 189.234.126.90 talk 14,953 bytes −56 Undid revision 1093259668 by 195.23.74.113 (talk) undo Tag: Undo

curprev 13:3913:39, 15 June 2022 195.23.74.113 talk 15,009 bytes +56 →Computers to assist logicians undo Tags: Reverted Visual edit

curprev 18:3118:31, 13 November 2021 Maxtremus talk contribs 14,953 bytes +24 →External links: +{{Digital electronics}} undo

curprev 17:0417:04, 8 October 2021 GreenC bot talk contribs 14,929 bytes +158 Reformat 1 archive link; Move 1 url. Wayback Medic 2.5 undo

curprev 06:5606:56, 20 February 2021 Mpiedrav talk contribs m 14,771 bytes +90 →Theoretical foundations and analysis: Fixed McCarthy's and Barr's references undo
curprev 06:4006:40, 20 February 2021 Mpiedrav talk contribs 14,681 bytes +412 →Further reading: Added Harrison's book, changed identifiers to ISBN-13, added links for Ben-Ari's and Burris's undo

curprev 23:5023:50, 29 January 2021 Monkbot talk contribs m 14,269 bytes +1 Task 18 (cosmetic): eval 18 templates: hyphenate params (1×); undo Tag: AWB

curprev 03:0503:05, 8 January 2021 Monkbot talk contribs m 14,268 bytes −23 Task 18 (cosmetic): eval 18 templates: del empty params (3×); undo Tag: AWB

curprev 17:5517:55, 3 January 2021 Danielgray.me talk contribs m 14,291 bytes +99 Fix citation undo Tag: Visual edit

curprev 15:3915:39, 2 January 2021 ClueBot NG talk contribs m 14,192 bytes −19 Reverting possible vandalism by 181.61.208.27 to version by 2601:643:8980:7BB2:91FB:56F9:DB47:27C1. Report False Positive? Thanks, ClueBot NG. (3857586) (Bot) undo Tag: Rollback
curprev 15:3915:39, 2 January 2021 181.61.208.27 talk 14,211 bytes +19 →See also: Porque es broma undo Tags: Reverted Mobile edit Mobile web edit

curprev 05:0005:00, 25 December 2020 2601:643:8980:7bb2:91fb:56f9:db47:27c1 talk 14,192 bytes −1 →Logic applications for computers: Fixed typo undo Tags: canned edit summary Mobile edit Mobile app edit Android app edit

curprev 18:1918:19, 18 December 2020 Monkbot talk contribs m 14,193 bytes −25 Task 18 (cosmetic): eval 18 templates: hyphenate params (12×); del |<name-list>-link= (1×); undo Tag: AWB

curprev 17:0117:01, 1 November 2020 Citation bot talk contribs 14,218 bytes −103 Alter: chapter-url, url. URLs might have been internationalized/anonymized. Add: s2cid, isbn, date. Correct ISBN10 to ISBN13. | You can use this bot yourself. Report bugs here. | Suggested by AManWithNoPlan | All pages linked from cached copy of User:AManWithNoPlan/sandbox2 | via #UCB_webform_linked 59/4310 undo

curprev 13:0913:09, 16 September 2020 Mindmatrix talk contribs 14,321 bytes −253 revert - rm promotional link undo

curprev 23:3923:39, 25 June 2020 BHGbot talk contribs m 14,574 bytes +3 WP:BHGbot 6 (List 5): eponymous category first, per MOS:CATORDER; fixed sort key; WP:GENFIXES undo Tag: AWB

curprev 11:5211:52, 18 December 2019 InternetArchiveBot talk contribs 14,571 bytes +124 Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

curprev 22:1422:14, 2 December 2019 Citation bot talk contribs m 14,447 bytes −319 Alter: url. Add: chapter-url-access, date, isbn, chapter-url. Removed or converted URL. Removed accessdate with no specified URL. Removed parameters. Some additions/deletions were actually parameter name changes.| You can use this bot yourself. Report bugs here.| Activated by User:Nemo bis | via #UCB_webform undo
curprev 19:5919:59, 2 December 2019 Colonies Chris talk contribs 14,766 bytes −135 No edit summary undo

curprev 13:1413:14, 25 November 2019 103.21.126.86 talk 14,901 bytes −189 →Theoretical foundations and analysis undo

curprev 17:1117:11, 18 November 2019 InternetArchiveBot talk contribs 15,090 bytes +222 Bluelink 2 books for verifiability.) #IABot (v2.0) (GreenC bot undo

curprev 05:2605:26, 22 September 2019 Monkbot talk contribs m 14,868 bytes −2 →Logic applications for computers: Task 16: replaced (2×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB

curprev 23:2423:24, 28 August 2019 InternetArchiveBot talk contribs 14,870 bytes +109 Bluelinking 2 books for verifiability.) #IABot (v2.1alpha2 undo

curprev 12:2212:22, 12 June 2019 Chalst talk contribs 14,761 bytes 0 Undid revision 901507117 by 194.74.196.106 (talk) Undo joking or accidental edit undo Tag: Undo
curprev 10:2510:25, 12 June 2019 194.74.196.106 talk 14,761 bytes 0 No edit summary undo

curprev 20:3620:36, 8 June 2019 Headbomb talk contribs 14,761 bytes −80 ce undo

12 May 2025

10 May 2025

9 May 2025

21 May 2024

19 January 2024

10 January 2024

3 January 2024

2 January 2024

30 December 2023

19 November 2023

17 November 2023

15 October 2023

14 October 2023

19 July 2022

15 June 2022

13 November 2021

8 October 2021

20 February 2021

29 January 2021

8 January 2021

3 January 2021

2 January 2021

25 December 2020

18 December 2020

1 November 2020

16 September 2020

25 June 2020

20 December 2019

18 December 2019

2 December 2019

25 November 2019

18 November 2019

22 September 2019

28 August 2019

12 June 2019

8 June 2019