Reachability problem: Revision history

28 January 2024

• curprev 05:0505:05, 28 January 2024‎ Headbomb talk contribs‎ 7,704 bytes −21‎ ce undo
• curprev 05:0405:04, 28 January 2024‎ Citation bot talk contribs‎ 7,725 bytes +87‎ Alter: title, template type. Add: chapter-url, chapter. Removed or converted URL. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar undo

18 January 2024

• curprev 21:3521:35, 18 January 2024‎ David Eppstein talk contribs‎ 7,638 bytes +14‎ →‎Petri nets: spell it out undo
• curprev 21:3421:34, 18 January 2024‎ David Eppstein talk contribs‎ 7,624 bytes +28‎ Lorenza Saitta undo

14 December 2023

• curprev 16:1316:13, 14 December 2023‎ OAbot talk contribs‎ m 7,596 bytes +18‎ Open access bot: arxiv updated in citation with #oabot. undo

10 December 2023

• curprev 22:1222:12, 10 December 2023‎ Dabed talk contribs‎ 7,578 bytes −1‎ →‎Vector addition systems: (deleted space) undo Tag: Visual edit
• curprev 22:1222:12, 10 December 2023‎ Dabed talk contribs‎ 7,579 bytes +267‎ →‎Vector addition systems: (corrected a ref) undo Tag: Visual edit
• curprev 22:1022:10, 10 December 2023‎ Dabed talk contribs‎ 7,312 bytes +254‎ →‎Vector addition systems: +"In 2022 reachability in vector addition systems was shown to be Ackermann-complete and therefore a nonelementary problem."+2 ref undo Tag: Visual edit
• curprev 22:0522:05, 10 December 2023‎ Dabed talk contribs‎ 7,058 bytes +676‎ →‎Petri nets: +"In 2022 it was shown to be Ackermann-complete."+2 ref undo Tag: Visual edit
• curprev 22:0122:01, 10 December 2023‎ Dabed talk contribs‎ 6,382 bytes +13‎ →‎Petri nets: "...shown to be non-elementary."->"...shown to be a nonelementary problem." undo Tag: Visual edit

16 November 2023

• curprev 07:4707:47, 16 November 2023‎ David Eppstein talk contribs‎ 6,369 bytes −102‎ →‎Petri nets: that is almost the full citation already (the link was never useful; it did not give the actual report) undo

27 September 2023

• curprev 16:0116:01, 27 September 2023‎ Citation bot talk contribs‎ 6,471 bytes −25‎ Alter: title, template type. Add: chapter-url, chapter. Removed or converted URL. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | #UCB_CommandLine undo

8 August 2023

• curprev 18:4218:42, 8 August 2023‎ Citation bot talk contribs‎ 6,496 bytes +18‎ Alter: title, template type. Add: chapter-url, chapter. Removed or converted URL. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox3 | #UCB_webform_linked 1690/2306 undo

28 April 2023

• curprev 20:1620:16, 28 April 2023‎ WikiCleanerBot talk contribs‎ m 6,478 bytes −3‎ v2.05b - Bot T5 CW#16 - Fix errors for CW project (Unicode control characters) undo Tag: WPCleaner

9 February 2022

• curprev 18:2818:28, 9 February 2022‎ Qwerfjkl (bot) talk contribs‎ m 6,481 bytes 0‎ Capitalising short description "problem in math and computer science" per WP:SDFORMAT (via Bandersnatch) undo

30 January 2022

• curprev 17:1317:13, 30 January 2022‎ Citation bot talk contribs‎ 6,481 bytes 0‎ Alter: template type. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_webform 739/1682 undo

25 January 2022

• curprev 21:1221:12, 25 January 2022‎ Citation bot talk contribs‎ 6,481 bytes +42‎ Alter: journal. Add: eprint, class, volume, s2cid, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 32/39 undo
• curprev 20:0220:02, 25 January 2022‎ CitationCleanerBot talk contribs‎ m 6,439 bytes −51‎ →‎Petri nets: Various citation & identifier cleanup, plus AWB genfixes. Citation bot to follow undo Tag: AWB

4 January 2022

• curprev 14:3814:38, 4 January 2022‎ ZI Jony talk contribs‎ 6,490 bytes −27‎ clean up undo Tag: AWB

9 December 2021

• curprev 06:5106:51, 9 December 2021‎ Duckmather talk contribs‎ 6,517 bytes +3,050‎ translated portions of https://fr.wikipedia.org/w/index.php?title=Problème_d%27accessibilité&oldid=166901598 from French to English; see its history for attribution undo Tags: citing a blog or free web host Visual edit

13 July 2019

• curprev 20:1920:19, 13 July 2019‎ Ira Leviton talk contribs‎ m 3,467 bytes −1‎ Fixed a typo found with Wikipedia:Typo_Team/moss. undo

