{"entities":{"Q1337692":{"pageid":1348431,"ns":120,"title":"Item:Q1337692","lastrevid":67616679,"modified":"2026-04-12T19:02:57Z","type":"item","id":"Q1337692","labels":{"en":{"language":"en","value":"Zero-one laws for modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 683706"}},"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":"Q1337692$60935C2D-FDBA-4AC2-8423-48AA99538E59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"465f2264a232b6d90b1587364ca6a4ea0522d651","datavalue":{"value":{"text":"Zero-one laws for modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1337692$DBB5F5F2-349D-4843-A12C-2560E3B10F33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bbbf8c35c238e36a99ff74886f44d493eee69af","datavalue":{"value":"0811.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337692$33ED1CD5-0205-4B16-91A1-D7EFD0395940","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddea5ba0eeb9138fb9e2a8de5e2cddb8c80bf84a","datavalue":{"value":{"entity-type":"item","numeric-id":272148,"id":"Q272148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337692$A4C425C9-39A3-4B53-97C9-EEF490AD7FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3fa9a751487606fa7aa60b1c6c01a7e88dd50eb","datavalue":{"value":{"entity-type":"item","numeric-id":269731,"id":"Q269731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337692$DE69AC29-FC4B-43AD-ADD0-F3893FF17C23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337692$A7026832-DFE9-46C6-96EF-28554EFC4414","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a269f34123f780c17e245cbaab12f8ee5852e5b","datavalue":{"value":{"time":"+1994-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1337692$FB0FBDB7-2E25-429E-A517-43A25B539990","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6a7cfccaadfca27579eaab1e2bf1f1b7e1a838d3","datavalue":{"value":"It is shown that a 0-1 law holds for propositional modal logic, both for structure validity and frame validity. The problem of deciding whether a formula is almost-surely frame valid is \\(\\text{P}^{\\text{NP}}\\), the corresponding decision problem for frame validity is hard for deterministic exponential time. The relationship to 0-1 laws for fragments of second-order logic is discussed in detail.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337692$0ECF26D5-AE26-4D8B-985B-5377006F0CA1","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":"Q1337692$19060BD8-E138-402A-842A-B65E24248107","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337692$6B19EA68-D4BC-43BA-87FF-D2D3F8E5C878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337692$69781F7F-57D3-4438-8CA9-2D320037518F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337692$E26524E1-495F-4AF0-92C2-9736B7398A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337692$D873E02C-5D01-46FE-B72B-B6B0737C24DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1a5b14c7b3e0d8a84a2b52f287d8cab2cb35af0","datavalue":{"value":"683706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337692$E0E2F5D6-1369-4708-B14F-650CA7F8805A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8c306ac5bbf5cf358785eec041285b1cb8d24de","datavalue":{"value":"zero-one laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337692$F0CE6365-D9E7-4613-8DCD-3130E1244C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337692$9B55963B-473C-4931-B3F3-D260EE7EA3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c6330f8c76a6876178495838a1e8d53accc81d7","datavalue":{"value":"structure validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337692$DFA332EE-1B22-4F5E-A5D2-FE61C0034722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dee1be645fbcd5cdb6ba4471d721df8fc4c11ad","datavalue":{"value":"frame validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337692$AC7F66B8-D788-4AB4-8398-7EF64E58C550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c97b91a6489425daba9643dfbdaa45dd0477ea71","datavalue":{"value":"fragments of second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337692$1E1F3CB3-EA8D-4F48-B17D-CF6CB770EC4D","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":"Q1337692$775D12F5-BA08-473C-9687-E6D3E523D576","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89f69099bea8a84e929b98256e8ff814c0ab4234","datavalue":{"value":"https://doi.org/10.1016/0168-0072(94)90084-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1337692$E3DC3AE3-731F-4095-9C9B-F4C643F5F285","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08ae48e6bac382d79f74f1564cdf4e0cce4f228e","datavalue":{"value":"W2061689655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337692$CF1A3934-3783-48DE-997F-B4B2C3EB598B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adfeca738536dd0eadf11b4ff41fe80dc46f89ab","datavalue":{"value":"10.1016/0168-0072(94)90084-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337692$B3D79CF5-7C4B-4D06-94D4-AD12052D19B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P27","hash":"f44c16bd371a9796282db87be6af1e7ec54d57ce","datavalue":{"value":"10.1016/S0168-0072(02)00111-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337692$F7AB7FA1-E9D0-45C7-818A-66ED1729621F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e9cc7ef8fd8d30e2743101b1761bb92158c7984","datavalue":{"value":{"entity-type":"item","numeric-id":1193591,"id":"Q1193591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58c322db0f6c17b151be565a0659242601a1ad31","datavalue":{"value":{"amount":"+0.907076","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":"Q1337692$8A4A0AEC-C326-4993-B790-4CCCC48AF0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02733fc9f7ab3dc41911f39d9fc0968fb57c1dbf","datavalue":{"value":{"entity-type":"item","numeric-id":3747760,"id":"Q3747760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fda04cf255234398846532b3391b5ecb490d244","datavalue":{"value":{"amount":"+0.8935716","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":"Q1337692$73E3CC9E-1026-4F79-BCFF-8D2AC76ADFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71c72085d428c1c44e82c7b8fa2fb44ee79e381b","datavalue":{"value":{"entity-type":"item","numeric-id":920977,"id":"Q920977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d97ff6de63979b4221886786912ff62335a32df","datavalue":{"value":{"amount":"+0.8925704","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":"Q1337692$08C98B94-2011-40DE-8CCD-3CF1689CFEE6","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":"70f3fbf4c97f7811bde26ea37f761ebd6a3761ca","datavalue":{"value":{"amount":"+0.89158195","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":"Q1337692$ED2DFD4D-97B8-4FFF-B146-66BAFF387768","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":"4f743ed2d1e3e85e212270596b41a3e1d6a9560d","datavalue":{"value":{"amount":"+0.8915203","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":"Q1337692$ED0DEECE-A056-4BD9-BA40-DF20FED8282C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59af3c91891595e72e257c34b109b36cefc117ba","datavalue":{"value":{"entity-type":"item","numeric-id":3643311,"id":"Q3643311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7339ba50acc489de086fd25759ca2e8908a24f7a","datavalue":{"value":{"amount":"+0.8900585","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":"Q1337692$6FAA12D5-5A2E-4B65-9A0B-8EF7C2E2ABDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b82186a9444265df0b7a4c90b5d876883297e067","datavalue":{"value":{"entity-type":"item","numeric-id":3060980,"id":"Q3060980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef4f2979a4c98edce24353875111938bcd80dbf2","datavalue":{"value":{"amount":"+0.88930315","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":"Q1337692$E2ADB3FD-49BC-4FAB-A5B3-ECBCB21D61E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d196e86d5c9650d1e63fdeff70b7d675f83d3e3","datavalue":{"value":{"entity-type":"item","numeric-id":3762286,"id":"Q3762286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6a56e6d17f8d5c1ba676e5e0ed8902a56867ab4","datavalue":{"value":{"amount":"+0.8867705","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":"Q1337692$09300589-D9E3-4B09-9320-67910DF91423","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":"b207a68d88d85ef4b8f1bc66ea79cb89def85741","datavalue":{"value":{"amount":"+0.88656706","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":"Q1337692$C43E6FBE-9CA1-499C-8834-AC6D978FB0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3af91b9b2afe043dfb4abf7d85dc66b028648be1","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c392095f9682d4dc62bf6b72160fcb08967de09","datavalue":{"value":{"amount":"+0.8841975","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":"Q1337692$9BC76760-D4BC-4B25-BAF0-DF6955CEA92C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Zero-one laws for modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Zero-one_laws_for_modal_logic"}}}}}