{"entities":{"Q1607080":{"pageid":1617820,"ns":120,"title":"Item:Q1607080","lastrevid":67975533,"modified":"2026-04-12T20:36:00Z","type":"item","id":"Q1607080","labels":{"en":{"language":"en","value":"The 0-1 law fails for monadic existential second-order logic on undirected graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1771786"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607080$14C7BE8B-623E-47D2-BA37-7CCE09453282","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1aacaec9c442e7dbf7a95e40936dc29632ca8eb9","datavalue":{"value":{"text":"The 0-1 law fails for monadic existential second-order logic on undirected graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1607080$51A2758D-B527-4271-BD37-0D015AB8CBDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4dbb1e93f511c8bc745bed7c6608ee7d6e453e50","datavalue":{"value":"1003.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607080$6D431159-AC96-4A1F-BF38-61241540EB56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db4b9a87b87fed7324fb0adab1a3436e9ad20bc2","datavalue":{"value":"10.1016/S0020-0190(00)00149-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607080$8F5F7DCE-EE55-42DE-9BE7-1772626F4657","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3680334bef0dcee12d61b9a7f7e02f44ff3dddf","datavalue":{"value":{"entity-type":"item","numeric-id":386996,"id":"Q386996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607080$21DC911D-64A8-4B4B-AF25-3DDB0E8907EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607080$60688370-6065-487B-86AE-04065F0B26C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da39a7fd1a76a539516fc1c6fcfdf3ed355f9814","datavalue":{"value":{"time":"+2002-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1607080$E196745E-DAAB-4EE2-8B5E-7B627E825D96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607080$49DA3377-723D-41D1-8BDC-671ABD6A9722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607080$5DB03CD7-6416-4ED6-A9CB-C9CE842E5E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607080$BC97B7DC-9360-4FD2-9DCE-F6023BBD43DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd6b8847e09c706889ad9ef05dc0040f1c9f982","datavalue":{"value":"05C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607080$AA698162-1E2D-4160-A1D4-21CB25FBD6E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80f44d0fd4a58c9204fcf23b935d263aead8bea0","datavalue":{"value":"1771786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607080$FE5AD0CA-651E-400D-BE57-D557593F133E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3716a4a9d9554ead816245702439350948323de3","datavalue":{"value":"0-1 laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607080$45FCD9A6-BACC-4681-B8DC-64F627767221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34d457f20022dc519f19f16106db4c385e6671de","datavalue":{"value":"fragments of monadic existential second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607080$3121FC53-B93E-46AE-A799-5DD9E6321ECB","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607080$DE1F0205-0483-43E4-ABB8-E29C6BAAA3DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a740b6e9e652b2fb5fe827ec941309ed6af62f7","datavalue":{"value":{"entity-type":"item","numeric-id":4108321,"id":"Q4108321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607080$041BBB90-7760-4861-BAAD-F406B1D900C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab109aff41e40d68910d72146e4e0627a15a5d2","datavalue":{"value":{"entity-type":"item","numeric-id":1066878,"id":"Q1066878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607080$3547C30D-1DD8-48F1-86D0-DAD1B9E697E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b051bb91a42a31736fdd8d09157004cdcec793d8","datavalue":{"value":{"entity-type":"item","numeric-id":920075,"id":"Q920075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607080$E49C40DF-E440-4C0B-AFF5-0226BF7742FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4961acb9ee8517de9030c14a89233698441ed027","datavalue":{"value":{"entity-type":"item","numeric-id":4936133,"id":"Q4936133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607080$A6D67DA6-9766-4947-BC7C-80ED8B427C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caa3dce210e28ea6c176551d249a456b1bad7391","datavalue":{"value":{"entity-type":"item","numeric-id":4953235,"id":"Q4953235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607080$6EFBBDEF-4824-4C3A-AD55-FD20F026E418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d88127147ccb49166f2d7816728a4575ccc1a56","datavalue":{"value":{"entity-type":"item","numeric-id":1317435,"id":"Q1317435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607080$C968A15D-9FBC-4437-8CBB-F2460D734DEA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e554e9a2775819a3d5b22a1b48464f27d1800209","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(00)00149-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1607080$A8681405-E1DF-4361-AA4A-6080A0B8773D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8779651865072e9aa830b33094ba6483757d7a2a","datavalue":{"value":"W1975875419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607080$56D36EFE-650D-4AE8-91AF-392F977230DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cf44954d265d55f2286f130b2310b3169fc9f20","datavalue":{"value":{"entity-type":"item","numeric-id":5096587,"id":"Q5096587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c48281142c959e10c48426edc9f56ebe13926eca","datavalue":{"value":{"amount":"+0.8395571112632751","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1607080$E64CF824-78A5-40E3-8EB5-DE1951F0E8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1487b28caee26930998aae2de288fe96ca90ef02","datavalue":{"value":{"entity-type":"item","numeric-id":1715478,"id":"Q1715478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b602b9a94670ff493eb414cc6a27ff634c32110","datavalue":{"value":{"amount":"+0.8230326175689697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1607080$6BFA00C3-010A-4108-8C55-3452C1822000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b9a960594d263c057d7fcda9269d9b666457b0e","datavalue":{"value":{"entity-type":"item","numeric-id":5118048,"id":"Q5118048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09533851d11f3f228b0d83f9838bf9b00c065363","datavalue":{"value":{"amount":"+0.822048544883728","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1607080$E7651A1B-D956-45F1-9A7B-EEBD3E0CB4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe62439728c0305a83381cd354d72ab276861257","datavalue":{"value":{"entity-type":"item","numeric-id":1707156,"id":"Q1707156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"220aa8b6f7de97034b2ed8c1e9bc71b7a6affde6","datavalue":{"value":{"amount":"+0.8123762011528015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1607080$1A876D26-B794-4A2F-9508-EAC3F17747A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123f85977c2c33347f6f25b5b42a06ff2e2bf662","datavalue":{"value":{"entity-type":"item","numeric-id":5221580,"id":"Q5221580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48ef5a939f2119cb4f7664d0e5c468eafab11b34","datavalue":{"value":{"amount":"+0.8009652495384216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1607080$754E76D3-05AA-43CD-8827-8AE846EF612A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The 0-1 law fails for monadic existential second-order logic on undirected graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_0-1_law_fails_for_monadic_existential_second-order_logic_on_undirected_graphs"}}}}}