{"entities":{"Q1855229":{"pageid":1865971,"ns":120,"title":"Item:Q1855229","lastrevid":73667793,"modified":"2026-04-14T16:51:00Z","type":"item","id":"Q1855229","labels":{"en":{"language":"en","value":"The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1863784"}},"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":"Q1855229$65B3E4E7-4091-48B2-A6F6-85CDFB21CC6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4487fc327162f32a78b808ac92bb15662a4f891","datavalue":{"value":{"text":"The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1855229$947CC3F2-0C10-4BE7-BA14-2BCF096142BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5fe79d923040bdc5d8e5e9324e47d39eb0417eb8","datavalue":{"value":"1014.03508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1855229$B10D7FA2-21DD-4F4C-A343-F4561DD2AE77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2edf59dbdc81729421648e79a20b0c54782f8e5","datavalue":{"value":"10.1016/0004-3702(95)00018-A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1855229$D9FA08FB-20B6-4DC7-B41F-3B67DF12DF75","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":"Q1855229$7F8E6DFC-70ED-4CCF-AE33-DF8E0B7799C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1855229$4A436652-A77D-431B-9DDF-62CBE15228F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef222cac3ea6185ed6f2b7072390669e1f36763a","datavalue":{"value":{"time":"+2003-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1855229$6C07F94F-BBCB-4BE8-BA32-6CBD89F355C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1855229$CD410F2F-986A-48E8-8DC7-FA92DBFFDAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1855229$3E3ADE1D-0BFD-4536-840F-A0C4168319BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1855229$4130C644-F00E-4F3C-8286-E6AC91D49E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1855229$E1253D60-ED47-41BB-83CE-5B6AD1F37B77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78c9a07155082186c6d8e5e5fcee940baf8b2289","datavalue":{"value":"1863784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1855229$0F36FB77-7C59-4FEE-9526-B7DA3FF5BA7D","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":"Q1855229$79EF9B7F-14F3-4471-A9C2-9E80D18BA425","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1855229$EADA7245-5404-40D1-85EE-0026473FCB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18670168214b3dc0cd152f5a7b4856ae530e29a4","datavalue":{"value":{"entity-type":"item","numeric-id":2785840,"id":"Q2785840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1855229$CCB16B44-74A2-4D78-AF3B-04CF0814B092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1855229$974F1F7E-2CF5-4153-B2E3-FCC742027EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1855229$6EF53B77-0D6D-48CF-9EA3-C2504727D8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1855229$471086A2-5A78-400B-8394-D214D2997F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1855229$BE0485F1-9166-488F-8235-532E538F79E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c147eb30f944f0a5fd514fb007ccba2b5efe1b2","datavalue":{"value":"https://doi.org/10.1016/0004-3702(95)00018-a","type":"string"},"datatype":"url"},"type":"statement","id":"Q1855229$B8F090C4-EFE6-4F9F-AEE6-7B3931BB3621","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4566085c345c7f87082314506b1f156e84358e6d","datavalue":{"value":"W2160811334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1855229$3B18366E-2461-40BC-A858-32E90F99ABC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2751303f41de905323f2f508e585e7ff39a5ad8b","datavalue":{"value":{"entity-type":"item","numeric-id":4364506,"id":"Q4364506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e17edf1b99abfef56936a074f9c623c2cf1ac8a8","datavalue":{"value":{"amount":"+0.9097778","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":"Q1855229$F805F94F-2154-4D42-9944-57A5FEFAF4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68f0d7c25a9d8fa5be3fad18bc0c5fd8bc204f03","datavalue":{"value":{"entity-type":"item","numeric-id":4910732,"id":"Q4910732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b3a9cb4fa5b399bcc44c2ad8f9b0179fef77fb3","datavalue":{"value":{"amount":"+0.9030297","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":"Q1855229$66A7D1D2-D262-4AF2-94AA-AF6C213B1D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf6280f84fd808018b787d293b83c19196a461b","datavalue":{"value":{"entity-type":"item","numeric-id":2753686,"id":"Q2753686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9e2454a64545be52e10bd90d3abce9e3026f55f","datavalue":{"value":{"amount":"+0.8993203","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":"Q1855229$AD95C6E2-D3F9-4DF2-9958-029311A4185B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a649bc554f2fe5c82abcdcd51c1d59c0c16855a3","datavalue":{"value":{"entity-type":"item","numeric-id":1956378,"id":"Q1956378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b74e658b92f88b91bf22eaa8f122733d97f9e239","datavalue":{"value":{"amount":"+0.8974564","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":"Q1855229$011A5084-CEC2-4570-9E2C-DB0CFDF1EA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"025ca63bba1c9f34330497241aa424dcb045b23b","datavalue":{"value":{"entity-type":"item","numeric-id":3586056,"id":"Q3586056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b74e658b92f88b91bf22eaa8f122733d97f9e239","datavalue":{"value":{"amount":"+0.8974564","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":"Q1855229$96E99FFD-B3AB-4150-9D08-30F33C975CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2f6f4df675809f35b27664fc1a3de25ecc4ce00","datavalue":{"value":{"entity-type":"item","numeric-id":4501138,"id":"Q4501138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53e7b5cc6866d5126575baf6b0e1d0f8e3bfdda3","datavalue":{"value":{"amount":"+0.89367664","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":"Q1855229$B36FF0AE-8FB2-4167-8471-B29EDF381BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c7287455d8ffe62134f25a88345265b71636e6","datavalue":{"value":{"entity-type":"item","numeric-id":4430407,"id":"Q4430407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efadd7edc59e9a609b05411091e4dc831fc190f9","datavalue":{"value":{"amount":"+0.89295745","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":"Q1855229$DCAA7810-09BC-456E-849B-5FAAA861E4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11cdc09b05fa6f665eaf452866ea710fc5e87d1","datavalue":{"value":{"entity-type":"item","numeric-id":5224566,"id":"Q5224566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12100fb15bb728319374a34681a13bd052534e13","datavalue":{"value":{"amount":"+0.8926129","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":"Q1855229$FC529A38-4DFE-48B5-B5ED-714D7918C342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"144b128f0e8d18acfe5ac5fa90ea1c3aede07002","datavalue":{"value":{"entity-type":"item","numeric-id":2638188,"id":"Q2638188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e149340ba8eaf63f91a350fd88ea3f7bf57937b","datavalue":{"value":{"amount":"+0.8874282","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":"Q1855229$37CBD200-228B-419C-89B7-608426D0FF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebf05996b83aa44eaf616717a41f0e257edddac","datavalue":{"value":{"entity-type":"item","numeric-id":2157601,"id":"Q2157601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e05bbe060d2c23f419c5d0a2065fc5fa531ba1a0","datavalue":{"value":{"amount":"+0.8863409","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":"Q1855229$DC62A581-6482-4438-955A-A77AD9E4AFCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_effect_of_bounding_the_number_of_primitive_propositions_and_the_depth_of_nesting_on_the_complexity_of_modal_logic"}}}}}