Presburger arithmetic: Revision history

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 17:2217:22, 17 October 2024 AnomieBOT talk contribs m 24,781 bytes +18 Dating maintenance tags: {{Cn}} undo
curprev 15:5115:51, 17 October 2024 Citation bot talk contribs 24,763 bytes +68 Add: bibcode, doi, issue. | Use this bot. Report bugs. | Suggested by Dominic3203 | Category:Articles with unsourced statements | #UCB_Category 6/9 undo
curprev 15:1915:19, 17 October 2024 Jean Abou Samra talk contribs 24,695 bytes +6 cn undo
curprev 15:1715:17, 17 October 2024 Jean Abou Samra talk contribs 24,689 bytes −102 Remove vague, handwaving sentence undo

curprev 21:1721:17, 13 September 2024 Plm203 talk contribs 24,791 bytes +203 →Properties undo

curprev 09:1309:13, 12 August 2024 Citation bot talk contribs 24,588 bytes −52 Removed parameters. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 426/748 undo

curprev 06:5306:53, 22 July 2024 Codename Noreste talk contribs m 24,640 bytes −34 Disruption. undo Tag: Rollback
curprev 06:5006:50, 22 July 2024 999-Bandera Mouse talk contribs 24,674 bytes +34 rezaty lahiv kak i rezaty tebe David Eppstein (talk) undo Tags: Undo Reverted

curprev 08:0108:01, 18 July 2024 David Eppstein talk contribs m 24,640 bytes −34 Reverted edit by 666-Bandera Mouse (talk) to last version by Marc Schroeder undo Tags: Rollback Reverted
curprev 07:2507:25, 18 July 2024 666-Bandera Mouse talk contribs 24,674 bytes +34 No edit summary undo Tag: Reverted

curprev 08:1808:18, 22 March 2024 Marc Schroeder talk contribs m 24,640 bytes +352 →Bibliography undo
curprev 03:0003:00, 22 March 2024 Marc Schroeder talk contribs m 24,288 bytes 0 →Bibliography undo

curprev 08:1508:15, 18 January 2024 EmilJ talk contribs 24,288 bytes +10 →Properties: it's not a consequence (the argument actually goes the other way round) undo

curprev 15:2115:21, 22 December 2023 YusufuAM talk contribs 24,278 bytes +28 Added free to read link in citations with OAbot #oabot undo Tag: OAbot [2.1]

curprev 12:3212:32, 14 December 2023 TheMathCat talk contribs 24,250 bytes +35 Friedrich Eisenbrand undo

curprev 16:1016:10, 29 November 2023 OAbot talk contribs m 24,215 bytes −4 Open access bot: doi updated in citation with #oabot. undo

curprev 16:5616:56, 15 November 2023 Citation bot talk contribs 24,219 bytes −4 Alter: journal. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 432/1109 undo

curprev 19:5119:51, 12 November 2023 ElliAWB talk contribs m 24,223 bytes +15 Disambiguating links to Coq (link changed to Coq (software)) using DisamAssist. undo

curprev 12:3312:33, 1 October 2023 Marc Schroeder talk contribs m 24,208 bytes +37 →Bibliography undo
curprev 12:3112:31, 1 October 2023 Marc Schroeder talk contribs m 24,171 bytes +594 added a reference undo
curprev 10:1910:19, 1 October 2023 Marc Schroeder talk contribs m 23,577 bytes +4 →Properties undo

curprev 18:1318:13, 29 September 2023 92.40.204.110 talk 23,573 bytes +189 No edit summary undo
curprev 02:3702:37, 29 September 2023 Marc Schroeder talk contribs m 23,384 bytes +126 →Bibliography: added url to [Cooper,1972] undo

curprev 14:3914:39, 27 September 2023 Marc Schroeder talk contribs m 23,258 bytes +141 →Bibliography undo

curprev 14:5314:53, 25 August 2023 Marc Schroeder talk contribs m 23,117 bytes +6 →Bibliography: thesis was relocated undo

curprev 17:2417:24, 22 August 2023 Marc Schroeder talk contribs m 23,111 bytes −14 →Bibliography: removed two warnings undo

curprev 15:5115:51, 8 August 2023 Citation bot talk contribs 23,125 bytes +8 Alter: title, template type. Add: date, chapter. 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 1582/2306 undo

curprev 15:0815:08, 4 August 2023 Citation bot talk contribs 23,117 bytes +13 Add: date. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox2 | #UCB_webform_linked 1514/2044 undo

curprev 04:5504:55, 22 July 2023 Citation bot talk contribs 23,104 bytes +91 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

