Jump to content

Computational logic: 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 04:1604:16, 7 April 2024 StoppedTime talk contribs m 3,478 bytes 0 No edit summary undo Tag: Visual edit

curprev 09:1309:13, 19 March 2024 194.95.98.29 talk 3,478 bytes 0 fixed typo rerm -> term undo

curprev 12:0512:05, 19 January 2024 Robert Kowalski talk contribs 3,478 bytes +8 an alternative term, rather than a synonym for "logic in computer science". undo

curprev 14:3014:30, 9 November 2022 DavidGries talk contribs 3,470 bytes +21 Added link to "Krzysztof R. Apt" undo

curprev 13:4613:46, 30 July 2022 188.187.129.194 talk 3,449 bytes −27 →See also undo

curprev 02:1602:16, 1 March 2022 Synechist talk contribs m 3,476 bytes +144 Add "See also"s undo Tag: Visual edit

curprev 11:4511:45, 24 May 2021 213.119.8.88 talk 3,332 bytes +8 No edit summary undo

curprev 01:5501:55, 15 April 2021 98.230.196.188 talk 3,324 bytes −2,177 clean massive number of unused (and never will be used) parameters in the citation undo
curprev 01:4801:48, 15 April 2021 Fgnievinski talk contribs 5,501 bytes +2,767 →top undo

curprev 15:4715:47, 21 January 2021 Lechatjaune talk contribs m 2,734 bytes −15 -capitals undo Tag: 2017 wikitext editor

curprev 11:5411:54, 25 November 2020 Lechatjaune talk contribs 2,749 bytes −3 -}} undo Tag: 2017 wikitext editor

curprev 11:0111:01, 20 November 2020 Velella talk contribs 2,752 bytes −19 rmv multiple issues tag - only one listed undo
curprev 11:0011:00, 20 November 2020 Velella talk contribs 2,771 bytes −31 rmv contradiction template added by IP with no explanation on talk page or edit summary - an "in-joke" perhaps as a form of parody undo

curprev 13:1513:15, 16 September 2020 Mindmatrix talk contribs 2,802 bytes −278 rm promotional entry (this author's work has been added to a number of articles by User:X1X2X3) undo

curprev 21:1521:15, 21 July 2020 Kj cheetham talk contribs 3,080 bytes −65 Removed EL in main text undo

curprev 16:2516:25, 28 April 2020 IznoRepeat talk contribs m 3,145 bytes +63 replace soft-deprecated editors parameter, rm ref=harv as applic., gen fixes, misc cite cleaning undo Tag: AWB

curprev 10:1110:11, 11 January 2020 X1X2X3 talk contribs m 3,082 bytes +9 →Further reading undo

curprev 04:4804:48, 3 December 2018 Jarble talk contribs m 3,073 bytes +8 linking undo

curprev 17:5217:52, 20 June 2018 X1X2X3 talk contribs m 3,065 bytes +252 No edit summary undo

curprev 12:1012:10, 8 February 2018 Salvador.lucas talk contribs 2,813 bytes +98 No edit summary undo
curprev 12:0612:06, 8 February 2018 Salvador.lucas talk contribs 2,715 bytes 0 No edit summary undo
curprev 12:0512:05, 8 February 2018 Salvador.lucas talk contribs 2,715 bytes +519 No edit summary undo

curprev 16:2416:24, 10 November 2016 Pleasantville talk contribs 2,196 bytes +43 added Category:Computational fields of study using HotCat undo

curprev 02:1702:17, 16 April 2015 86.127.138.67 talk 2,153 bytes +36 No edit summary undo

curprev 04:4804:48, 26 December 2013 MadScientistX11 talk contribs 1,839 bytes −55 Removed merge tag. I oppose the merge and no one has supported it and the proposal has been up for a while. undo

curprev 19:0919:09, 27 May 2012 AnomieBOT talk contribs m 1,894 bytes +14 Dating maintenance tags: {{Merge from}} undo
curprev 18:4918:49, 27 May 2012 Ruud Koot talk contribs 1,880 bytes +38 {{merge from|Logic in computer science}} undo
curprev 07:4407:44, 27 May 2012 Compulogger talk contribs 1,842 bytes +173 references undo
curprev 07:0007:00, 27 May 2012 Compulogger talk contribs 1,669 bytes −54 No edit summary undo

curprev 22:3822:38, 26 May 2012 AnomieBOT talk contribs m 1,723 bytes +14 Dating maintenance tags: {{Unreferenced}} undo
curprev 22:1822:18, 26 May 2012 Ruud Koot talk contribs 1,709 bytes +36 {{unreferenced}} {{self reference}} undo
curprev 22:1722:17, 26 May 2012 Ruud Koot talk contribs 1,673 bytes +40 added Category:Logic in computer science using HotCat undo
curprev 15:5115:51, 26 May 2012 Compulogger talk contribs 1,633 bytes +1,559 New page. Removed redirect. undo

curprev 21:5421:54, 2 January 2012 RjwilmsiBot talk contribs m 74 bytes +25 redirect tagging using AWB (7897) undo

curprev 09:5209:52, 18 August 2011 EmausBot talk contribs m 49 bytes +10 Bot: Fixing double redirect to Category:Logic in computer science undo

curprev 04:0304:03, 4 May 2011 Plasticspork talk contribs m 39 bytes −20 Fix piped redirect link undo

curprev 20:0520:05, 17 January 2010 Kiefer.Wolfowitz talk contribs 59 bytes +25 #REDIRECT Computational logic undo

curprev 13:4913:49, 27 December 2006 193.151.54.135 talk 34 bytes +7 ←Redirected page to Symbolic computation undo

curprev 22:3922:39, 26 December 2006 Lumingz talk contribs 27 bytes +27 ←Redirected page to Symbolic math

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