{"entities":{"Q5034234":{"pageid":7063811,"ns":120,"title":"Item:Q5034234","lastrevid":91127003,"modified":"2026-06-04T22:19:42Z","type":"item","id":"Q5034234","labels":{"en":{"language":"en","value":"Zero-one laws for existential first-order sentences of bounded quantifier depth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7480999"}},"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":"Q5034234$583BC5B6-29CF-458A-B1F0-92B31B240CA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e1d706d0c8405c378f8d9434ce01a7961d16b3e","datavalue":{"value":{"text":"Zero-One Laws for Existential First-Order Sentences of Bounded Quantifier Depth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5034234$56D86758-DB81-4D33-A2EE-16B0D13DD1E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b62dd0cdb7a53f37c14b17ef6cc3efc36b9d20e","datavalue":{"value":"1505.03078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034234$C17DA676-47CE-483B-8C65-D722245B8CD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49180dc80ff45908b2bb228ecc8937317f05a124","datavalue":{"value":"10.1145/3489466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034234$0883B226-7C5C-4BEB-8A32-43F846EDBD4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb9a3266eded4fbbd30ca291fdd808aafba6ef08","datavalue":{"value":{"entity-type":"item","numeric-id":310665,"id":"Q310665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034234$F833184A-716C-46DD-B63A-8E2B63827A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"214e732b9ee41b2396f55de0fe64813983a0ad39","datavalue":{"value":{"entity-type":"item","numeric-id":265976,"id":"Q265976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034234$C692DD94-5619-4D64-BF08-A6C3434090E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034234$00776F0C-23F1-4832-9A52-900FF44A6469","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"196912be4672b459976a88ae8f7f9742202f7363","datavalue":{"value":{"time":"+2022-02-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":"Q5034234$34AE2450-2201-4B64-A56E-7D38CF4756B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10978f295413a665516cee6278573e641bff3e21","datavalue":{"value":"https://arxiv.org/abs/1907.03879","type":"string"},"datatype":"url"},"type":"statement","id":"Q5034234$05C38545-780D-4316-BCA9-D7C98AC1E25A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034234$45ED61F8-957E-42DF-89E7-D9CCEE4B8152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd6b8847e09c706889ad9ef05dc0040f1c9f982","datavalue":{"value":"05C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034234$72696909-89E0-4299-AF83-D5ACCF93CC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"452a95d35f44102a74d715b25e83366927e66d9c","datavalue":{"value":"60F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034234$D9920244-8619-4A91-B4F3-4BA280B0716C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2af20a3161b33876f577e712d98bdf4a601655c5","datavalue":{"value":"7480999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034234$0210E65B-CDD2-47DA-893D-FF6D67FFDA85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebb76b921fc7c26688177e97b104a9bf2af5172d","datavalue":{"value":"existential first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034234$4712E846-0C66-4DE3-8091-D1588843C8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8c306ac5bbf5cf358785eec041285b1cb8d24de","datavalue":{"value":"zero-one laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034234$3403F147-FD27-46EE-913B-561634845D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ed1ba4a6a45ef442fb34727ac48c601792c2241","datavalue":{"value":"Ehrenfeucht games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034234$5F3CF3F9-6DA9-4D9A-AF1D-D672B41E2B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abe20a04e23c892d736b12a2fb50197e8673fa4c","datavalue":{"value":"strictly balanced graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034234$6DD21D13-2075-4AEB-ADAD-87420DF79D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaffde7e6f9dcaafd8ec3512ae56c6fa56277921","datavalue":{"value":"\\( \\alpha \\)-safe pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034234$321D3B6F-E6EB-4E30-B4AA-C6DF14224A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"814e25b4ccd0dd1b4a0d9518d5e62771e78bfa19","datavalue":{"value":"graph extension properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034234$B6C2C1C2-502E-45C9-A2BA-647A60255408","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":"Q5034234$6162B42B-B678-4D79-96AE-3AA1BE96BD73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0fc289df3f1a205ac19a4266bf7284160150c495","datavalue":{"value":"W2959020644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034234$BD6D5B44-2B6E-4921-A28A-6C92295A9319","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69ff0c8d275fa3b8d036c33908e67b3e2218a108","datavalue":{"value":{"entity-type":"item","numeric-id":4605739,"id":"Q4605739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5bdb3a404e985f5770d2fe7fa2c003b8fe423f4","datavalue":{"value":{"amount":"+0.889933168888092","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":"Q5034234$9E20CFE4-B0F6-49A2-8E0C-49D83C2BF730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5a8e9fa69d0ebd38a750c43573a44fb05adf61","datavalue":{"value":{"entity-type":"item","numeric-id":325618,"id":"Q325618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"365625741b07540058847d3a2a2bf293beee9ba2","datavalue":{"value":{"amount":"+0.8843209147453308","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":"Q5034234$DF820884-EB89-46AA-B804-837E38507E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d382ab91e07ecfe7e8bcc9340722e75d44e555d8","datavalue":{"value":{"entity-type":"item","numeric-id":488867,"id":"Q488867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e204fdb4149f40e88722af978993ac5d3b367456","datavalue":{"value":{"amount":"+0.8723440170288086","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":"Q5034234$474A2EE5-487E-4A92-A2E6-DD504BFD548A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de54eeb900435a10eb014adcadc07ac1493e65ad","datavalue":{"value":{"entity-type":"item","numeric-id":267173,"id":"Q267173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fa85050aac03bc65c800e4650c61727a3be43d4","datavalue":{"value":{"amount":"+0.8692072629928589","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":"Q5034234$9A39BCE0-AC9A-47AA-960B-2CDB249D9FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b0050458185f6f0a1118386dacffb5bb71ad0cb","datavalue":{"value":{"entity-type":"item","numeric-id":325661,"id":"Q325661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31959e1b951ad0e4d17d5f733da3634a9e18f756","datavalue":{"value":{"amount":"+0.8636693954467773","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":"Q5034234$2F9BBF0A-8702-41E4-9F30-4377FDDB0B46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Zero-one laws for existential first-order sentences of bounded quantifier depth","badges":[]}}}}}