curprev 13:0213:02, 12 July 2023 Citation bot talk contribs 23,013 bytes +97 Add: isbn, s2cid, pages. | Use this bot. Report bugs. | Suggested by Anas1712 | Category:Formal theories of arithmetic | #UCB_Category 4/17 undo

curprev 12:0612:06, 8 July 2023 EmilJ talk contribs 22,916 bytes −68 →Computational complexity: These two contradict each other (barring collapse in the exponential hierarchy), as i alternations = Sigma_{i+1} union Pi_{i+1}. The latter cannot even have a complete problem unless Sigma_{i+1}^{EXP} = Pi_{i+1}^{EXP}. undo Tags: Mobile edit Mobile web edit

curprev 03:3203:32, 28 September 2022 64.57.49.50 talk 22,984 bytes +2 Fixed a trivial typo. undo Tags: Visual edit Mobile edit Mobile web edit

curprev 17:5517:55, 25 September 2022 TheMathCat talk contribs m 22,982 bytes +20 Igor Pak undo

curprev 02:0202:02, 8 September 2022 Marc Schroeder talk contribs m 22,962 bytes +312 added reference [Nguyen Luu, 2018] undo

curprev 12:5212:52, 4 September 2022 Marc Schroeder talk contribs m 22,650 bytes −4 No edit summary undo
curprev 12:4912:49, 4 September 2022 Marc Schroeder talk contribs m 22,654 bytes +494 completed the references [Eisenbrand & Shmonin, 2008] and [Nguyen & Pak 2017] undo

curprev 14:3114:31, 4 August 2022 Dmytro talk contribs m 22,160 bytes +116 fixed references undo
curprev 05:1505:15, 4 August 2022 Dmytro talk contribs 22,044 bytes +724 additional complexity results undo

curprev 17:0817:08, 9 July 2022 Marc Schroeder talk contribs m 21,320 bytes +257 added reference to Monk 2012 (Softcover reprint of the original 1st ed. 1976) undo

curprev 01:3801:38, 12 May 2022 David Eppstein talk contribs 21,063 bytes −12 →Bibliography: WP:LISTGAP; LNM is a book series not a journal; add mr undo

curprev 22:0722:07, 20 February 2022 Citation bot talk contribs 21,075 bytes +163 Alter: pages, journal. Add: s2cid, pages, isbn, doi. Removed parameters. Formatted dashes. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_webform 176/641 undo

curprev 09:2209:22, 3 November 2021 WikiCleanerBot talk contribs m 20,912 bytes −2 v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 12:5312:53, 25 October 2021 Marc Schroeder talk contribs m 20,914 bytes +313 added a citation where this was asked foor ("citation needed") undo
curprev 10:3510:35, 25 October 2021 Marc Schroeder talk contribs m 20,601 bytes 0 →Bibliography: moved one citation to correct location in alphabetically ordered list undo
curprev 01:0501:05, 25 October 2021 Marc Schroeder talk contribs m 20,601 bytes +894 set references in alphabetical order; moved all inline references to ==Bibliography== undo

curprev 19:5919:59, 24 August 2021 Lester Mobley talk contribs m 19,707 bytes 0 →Computational Complexity: sentence case header undo

curprev 17:0017:00, 17 August 2021 Jochen Burghardt talk contribs 19,707 bytes +10 →top: added most important property to short descr. undo

curprev 17:0017:00, 16 August 2021 Qwerfjkl talk contribs 19,697 bytes −4 Removed 'The' from the beginning of the short description per WP:SDFORMAT. (via WP:JWB) undo

curprev 17:3017:30, 12 August 2021 Jochen Burghardt talk contribs 19,701 bytes +286 →Applications: add an example (using subscript "baseadr" to indicate ordinary everyday addition is meant, rather than C's weird type-dependent addition) undo
curprev 14:0014:00, 12 August 2021 Sandstein talk contribs m 19,415 bytes −15 Removing link(s) Wikipedia:Articles for deletion/Spec Sharp closed as delete (XFDcloser) undo

17 October 2024

13 September 2024

12 August 2024

22 July 2024

18 July 2024

22 March 2024

18 January 2024

22 December 2023

14 December 2023

29 November 2023

15 November 2023

12 November 2023

1 October 2023

29 September 2023

27 September 2023

25 August 2023

22 August 2023

8 August 2023

4 August 2023

22 July 2023

12 July 2023

8 July 2023

28 September 2022

25 September 2022

8 September 2022

4 September 2022

4 August 2022

9 July 2022

12 May 2022

20 February 2022

3 November 2021

25 October 2021

24 August 2021

17 August 2021

16 August 2021

12 August 2021