Immerman–Szelepcsényi theorem: Revision history

23 March 2024

• curprev 08:0808:08, 23 March 2024 A3nm talk contribs 10,221 bytes +1 →Logspace hierarchy: Typo undo Tags: Mobile edit Mobile web edit Advanced mobile edit

5 March 2024

• curprev 09:1209:12, 5 March 2024 Jean Abou Samra talk contribs m 10,220 bytes +27 Define n undo
• curprev 09:0909:09, 5 March 2024 Jean Abou Samra talk contribs m 10,193 bytes −33 Reuse notation undo

3 March 2024

• curprev 22:5622:56, 3 March 2024 Jean Abou Samra talk contribs 10,226 bytes 0 →Proof: Off by one again undo Tags: Mobile edit Mobile web edit
• curprev 14:4214:42, 3 March 2024 Jean Abou Samra talk contribs m 10,226 bytes 0 Typo undo
• curprev 14:4114:41, 3 March 2024 Jean Abou Samra talk contribs m 10,226 bytes −3 Fix off-by-one bug in pseudocode undo

2 March 2024

• curprev 18:0318:03, 2 March 2024 Jean Abou Samra talk contribs 10,229 bytes +1,574 Streamline proof by explicitly using that st-connectivity is NL-complete (it is proved in the article on st-connectivity), add details and pseudocode undo

22 October 2023

• curprev 22:4322:43, 22 October 2023 David Eppstein talk contribs 8,655 bytes −61 →See also: anli undo
• curprev 22:4122:41, 22 October 2023 David Eppstein talk contribs 8,716 bytes −8 →top: even shorter undo
• curprev 22:4022:40, 22 October 2023 David Eppstein talk contribs 8,724 bytes −11 Short description was too long, shorten it undo
• curprev 16:2716:27, 22 October 2023 David Eppstein talk contribs 8,735 bytes −1 Undid revision 1181319087 by Maxeto0910 (talk) see-also sections do not use periods undo Tag: Undo
• curprev 08:4208:42, 22 October 2023 Maxeto0910 talk contribs m 8,736 bytes +1 period after sentence undo Tags: Reverted Visual edit Mobile edit Mobile web edit Advanced mobile edit

23 May 2022

• curprev 02:5602:56, 23 May 2022 Chrisahn talk contribs 8,735 bytes −46 →Proof sketch: Partly undo Special:Diff/811888433; i+1 is n-1 at this point, never n. undo Tags: Mobile edit Mobile web edit Advanced mobile edit
• curprev 02:3902:39, 23 May 2022 Chrisahn talk contribs 8,781 bytes +44 →Proof sketch: Since the meaning of "//" and "#" in pseudo-code may not be clear, let's move that comment into the text. undo Tags: Mobile edit Mobile web edit Advanced mobile edit

19 March 2022

• curprev 07:5307:53, 19 March 2022 Citation bot talk contribs 8,737 bytes +33 Add: s2cid, issue. | Use this bot. Report bugs. | Suggested by Abductive | Category:Articles containing proofs | #UCB_Category 369/409 undo

16 June 2021

• curprev 00:4600:46, 16 June 2021 84.245.120.107 talk 8,704 bytes −153 →Proof sketch: improvements in formulation undo

29 May 2021

• curprev 15:2815:28, 29 May 2021 213.119.8.88 talk 8,857 bytes +33 No edit summary undo

8 June 2020

• curprev 17:4117:41, 8 June 2020 ArnoldReinhold talk contribs 8,824 bytes +97 Adding local short description: "Nondeterministic space complexity classes are closed under complementation", overriding Wikidata description "theorem" (Shortdesc helper) undo

15 April 2020

• curprev 22:3522:35, 15 April 2020 OAbot talk contribs m 8,727 bytes +49 Open access bot: hdl added to citation with #oabot. undo

26 June 2019

• curprev 17:1017:10, 26 June 2019 David Eppstein talk contribs 8,678 bytes +268 →References: improve ref formatting undo

16 May 2018

• curprev 17:4117:41, 16 May 2018 Nemo bis talk contribs 8,410 bytes +29 Added free to read link in citations with OAbot #oabot undo Tag: OAbot [1.0]

4 December 2017

• curprev 17:1917:19, 4 December 2017 Narky Blert talk contribs 8,381 bytes +16 Link to DAB page repaired undo

24 November 2017

• curprev 18:0618:06, 24 November 2017 Dan Gluck talk contribs 8,365 bytes +753 →Proof sketch: correction; a more precise intro and general idea undo

15 December 2016

