Algorithmic logic: Revision history

26 March 2025

• curprev 03:0003:00, 26 March 2025 Citation bot talk contribs 3,135 bytes +29 Altered location. Add: isbn, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Dominic3203 | Category:Theoretical computer science | #UCB_Category 78/137 undo

1 August 2024

• curprev 00:1500:15, 1 August 2024 MasoomH33 talk contribs 3,106 bytes +44 Added short description undo Tags: Mobile edit Mobile app edit Android app edit App description add

26 July 2022

• curprev 14:3614:36, 26 July 2022 2a02:1812:110c:dc00:e493:f5b5:50b7:a710 talk 3,062 bytes +39 No edit summary undo

17 October 2021

• curprev 08:1808:18, 17 October 2021 Bruce1ee talk contribs m 3,023 bytes −21 fixed lint errors – links in links undo

6 November 2019

• curprev 22:5222:52, 6 November 2019 InternetArchiveBot talk contribs 3,044 bytes +145 Bluelink 1 book for verifiability.) #IABot (v2.0) (GreenC bot undo

20 August 2016

• curprev 11:5311:53, 20 August 2016 BattyBot talk contribs m 2,899 bytes −49 →top: removed Template:Multiple issues & general fixes using AWB undo

2 June 2016

• curprev 16:0116:01, 2 June 2016 Gluons12 talk contribs m 2,948 bytes −26 No longer an orphan undo

26 May 2016

• curprev 16:3116:31, 26 May 2016 MorbidEntree talk contribs m 2,974 bytes +19 Disambiguated: framework → Software framework undo Tag: Dispenser [1.0]

15 February 2016

• curprev 07:3607:36, 15 February 2016 SaladBeans talk contribs m 2,955 bytes −33 No edit summary undo Tag: Visual edit
• curprev 07:3507:35, 15 February 2016 SaladBeans talk contribs m 2,988 bytes +4 No edit summary undo Tag: Visual edit
• curprev 07:3307:33, 15 February 2016 SaladBeans talk contribs m 2,984 bytes +2 No edit summary undo Tag: Visual edit

14 February 2016

• curprev 05:5905:59, 14 February 2016 SaladBeans talk contribs m 2,982 bytes +5 No edit summary undo Tag: Visual edit
• curprev 05:5905:59, 14 February 2016 SaladBeans talk contribs 2,977 bytes +71 Fixed some grammar+wikilinks, removed {{Underlinked}} and added {{Verify Source}} as page has no sources undo Tag: Visual edit

21 January 2016

• curprev 22:4322:43, 21 January 2016 Bostinnova talk contribs m 2,906 bytes +18 No edit summary undo
• curprev 22:4222:42, 21 January 2016 Bostinnova talk contribs m 2,888 bytes +4 No edit summary undo Tag: Visual edit: Switched

8 November 2015

• curprev 19:0719:07, 8 November 2015 Klbrain talk contribs m 2,884 bytes +28 Disambiguated: dynamic logic → dynamic logic (modal logic) undo

27 October 2015

• curprev 22:1322:13, 27 October 2015 Andrzej Salwicki talk contribs 2,856 bytes −3 No edit summary undo
• curprev 21:5421:54, 27 October 2015 Andrzej Salwicki talk contribs 2,859 bytes +697 No edit summary undo
• curprev 21:2021:20, 27 October 2015 Andrzej Salwicki talk contribs 2,162 bytes +5 No edit summary undo
• curprev 21:1921:19, 27 October 2015 Andrzej Salwicki talk contribs 2,157 bytes +80 No edit summary undo
• curprev 21:1521:15, 27 October 2015 Andrzej Salwicki talk contribs 2,077 bytes +332 No edit summary undo

24 October 2015

• curprev 22:0922:09, 24 October 2015 RyanVarnals talk contribs 1,745 bytes 0 Corrected proof Wiki-link undo Tags: Mobile edit Mobile web edit
• curprev 22:0722:07, 24 October 2015 RyanVarnals talk contribs 1,745 bytes +21 Added the Wiki-links Proof & Calculus undo Tags: Mobile edit Mobile web edit

13 June 2015

• curprev 06:0306:03, 13 June 2015 Yobot talk contribs m 1,724 bytes +79 WP:CHECKWIKI error fixes, added orphan, underlinked tags using AWB (11125) undo

11 June 2015

• curprev 17:4817:48, 11 June 2015 Andrzej Salwicki talk contribs 1,645 bytes +23 →Bibliography undo
• curprev 17:4717:47, 11 June 2015 Andrzej Salwicki talk contribs 1,622 bytes +22 →Bibliography undo
• curprev 16:1716:17, 11 June 2015 Andrzej Salwicki talk contribs 1,600 bytes +1 →Bibliography undo
• curprev 16:1516:15, 11 June 2015 Andrzej Salwicki talk contribs 1,599 bytes +62 →Bibliography undo
• curprev 16:0716:07, 11 June 2015 Andrzej Salwicki talk contribs 1,537 bytes −5 →Bibliography undo
• curprev 16:0616:06, 11 June 2015 Andrzej Salwicki talk contribs 1,542 bytes −1 →Bibliography undo
• curprev 16:0316:03, 11 June 2015 Andrzej Salwicki talk contribs 1,543 bytes +60 →Bibliography undo

5 May 2014

• curprev 04:1804:18, 5 May 2014 David Eppstein talk contribs 1,483 bytes +5 {{mathlogic-stub}} undo

17 April 2014

• curprev 01:2101:21, 17 April 2014 KConWiki talk contribs 1,478 bytes 0 No edit summary undo

5 April 2014

• curprev 10:0310:03, 5 April 2014 Andrzej Salwicki talk contribs 1,478 bytes −20 No edit summary undo
• curprev 09:5709:57, 5 April 2014 Andrzej Salwicki talk contribs 1,498 bytes +20 →Bibliography undo

4 April 2014

• curprev 16:0516:05, 4 April 2014 Andrzej Salwicki talk contribs 1,478 bytes +2 No edit summary undo
• curprev 16:0516:05, 4 April 2014 Andrzej Salwicki talk contribs 1,476 bytes −31 No edit summary undo
• curprev 15:5715:57, 4 April 2014 Andrzej Salwicki talk contribs 1,507 bytes +356 No edit summary undo
• curprev 03:1903:19, 4 April 2014 Wcherowi talk contribs 1,151 bytes +5 some ce undo

2 April 2014

• curprev 06:5406:54, 2 April 2014 Piotrus talk contribs 1,146 bytes −32 some c/e undo

1 April 2014

• curprev 17:3317:33, 1 April 2014 Bearcat talk contribs m 1,178 bytes +42 categorization/tagging using AWB undo

31 March 2014

• curprev 14:4814:48, 31 March 2014 Andrzej Salwicki talk contribs 1,136 bytes +1,136 initiating an article