{"entities":{"Q946142":{"pageid":947990,"ns":120,"title":"Item:Q946142","lastrevid":50459546,"modified":"2026-01-14T02:45:58Z","type":"item","id":"Q946142","labels":{"en":{"language":"en","value":"PSPACE complexity of modal logic KD45\\(_{n}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5345635"}},"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":"Q946142$9D29CE30-C1D0-484F-ADE3-0CCA3770BFED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f63995de8099a0c7ed285cefaa465de2419f8562","datavalue":{"value":{"text":"PSPACE complexity of modal logic KD45\\(_{n}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q946142$83058460-C72D-4F47-B169-46F478C3A77F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b95d4be7e4b499ba69222001f27f035500b1f437","datavalue":{"value":"1149.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q946142$78BDDFA6-F61B-4343-9100-E6825ABF86CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2567ab1cb18b4c003c1b2bc9c7757f1b5382bb67","datavalue":{"value":{"entity-type":"item","numeric-id":926637,"id":"Q926637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946142$0065D5DB-25EC-47FE-B525-2F5A72D9B6F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6eae2a8f4ab11bae8edce7ff6ed79c3ee5c09211","datavalue":{"value":{"entity-type":"item","numeric-id":90731,"id":"Q90731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946142$FE6BB955-C040-4552-8648-3FD3939565D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c8003791cbe1fbc8534b176620a1611c50cccbae","datavalue":{"value":{"time":"+2008-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q946142$7A470FA5-A5B3-426E-B06D-DE6577692956","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q946142$A77A5601-6903-4E38-A65A-97A971828DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q946142$7D99390C-A7ED-4940-8AB0-51F69498167E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93c6ab23aa4b8460ba8997b19e1294f60a2a6dfe","datavalue":{"value":"5345635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q946142$B3117DD0-1B36-4A1B-9CFB-69CE9FBF92A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"050c98b07d224f5daf8ed5327733baeae9e9dcfe","datavalue":{"value":"multi-modal logic KD45\\(_{n}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q946142$6AE25FA3-14E1-4CFF-9839-4E216DBCC560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q946142$E3337FE3-F87C-4E51-9E86-75A4E66AA801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96c107bb63de79565718d188b33fcc483957cfdd","datavalue":{"value":"PSPACE","type":"string"},"datatype":"string"},"type":"statement","id":"Q946142$0B5C4E1A-254D-4272-A83F-514F44A01B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q946142$0BAD70B2-A161-4BB6-86D6-2127ECFB3447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0701eef478057fd8eb24d02b2ba45edde78df0d3","datavalue":{"value":"loop-check free","type":"string"},"datatype":"string"},"type":"statement","id":"Q946142$56F2EF70-F56E-46A2-8DE1-1AA2BB0C89FE","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":"Q946142$E412D2D4-C0C0-47C0-92DF-3CFDF36A7D9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fee456ca4cc11b5db84edbd892e8239f3381c0c","datavalue":{"value":"https://doi.org/10.1007/s10986-008-9006-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q946142$DF44A950-B6ED-4292-8ADD-652D69373AC9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62d0dd729879295bdeff9c13da77af43b8de0824","datavalue":{"value":"W2074133487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q946142$2193BB68-F7B7-4FFA-9BAD-6C23DA3F7272","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bc02e6496ca7957e97f552c475aed2d04a11a32","datavalue":{"value":{"entity-type":"item","numeric-id":926638,"id":"Q926638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946142$00D03488-1A0E-4B71-9768-9A085616D68C","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":"Q946142$8D6FE55F-4409-4B89-BAFF-546D1A35A467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"595c8b1dfa02519b9bc0d4750f00a276e02ef5a6","datavalue":{"value":{"entity-type":"item","numeric-id":1977576,"id":"Q1977576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946142$A26AED61-E11D-45BF-A75C-6D07D7BD958A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"935ba208803ddb3e1f8988bb30ed121f92ce0935","datavalue":{"value":{"entity-type":"item","numeric-id":4443210,"id":"Q4443210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946142$FFCD08DD-2AD3-4A5A-A8D8-36109A587B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bda7bf2b683d32fb9bd0a60fb1ebf165437c69","datavalue":{"value":{"entity-type":"item","numeric-id":3832540,"id":"Q3832540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946142$71F79D7D-2665-4E55-8278-049CDBD5E14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ba024d1a6b0ca9a583a48fb26b370e679ebdb55","datavalue":{"value":{"entity-type":"item","numeric-id":2756785,"id":"Q2756785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946142$DBF5466E-C6C2-4D95-A07D-A91FE399DF03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e5c0f141b62a8ee773ce70f58787f466d87c09e","datavalue":{"value":"10.1007/S10986-008-9006-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q946142$E997F262-62EA-4D48-9795-A134F93615BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"938c4acdca2ae208a9d05a602efd370ac4b50151","datavalue":{"value":{"entity-type":"item","numeric-id":926638,"id":"Q926638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f885984fdaa5ddbcd96117f622011264da2f341","datavalue":{"value":{"amount":"+0.8153508901596069","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":"Q946142$9CD458A2-E970-4E43-94C7-1D2C2689D004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7f689c83704e49e62803cb94e676cf2d9254dfe","datavalue":{"value":{"entity-type":"item","numeric-id":4430396,"id":"Q4430396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64ce4896723f17dc38abf164a1355402b58003bd","datavalue":{"value":{"amount":"+0.7580788731575012","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":"Q946142$236E0DCF-768E-4A64-B8E1-BF711A2C2C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35464d71951e45be763956f480e2c20953eb1dfc","datavalue":{"value":{"entity-type":"item","numeric-id":3085172,"id":"Q3085172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8f2754a0f4ec2bb4e622c1567a477f8fb6088cc","datavalue":{"value":{"amount":"+0.751533031463623","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":"Q946142$D59C746E-F0B4-4B91-B5B0-0E0A3F1EDD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30beed1410737f28ed5f3206bd8813ad3f426e53","datavalue":{"value":{"entity-type":"item","numeric-id":4941911,"id":"Q4941911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"064f30adf6465dc4e4c074cf0dfcd64cf510c063","datavalue":{"value":{"amount":"+0.7512476444244385","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":"Q946142$680DC6B7-22C4-44C8-8366-42C65B2F2D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31b07cf019cd9c42b117c07d4db61a2d4a629551","datavalue":{"value":{"entity-type":"item","numeric-id":2791890,"id":"Q2791890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa2641f6de912a04627194bc06264495175767fe","datavalue":{"value":{"amount":"+0.749119222164154","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":"Q946142$9C76B751-AE96-4885-AF45-6157B87BA038","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:946142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:946142"}}}}}