Monadic second-order logic: 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 16:4516:45, 18 April 2025 Jonesey95 talk contribs m 11,187 bytes −2 Fix invalid character(s) in short description undo

curprev 05:3005:30, 28 February 2025 Icandostuff talk contribs 11,189 bytes +51 Adding local short description: "Form of second‐order logic", overriding Wikidata description "form of second‐order logic in which one can quantify over sets but not over predicates" undo Tag: Shortdesc helper

curprev 06:5106:51, 8 August 2023 Headbomb talk contribs m 11,138 bytes −18 clean up, removed stub tag undo Tag: AWB
curprev 06:2906:29, 8 August 2023 Citation bot talk contribs 11,156 bytes +7 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 1327/2306 undo

curprev 15:0615:06, 22 June 2023 78.22.198.37 talk 11,149 bytes +28 No edit summary undo

curprev 19:3019:30, 26 March 2023 David Eppstein talk contribs 11,121 bytes +30 Tiziana Margaria undo

curprev 17:5117:51, 27 February 2023 Caleb Stanford talk contribs 11,091 bytes −141 →Use of satisfiability of MSO on trees in verification: c/e undo Tag: 2017 wikitext editor
curprev 12:0212:02, 27 February 2023 Stephenamills talk contribs m 11,232 bytes 0 Capitalization undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 18:3818:38, 14 November 2022 Dmytro talk contribs m 11,232 bytes +24 →Decidability and complexity of satisfiability: wikify; capitalization undo

curprev 00:0900:09, 25 August 2022 Mgkrupa talk contribs 11,208 bytes +24 Added {{Mathematical logic}} undo

curprev 00:4300:43, 19 May 2022 Caleb Stanford talk contribs 11,184 bytes +90 Buchi-Elgot-Trakhtenbrot -- clarify per talk page undo Tag: 2017 wikitext editor

curprev 14:4014:40, 11 December 2021 Citation bot talk contribs 11,094 bytes +59 Alter: journal. Add: volume, jstor, s2cid, authors 1-1. Removed proxy/dead URL that duplicated identifier. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Abductive | Category:Mathematical logic | #UCB_Category 188/207 undo

curprev 14:4014:40, 13 November 2021 Caleb Stanford talk contribs 11,035 bytes +109 see also undo Tag: 2017 wikitext editor
curprev 14:3614:36, 13 November 2021 Caleb Stanford talk contribs 10,926 bytes +508 add "variants" undo Tag: 2017 wikitext editor
curprev 14:2414:24, 13 November 2021 Caleb Stanford talk contribs 10,418 bytes +155 ref Büchi-Elgot-Trakhtenbrot theorem undo Tag: 2017 wikitext editor

curprev 15:2115:21, 28 July 2021 Elaz85 talk contribs m 10,263 bytes +16 no parens in intralink →Use of satisfiability of MSO on trees in verification undo

curprev 04:2004:20, 3 January 2021 OAbot talk contribs m 10,247 bytes +56 Open access bot: hdl, doi added to citation with #oabot. undo

curprev 10:1410:14, 17 December 2020 WikiCleanerBot talk contribs m 10,191 bytes −19 v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation - Link equal to linktext) undo Tag: WPCleaner

curprev 17:1517:15, 11 December 2020 Monkbot talk contribs m 10,210 bytes −9 Task 18 (cosmetic): eval 14 templates: del empty params (2×); hyphenate params (1×); undo Tag: AWB

curprev 20:0020:00, 16 October 2020 Vkuncak talk contribs 10,219 bytes +3,608 No edit summary undo Tag: Visual edit

curprev 13:2113:21, 20 July 2019 Nemo bis talk contribs 6,611 bytes −185 Alter: journal, doi. Add: volume, doi. Removed URL that duplicated unique identifier. | You can use this tool yourself. Report bugs here. undo

curprev 18:5918:59, 31 May 2019 Nick Number talk contribs 6,796 bytes +22 added sic tag WP:TYPO undo

