{"entities":{"Q1317435":{"pageid":1328185,"ns":120,"title":"Item:Q1317435","lastrevid":70128579,"modified":"2026-04-13T12:37:48Z","type":"item","id":"Q1317435","labels":{"en":{"language":"en","value":"A counterexample to the 0-1 law for the class of existential second-order minimal G\u00f6del sentences with equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 529887"}},"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":"Q1317435$0F762312-9A77-4D21-87A4-6C38E75555C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"857b21d7137d9cba13b6001d866e8bce41c4126e","datavalue":{"value":{"text":"A counterexample to the 0-1 law for the class of existential second-order minimal G\u00f6del sentences with equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1317435$8EEB2626-EB8C-4D52-80BD-01C2368D6E4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cfc4abcffdcb8158ba57fad1fd036d4a07d4218","datavalue":{"value":"0803.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317435$F0B88B0B-E45A-4666-B084-A81FCFC92A25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b26410f96225891c328a54facf6542f45ea37c9","datavalue":{"value":{"entity-type":"item","numeric-id":1127319,"id":"Q1127319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317435$6E314D02-1209-492E-9394-F52515BBD87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5dc81f9560041386f0dfc580bd85b6eb41aa045","datavalue":{"value":{"entity-type":"item","numeric-id":757355,"id":"Q757355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317435$3B02A792-7421-46F8-BD98-B7AC130634C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317435$AF9E29A2-831E-4D75-9CF6-25FFFBA58527","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0afca6352c2d92a71eb1b73f58dfc4af92f3fa9","datavalue":{"value":{"time":"+1994-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1317435$55AE0657-1182-478F-A98B-6ED67980A18E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"221887514526453b50a4ff6802a9a85474444d98","datavalue":{"value":"It is shown that the 0-1 law fails for the class of existential second- order sentences whose first-order part is of the form \\(\\forall x\\forall y\\exists z\\varphi(x,y,z)\\) with quantifier-free \\(\\varphi\\). This result completes the characterization of the classes of existential second-order sentences according to its first-order quantifier prefix, for which the 0-1 law holds. It coincides with the characterization of the solvable cases of the decision problem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317435$9980A31D-007E-49BE-8E3A-32C2CCFC2A1A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"73a1643e41698b2031364550f847827b09b1ce33","datavalue":{"value":{"entity-type":"item","numeric-id":490658,"id":"Q490658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317435$840EEDE8-54F9-4128-87E0-855F21EC8AED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317435$9133842C-6E43-47CD-B372-78137C05BA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317435$73CE68CC-2256-4DB8-8E4A-946ED61D7894","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a07bbb32882778ce9804a04eee73c980af28d878","datavalue":{"value":"529887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317435$6105C93E-7045-4DE3-AD3D-1749B818E5EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0a1c45f186413ef0d035aab9ecb90c1ce8c8579","datavalue":{"value":"0-1 law","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317435$7DF16532-B259-4203-B901-4CB1A8462981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fed79e615f53e8a2025021c9232036028c7f7793","datavalue":{"value":"existential second-order sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317435$227F3CB5-1941-4AF6-8918-2647543FE111","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":"Q1317435$7287F694-B5F8-4895-81DC-699C8769AF56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"349ccda8d54bb159cf82436c9441a9c8c71b61f0","datavalue":{"value":"https://doi.org/10.1006/inco.1993.1062","type":"string"},"datatype":"url"},"type":"statement","id":"Q1317435$67DCDE8F-BC3C-4C9C-8C05-59E0D075E0CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8dfff01ae1b79a1bb113a691d33060c491757f3","datavalue":{"value":"W2082513803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317435$3407F572-6CE7-4982-B6F2-567B2F07F565","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"725561ad137cbbfae0f4ba20fb62fa61c75f470e","datavalue":{"value":"Q124830017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317435$D613C3C7-B4CB-4D3B-B40D-E7BAFF226939","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"301d33cffabc5901ad08ada00f24e9d378c28898","datavalue":{"value":"10.1006/INCO.1993.1062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317435$C0B91E0C-BBC0-4948-97F8-E9D0E9C42DFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bf55030463703ff6e9895c7a74aae7484752a13","datavalue":{"value":{"entity-type":"item","numeric-id":3984420,"id":"Q3984420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d102558086054c4786c80c86228596aa18da5ef","datavalue":{"value":{"amount":"+0.8829448819160461","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":"Q1317435$9054D5FB-4324-4C37-9528-855F12D8B419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552fa995d451ff05dde31834dc85b189b0dcf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":4536345,"id":"Q4536345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1353622c4675643e153e99053b4a8dd3a80228dd","datavalue":{"value":{"amount":"+0.8770275115966797","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":"Q1317435$E0BD2639-1BFA-4C0C-9ACA-1CE492683614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b40472ea50a09b3a7f7f0038db6ae29a0c774b45","datavalue":{"value":{"entity-type":"item","numeric-id":4867408,"id":"Q4867408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ee49d3ec04094f619c385009628628aa819b0dc","datavalue":{"value":{"amount":"+0.818551242351532","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":"Q1317435$BEEC75C6-EF1B-4AAC-AF30-F2C2C75CB7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"145e16102924489d49fb4c46ee8eede861d58952","datavalue":{"value":{"entity-type":"item","numeric-id":920075,"id":"Q920075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b956950fa7fec3eee276eab6e4b8780424630d36","datavalue":{"value":{"amount":"+0.8166871070861816","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":"Q1317435$D54E823A-B67D-4244-A49A-E839223F0D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c87785855ea7b47517ef5f46a98548d091fc0c4","datavalue":{"value":{"entity-type":"item","numeric-id":4338327,"id":"Q4338327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab308ec4034fbc42b1d3b799a0ad041473c49af","datavalue":{"value":{"amount":"+0.8031625151634216","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":"Q1317435$D2C43DFA-FC52-49AF-AF88-03702D0ECE4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A counterexample to the 0-1 law for the class of existential second-order minimal G\u00f6del sentences with equality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_counterexample_to_the_0-1_law_for_the_class_of_existential_second-order_minimal_G%C3%B6del_sentences_with_equality"}}}}}