• curprev 05:0505:05, 15 December 2016 David Eppstein talk contribs 7,612 bytes +1 Undid revision 754897232 by 2A02:C7F:C005:9F00:1179:CEB5:A482:AC0E (talk) no, space undo
• curprev 03:0103:01, 15 December 2016 2a02:c7f:c005:9f00:1179:ceb5:a482:ac0e talk 7,611 bytes −1 →Logspace hierarchy undo
• curprev 03:0003:00, 15 December 2016 2a02:c7f:c005:9f00:1179:ceb5:a482:ac0e talk 7,612 bytes +3 →Logspace hierarchy undo
• curprev 02:5802:58, 15 December 2016 2a02:c7f:c005:9f00:1179:ceb5:a482:ac0e talk 7,609 bytes +2 →Logspace hierarchy undo
• curprev 02:5702:57, 15 December 2016 2a02:c7f:c005:9f00:1179:ceb5:a482:ac0e talk 7,607 bytes −1 No edit summary undo
• curprev 02:5602:56, 15 December 2016 2a02:c7f:c005:9f00:1179:ceb5:a482:ac0e talk 7,608 bytes +35 →Proof sketch undo
• curprev 01:4901:49, 15 December 2016 2a02:c7f:c005:9f00:1179:ceb5:a482:ac0e talk 7,573 bytes +3 →Proof sketch undo

12 July 2016

• curprev 02:0602:06, 12 July 2016 Martin Ziegler talk contribs m 7,570 bytes +72 loop invariant undo

20 January 2016

• curprev 20:0720:07, 20 January 2016 David Eppstein talk contribs 7,498 bytes +99 first sentence should be a description of the subject in non-technical language, not a review of its history undo

5 October 2015

• curprev 05:2905:29, 5 October 2015 David Eppstein talk contribs 7,399 bytes +780 inductive counting undo
• curprev 05:1605:16, 5 October 2015 David Eppstein talk contribs m 6,619 bytes −1 →Proof sketch: typo undo
• curprev 05:1305:13, 5 October 2015 David Eppstein talk contribs 6,620 bytes +3,537 fix incorrect formulation of thm in lead, and restore proof idea undo

29 March 2015

• curprev 09:5509:55, 29 March 2015 Rjwilmsi talk contribs m 3,083 bytes +37 Journal cites, Added 1 doi to a journal cite using AWB (10870) undo

6 December 2014

• curprev 01:0601:06, 6 December 2014 David Eppstein talk contribs 3,046 bytes +23 notes undo
• curprev 01:0601:06, 6 December 2014 David Eppstein talk contribs 3,023 bytes +714 Supply missing citation undo

16 August 2014

• curprev 15:1315:13, 16 August 2014 Arthur Rubin talk contribs 2,309 bytes +1 →References: I believe we (Wikipedia) prefer PDF to PS. undo
• curprev 15:0715:07, 16 August 2014 Arthur Rubin talk contribs 2,308 bytes −6,690 →Proof: remove proof as proving something different; I don't think the proof can be recovered from that argument undo

20 April 2013

• curprev 13:0213:02, 20 April 2013 Yobot talk contribs m 8,998 bytes +46 →External links: WP:CHECKWIKI error fixes - Replaced endash with hyphen in sortkey per WP:MCSTJR using AWB (9100) undo

28 February 2013

• curprev 18:0318:03, 28 February 2013 Addbot talk contribs m 8,952 bytes −159 Bot: Migrating 4 interwiki links, now provided by Wikidata on d:q744440 (Report Errors) undo

24 January 2013

• curprev 18:5818:58, 24 January 2013 ZéroBot talk contribs m 9,111 bytes +43 r2.7.1) (Robot: Adding fr:Théorème d'Immerman-Szelepcsényi undo

26 September 2012

• curprev 15:1515:15, 26 September 2012 The Real Marauder talk contribs m 9,068 bytes 0 gah, freaking comma splices in the first paragraph! undo

2 February 2012

• curprev 19:2819:28, 2 February 2012 Brad7777 talk contribs 9,068 bytes +32 removed Category:Mathematical theorems; added Category:Mathematical theorems in theoretical computer science using HotCat undo

2 December 2011

• curprev 18:5218:52, 2 December 2011 ChuispastonBot talk contribs m 9,036 bytes +43 r2.7.1) (Robot: Adding pt:Teorema de Immerman–Szelepcsényi undo

31 October 2011

• curprev 19:1519:15, 31 October 2011 129.104.247.2 talk 8,993 bytes +101 No edit summary undo

15 October 2011

• curprev 18:5918:59, 15 October 2011 RDBury talk contribs 8,892 bytes +11 More specific cat. undo

26 July 2011

• curprev 04:4204:42, 26 July 2011 A3nm talk contribs 8,881 bytes −17 →Logspace hierarchy: actually, "FO(TC)" seems to be the correct notation undo
• curprev 04:4104:41, 26 July 2011 A3nm talk contribs 8,898 bytes +1 →Logspace hierarchy: typo undo