curprev 14:5214:52, 23 May 2019 A3nm talk contribs m 6,774 bytes +13 →Computational complexity of evaluation: clarify undo Tag: 2017 wikitext editor
curprev 14:5114:51, 23 May 2019 A3nm talk contribs 6,761 bytes +2,761 structuring, add more about computational complexity of evaluation, enumeration, and counting undo Tag: 2017 wikitext editor
curprev 14:4014:40, 23 May 2019 A3nm talk contribs 4,000 bytes +8 more specific about treewidth undo Tag: 2017 wikitext editor

curprev 19:4219:42, 18 August 2018 Dmytro talk contribs 3,992 bytes +653 added decidability results undo

curprev 12:5812:58, 31 July 2018 2001:630:212:238:6d08:fbcc:5f91:4607 talk 3,339 bytes 0 No edit summary undo

curprev 17:2917:29, 3 November 2017 David Eppstein talk contribs 3,339 bytes +2 →top: inequality not equaLITY undo
curprev 17:2817:28, 3 November 2017 David Eppstein talk contribs 3,337 bytes +469 →top: rewrite example for clarity undo

curprev 15:1015:10, 26 March 2017 Jabowery talk contribs 2,868 bytes −67 Correct description of SO quantification in MSO. undo

curprev 22:0622:06, 25 March 2017 David Eppstein talk contribs 2,935 bytes +480 →top: the explanation undo
curprev 22:0322:03, 25 March 2017 David Eppstein talk contribs 2,455 bytes −88 Undid revision 772194036 by Jabowery (talk) wrong place to be pedantic; see WP:TECHNICAL. Put the details later so the start can be understandable. undo
curprev 21:3121:31, 25 March 2017 Jabowery talk contribs 2,543 bytes +88 Better define "set" as used herein undo

curprev 21:4721:47, 27 September 2016 David Eppstein talk contribs 2,455 bytes +271 orig link undo
curprev 21:4321:43, 27 September 2016 David Eppstein talk contribs 2,184 bytes +21 link Fragment (logic) undo
curprev 21:4221:42, 27 September 2016 David Eppstein talk contribs m 2,163 bytes +123 authorlinks undo
curprev 21:4021:40, 27 September 2016 David Eppstein talk contribs 2,040 bytes +1,256 EMSO, Monadic NP undo

curprev 18:3218:32, 17 September 2016 Michael Hardy talk contribs 784 bytes 0 No edit summary undo
curprev 03:5303:53, 17 September 2016 David Eppstein talk contribs 784 bytes +224 why undo

curprev 21:1421:14, 15 September 2016 Fschwarzentruber talk contribs 537 bytes +230 No edit summary undo
curprev 21:1321:13, 15 September 2016 Fschwarzentruber talk contribs 307 bytes +206 monadic second order logic is a topic of itself because it is important in TCS. It deserves an article. undo Tag: Visual edit

curprev 20:0420:04, 6 December 2014 Kephir talk contribs 101 bytes +48 Redirecting to Second-order logic#Syntax and fragments (♐) undo
curprev 20:0420:04, 6 December 2014 Kephir talk contribs 53 bytes +14 Redirecting to Second-order logic#Syntax and fragments (♐) undo

curprev 03:2203:22, 18 June 2011 A3nm talk contribs m 39 bytes +7 right section undo

18 April 2025

28 February 2025

8 August 2023

22 June 2023

26 March 2023

27 February 2023

14 November 2022

25 August 2022

19 May 2022

11 December 2021

13 November 2021

28 July 2021

3 January 2021

17 December 2020

11 December 2020

16 October 2020

20 July 2019

31 May 2019

23 May 2019

18 August 2018

31 July 2018

3 November 2017

26 March 2017

25 March 2017

27 September 2016

17 September 2016

16 September 2016

15 September 2016

6 December 2014

18 June 2011