16 April 2019

• curprev 11:2211:22, 16 April 2019‎ Igor potapov talk contribs‎ 3,468 bytes +56‎ No edit summary undo
• curprev 11:1811:18, 16 April 2019‎ Igor potapov talk contribs‎ 3,412 bytes +37‎ No edit summary undo
• curprev 07:2807:28, 16 April 2019‎ Daviddwd talk contribs‎ 3,375 bytes +58‎ short description undo Tag: Visual edit

27 June 2017

• curprev 01:1301:13, 27 June 2017‎ Magic links bot talk contribs‎ m 3,317 bytes +4‎ Replace magic links with templates per local RfC and MediaWiki RfC undo

7 August 2015

• curprev 06:5506:55, 7 August 2015‎ Magioladitis talk contribs‎ m 3,313 bytes −1‎ fix isbn syntax using AWB (11357) undo

8 May 2015

• curprev 14:1914:19, 8 May 2015‎ Loraof talk contribs‎ 3,314 bytes +192‎ →‎top: wikilinks undo
• curprev 13:5713:57, 8 May 2015‎ Loraof talk contribs‎ 3,122 bytes −1‎ Standard Wikipedia capitalization of headings undo
• curprev 13:5513:55, 8 May 2015‎ Loraof talk contribs‎ 3,123 bytes −15‎ →‎top: ce undo

1 April 2015

• curprev 10:4210:42, 1 April 2015‎ Calincruceru talk contribs‎ 3,138 bytes −3‎ No edit summary undo

15 July 2014

• curprev 07:2007:20, 15 July 2014‎ 130.233.179.227 talk‎ 3,141 bytes −65‎ Without further explanation, decision problems for logics do not seem to be instances of the reachability problem. undo

9 April 2013

• curprev 12:5912:59, 9 April 2013‎ Yobot talk contribs‎ m 3,206 bytes +67‎ WP:CHECKWIKI error fixes, added Empty section (2) tag using AWB (9075) undo

22 March 2013

• curprev 13:5213:52, 22 March 2013‎ Igor potapov talk contribs‎ 3,139 bytes −6‎ No edit summary undo
• curprev 13:4413:44, 22 March 2013‎ Igor potapov talk contribs‎ 3,145 bytes −2‎ No edit summary undo
• curprev 13:2513:25, 22 March 2013‎ Igor potapov talk contribs‎ 3,147 bytes +3‎ added Category:Theory of computation; removed {{uncategorized}} using HotCat undo
• curprev 13:1913:19, 22 March 2013‎ Igor potapov talk contribs‎ 3,144 bytes +61‎ No edit summary undo
• curprev 05:3705:37, 22 March 2013‎ MrNiceGuy1113 talk contribs‎ 3,083 bytes +65‎ Added tags to the page using Page Curation (uncategorised, dead end) undo
• curprev 00:0100:01, 22 March 2013‎ Igor potapov talk contribs‎ 3,018 bytes +40‎ No edit summary undo

21 March 2013

• curprev 23:5823:58, 21 March 2013‎ Igor potapov talk contribs‎ 2,978 bytes −2‎ No edit summary undo
• curprev 23:5523:55, 21 March 2013‎ Igor potapov talk contribs‎ 2,980 bytes +4‎ No edit summary undo
• curprev 23:5323:53, 21 March 2013‎ Igor potapov talk contribs‎ 2,976 bytes −10‎ No edit summary undo
• curprev 23:5223:52, 21 March 2013‎ Igor potapov talk contribs‎ 2,986 bytes +7‎ No edit summary undo
• curprev 23:5123:51, 21 March 2013‎ Igor potapov talk contribs‎ 2,979 bytes +1,561‎ No edit summary undo
• curprev 18:5518:55, 21 March 2013‎ Igor potapov talk contribs‎ 1,418 bytes +31‎ No edit summary undo
• curprev 18:5418:54, 21 March 2013‎ Igor potapov talk contribs‎ 1,387 bytes −27‎ No edit summary undo
• curprev 15:2015:20, 21 March 2013‎ Igor potapov talk contribs‎ 1,414 bytes +6‎ No edit summary undo
• curprev 15:1915:19, 21 March 2013‎ Igor potapov talk contribs‎ 1,408 bytes −2‎ No edit summary undo
• curprev 15:1915:19, 21 March 2013‎ Igor potapov talk contribs‎ 1,410 bytes +40‎ No edit summary undo
• curprev 14:1914:19, 21 March 2013‎ AnomieBOT talk contribs‎ m 1,370 bytes +32‎ Dating maintenance tags: {{Unreferenced}} {{Orphan}} undo
• curprev 13:5913:59, 21 March 2013‎ Epicgenius talk contribs‎ 1,338 bytes +28‎ No edit summary undo