Jump to content

Vector addition system: 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 02:4902:49, 26 December 2024 Kvng talk contribs m 4,102 bytes +1 compound modifier undo

curprev 03:0803:08, 6 October 2024 183.83.237.50 talk 4,101 bytes +40 →Informal definition: clarified that vectors have same length undo

curprev 21:3121:31, 10 December 2023 Dabed talk contribs 4,061 bytes +25 Reachability->Reachability undo Tag: Visual edit

curprev 19:4619:46, 4 December 2023 The Anome talk contribs 4,036 bytes +11 fmt undo Tag: Visual edit

curprev 12:2112:21, 19 June 2023 91.219.240.2 talk 4,025 bytes 0 mistake “can”/“cannot” in the VASS picture description corrected undo Tag: Visual edit

curprev 19:2019:20, 2 May 2023 78.121.121.134 talk 4,025 bytes +253 Added the other paper at the same conference (FOCS 2021) that provided an Ackermannian complexity lower bound. undo

curprev 23:0523:05, 8 March 2023 174.165.11.83 talk 3,772 bytes 0 No edit summary undo

curprev 19:2019:20, 14 November 2022 Dmytro talk contribs 3,772 bytes +430 added Ackermann completeness undo

curprev 21:0421:04, 15 March 2022 Quid Est Squid talk contribs 3,342 bytes −24 Changing short description from "mathematical modeling language for distributed systems" to "Mathematical modeling language" (Shortdesc helper) undo

curprev 13:3713:37, 5 July 2021 OAbot talk contribs m 3,366 bytes +16 Open access bot: doi added to citation with #oabot. undo

curprev 07:4907:49, 29 December 2020 Raghuveerdotnet talk contribs m 3,350 bytes +88 →See also: Added other distributed systems modelling approaches in the See also section undo

curprev 03:1403:14, 13 April 2020 OAbot talk contribs m 3,262 bytes +30 Open access bot: hdl added to citation with #oabot. undo

curprev 10:4810:48, 13 June 2019 Fschwarzentruber talk contribs 3,232 bytes +3 →Formal definitions and basic terminology undo Tag: Visual edit

curprev 18:4918:49, 29 April 2019 Daviddwd talk contribs 3,229 bytes +81 short desc undo Tag: Visual edit

curprev 23:3823:38, 20 February 2019 Citation bot talk contribs m 3,148 bytes −105 Removed parameters. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 17:0617:06, 17 September 2017 KolbertBot talk contribs m 3,253 bytes +2 Bot: HTTP→HTTPS undo

curprev 00:1500:15, 19 May 2016 BG19bot talk contribs m 3,251 bytes −2 Remove blank line(s) between list items per WP:LISTGAP to fix an accessibility issue for users of screen readers. Do WP:GENFIXES and cleanup if needed. Discuss this at Wikipedia talk:WikiProject Accessibility#LISTGAP undo

curprev 13:1813:18, 24 June 2015 217.77.82.224 talk 3,253 bytes 0 →Formal definitions and basic terminology: E wasn't defined, the transition relation containing the edges of the directed graph was called T instead. undo

curprev 22:0122:01, 19 April 2015 MichaelBlondin talk contribs m 3,253 bytes 0 →Formal definitions and basic terminology undo

curprev 18:5418:54, 17 March 2015 Wbm1058 talk contribs 3,253 bytes −4 remove WP:OVERLINK to disambiguation undo

curprev 02:5902:59, 2 February 2015 MichaelBlondin talk contribs 3,257 bytes +20 →Formal definitions and basic terminology undo

curprev 06:5906:59, 20 January 2015 Yobot talk contribs m 3,237 bytes −16 WP:CHECKWIKI error fixes using AWB (10783) undo

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