{"entities":{"Q656220":{"pageid":658069,"ns":120,"title":"Item:Q656220","lastrevid":63489612,"modified":"2026-04-11T13:30:34Z","type":"item","id":"Q656220","labels":{"en":{"language":"en","value":"Zero-one laws for first-order formulas with a bounded quantifier depth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5998315"}},"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":"Q656220$BCB13FF8-D0DD-4C89-B297-EACC0812F778","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f86e3d14eed13ee663166f3321438a3a8ec0294","datavalue":{"value":{"text":"Zero-one laws for first-order formulas with a bounded quantifier depth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q656220$4E3FDD3B-0FA4-48EA-87B1-BF345A2E6F22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efcb53a3d8671dab498efdc033bdaa09c7dd5009","datavalue":{"value":"1238.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656220$F306C89C-7F49-4AA1-8BFD-35D16D036AC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afbff9fe7c48aacdd62066fdc12153a1cdecbc94","datavalue":{"value":"10.1134/S1064562411010054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656220$2FE4A963-1676-4394-9E54-3ECBD6CF8DEF","rank":"normal"}],"P16":[{"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":"Q656220$38427F24-EB7F-4283-922C-853493B327C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bbc31fcaa3dcf49d82403ba391044fdfb104e43","datavalue":{"value":{"entity-type":"item","numeric-id":161529,"id":"Q161529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656220$81A26FD8-1F84-4B01-B0CF-66B04B15868B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e8f47db6d3162742e0091c274a854f76c796b77","datavalue":{"value":{"time":"+2012-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q656220$961C2A2E-23F9-42E7-833A-14782470A41C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656220$54F5193B-A1F8-4D2D-A04B-E0B72A8382D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd6b8847e09c706889ad9ef05dc0040f1c9f982","datavalue":{"value":"05C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656220$EC52FC54-5507-440B-98BA-1AF119AC9105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"452a95d35f44102a74d715b25e83366927e66d9c","datavalue":{"value":"60F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656220$0E486595-CE8F-4120-B391-12BDBE9B1911","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac220e8f88b90c39e843e531b73f04279359869b","datavalue":{"value":"5998315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656220$5C9E5F18-0142-416D-9C45-69863F9086D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98c22b67e673a1ff9b883a77c86bad54bbf22ad9","datavalue":{"value":"asymptotic behavior of probabilities of properties of random graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q656220$76CC8086-BC5A-4634-927E-2855B059C783","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":"Q656220$5875DA7C-480C-4575-9D67-BD103EF5B536","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bbaef82e8eb92dc4676d651d32794ea23b80ec1","datavalue":{"value":{"entity-type":"item","numeric-id":2798999,"id":"Q2798999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656220$F5759538-BF85-4EAF-B1E1-CF9EF05ABBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7645417c6b9a9d3537fd0be9fc0136de2571c25","datavalue":{"value":{"entity-type":"item","numeric-id":2640616,"id":"Q2640616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656220$920816A2-1A8A-4613-A830-B6AFBE8084BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5df9b56de5cd5e32489426b15e7a88d31f3725e8","datavalue":{"value":{"entity-type":"item","numeric-id":606499,"id":"Q606499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656220$C4E9D7AD-9971-40D5-A5CF-84001B0FD831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a1bb68b383af65aeb66add2f1a698c64dd8083","datavalue":{"value":{"entity-type":"item","numeric-id":1919539,"id":"Q1919539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656220$A22F1E7C-EE84-4FD9-AF6C-9BF9F992B61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6745d4fc9f23d341e68a8f560771cdaba6a08b98","datavalue":{"value":{"entity-type":"item","numeric-id":3950588,"id":"Q3950588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656220$D18843E5-2B0F-4161-B83B-E5EBF6CF2441","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff77e7f26d73d2950b6b0b35b85eb49223b8b795","datavalue":{"value":"https://doi.org/10.1134/s1064562411010054","type":"string"},"datatype":"url"},"type":"statement","id":"Q656220$00BCD751-2972-4326-BEB4-EFB4D3410C69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c34a60030799653bf90c798bb6fa5bf0156033b1","datavalue":{"value":"W2095258643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656220$14E45ACA-C29E-44AA-9133-90F2F8DEFC7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e51356607f490b368ff828cee4c40805e9071be","datavalue":{"value":{"entity-type":"item","numeric-id":5034234,"id":"Q5034234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d411211255618ea654ec71fe1db63c1b0b80c938","datavalue":{"value":{"amount":"+0.95300126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q656220$0B496DA0-8C2F-40DA-9DD4-BBF0884118E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23e5f827310bfbb055f6047aeb6bc00fa343207b","datavalue":{"value":{"entity-type":"item","numeric-id":4284974,"id":"Q4284974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2930eb8424491646d23db598c5f8238141c67d19","datavalue":{"value":{"amount":"+0.91814643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q656220$F42B9914-F3AE-40D3-8C03-763FC8ADB620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fa4796b069f5f18ae81a24cf998c9d40fb0ef61","datavalue":{"value":{"entity-type":"item","numeric-id":4007485,"id":"Q4007485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"471cab97d43a70e135c002663c11c937f144bd5b","datavalue":{"value":{"amount":"+0.9039358","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q656220$F0D51FBF-707D-4617-BEC1-A12165775EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11fa998c58545cb86010ea667fb6883f8657c1b","datavalue":{"value":{"entity-type":"item","numeric-id":3204447,"id":"Q3204447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e960692b154c9b26703ab0452dcac120fed6a517","datavalue":{"value":{"amount":"+0.8997432","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q656220$D01B3034-FDB8-4A70-B58A-6E0F37AA9D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5176ea16a7791b4ab0f8d07be84b7fb7f2ee627a","datavalue":{"value":{"entity-type":"item","numeric-id":4007582,"id":"Q4007582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9fecc8e004b02a10b7840db254a66dad3657e75","datavalue":{"value":{"amount":"+0.88258314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q656220$0D7F5FF9-3D31-48AF-B382-FD15ABEC374A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd0abd2ce730ea455ea28215c1d402a36128505","datavalue":{"value":{"entity-type":"item","numeric-id":4336698,"id":"Q4336698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b0aceef3f158cabd6373305807168b182063cff","datavalue":{"value":{"amount":"+0.8821031","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q656220$25429E7A-3B66-4D65-9D09-AABACA2CEFDE","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":"81ac611a2d7831792126434e8ae6f09ff7d34415","datavalue":{"value":{"amount":"+0.87794775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q656220$481A84E2-962F-4164-8F46-C9E05ABF7A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17471e28284a273dc7d4be32070f0ccdd8a23bc0","datavalue":{"value":{"entity-type":"item","numeric-id":2411789,"id":"Q2411789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"079959828c437321274bac734d270badaf8560cf","datavalue":{"value":{"amount":"+0.8765545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q656220$741F1D12-297C-43CA-B994-FEF0490AB419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb18b82657653997888267155986820dbff46048","datavalue":{"value":{"entity-type":"item","numeric-id":1351145,"id":"Q1351145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b172f06b701585549c3e510ae28b2a6dbc32c707","datavalue":{"value":{"amount":"+0.87613904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q656220$C30D0DEA-8EDD-43FC-B92E-36C1264D3457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24cafe07b4ebaa38a7b7fb86456e7153f6b6f544","datavalue":{"value":{"entity-type":"item","numeric-id":4010359,"id":"Q4010359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ce36eb836e72c55d37370f7f470cbce5d23ba03","datavalue":{"value":{"amount":"+0.874136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q656220$7CE17A86-43E2-4C97-B53F-EEDC55183308","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Zero-one laws for first-order formulas with a bounded quantifier depth","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Zero-one_laws_for_first-order_formulas_with_a_bounded_quantifier_depth"}}}}}