{"entities":{"Q5427258":{"pageid":7456832,"ns":120,"title":"Item:Q5427258","lastrevid":100941824,"modified":"2026-06-05T23:30:19Z","type":"item","id":"Q5427258","labels":{"en":{"language":"en","value":"Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5213013"}},"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":"Q5427258$3B01C6BA-76BD-45DC-8292-14F977C3C25C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b525ce09d87a2dda2c70cecde0bfef6052f8bb1","datavalue":{"value":{"text":"Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5427258$C61C036E-6E32-4B2B-A570-500F302340CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc36d2ecb76c60249272cb56b75a35e795ef15c8","datavalue":{"value":"1126.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427258$1E248BDC-FB05-4215-B3A5-F588E465A00B","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":"Q5427258$6D0584EF-FFF6-4F1D-B27D-169350B3DB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6839bea8da2718f2e7ea233e080a5a7ffe979ba5","datavalue":{"value":{"entity-type":"item","numeric-id":5427257,"id":"Q5427257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5427258$33D03D99-A85D-4BED-AB9D-850634FC1079","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"806ce7a5341bdedb9ded78965f199921fbebfc0e","datavalue":{"value":{"time":"+2007-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5427258$F85BB686-A208-4D08-8988-9D98B2883CD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd4fd10faf6156766c00bb2db2a60d2da734546d","datavalue":{"value":"https://arxiv.org/abs/cs/0603019","type":"string"},"datatype":"url"},"type":"statement","id":"Q5427258$25DAF7ED-6DA5-43D8-9C8F-66B468D40EE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427258$148585F5-A9CF-47F4-9E7A-B0D2A6F21B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427258$8CF3C026-7018-40FA-AF68-B3D9F61CE8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427258$58E64528-5497-4CD0-9A46-B48C919885FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427258$AE8F6A88-531B-41DD-898A-D3E6EDF98A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427258$4856AEFD-33A4-43D2-8C9D-44BC58FBCED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427258$815345F6-B824-4012-8E14-3BCDEB5A3A8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a7c2104290b4304516b2ef5ffdf4c77ae9fa5e3","datavalue":{"value":"5213013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427258$86ACDE34-0D78-4379-9A08-1A423826D7E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d02764fddb2307973a1a14d8ff79b77f2ca89f2","datavalue":{"value":"Euclidean property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427258$53C3302A-AC71-4A18-95B1-79EB00DC438A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0e8f8dcb37f9449e5898323487375607c501ccc","datavalue":{"value":"negative introspection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427258$0437C806-4EAE-48F0-89A8-C7DF271C9675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"307641476bfff2befc7d6779b812a93fd2e12954","datavalue":{"value":"K5","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427258$C93CF4C5-E6E1-4546-9999-4D3642A3A7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b31587c96a5c5ccf3b12532333e2056e86a541","datavalue":{"value":"S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427258$5D75D96D-2659-4595-A10D-17F5B6A8F51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96c107bb63de79565718d188b33fcc483957cfdd","datavalue":{"value":"PSPACE","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427258$4B19B085-0443-4466-940E-D5B9F7F74930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"834c45d526445b63ede129bf0252d3b47bed13e5","datavalue":{"value":"NP","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427258$DC476FB3-8F4F-4E35-8B33-48976F201E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427258$87C89C24-FCD1-4BF5-86FC-3025F2A1EBC4","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":"Q5427258$7EF830B4-E355-41FC-A98C-DD79684C5BD2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b82e4d6b5be2229f8008ae85f389b2b77b7b138c","datavalue":{"value":"W2287532945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427258$E3BFFF97-B276-4B4E-805F-5A0FCD733D9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"185bb4ec6226d7170750249854de2f0588a1d271","datavalue":{"value":"10.1093/LOGCOM/EXM029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427258$69048729-40A2-4391-9CE9-0C64A491DF3A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5427258$DF11B3F7-BFE6-417B-9311-B593B39AF18D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e7e169433d0369f37f847f1d0ec7a8a26bcb86","datavalue":{"value":{"entity-type":"item","numeric-id":1329742,"id":"Q1329742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99eea34fcc6b88e92a24932ad135eab91eea89eb","datavalue":{"value":{"amount":"+0.7580366134643555","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":"Q5427258$1EEFC9B2-AB76-45CD-8A68-33982ADE0E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33a0807f3da8d99a10fce0a8de150db3c73518ed","datavalue":{"value":{"entity-type":"item","numeric-id":4354885,"id":"Q4354885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a70bae614429b63f1d096e6e850a530cf6a32da6","datavalue":{"value":{"amount":"+0.7541711926460266","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":"Q5427258$81683106-5002-41B3-A90B-879F0F6C032A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"599ca9a202bd5b14773bfd0d0892eddec262c664","datavalue":{"value":{"entity-type":"item","numeric-id":4501537,"id":"Q4501537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2087b72b38ccf9139f132bdc5c203d880724e2","datavalue":{"value":{"amount":"+0.7531253099441528","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":"Q5427258$57301391-4506-42C7-918B-A87F3A2C747F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7f36987becf6fc31e7821e8b3074e558f499b82","datavalue":{"value":{"entity-type":"item","numeric-id":1855229,"id":"Q1855229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7f1a727291127e5d273ff3c377c5f7f59e1b60b","datavalue":{"value":{"amount":"+0.7471400499343872","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":"Q5427258$0FE753C2-BDA9-42FF-9088-60175F1F204C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a65dba3d324fd296089ad0561845cdead9cafce","datavalue":{"value":{"entity-type":"item","numeric-id":1709685,"id":"Q1709685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83ce9a76a8ee1b64c211d0ce8809706b5ce06cfc","datavalue":{"value":{"amount":"+0.7410033941268921","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":"Q5427258$52ECBA03-D3D2-4608-B41E-20AC897C1411","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic","badges":[]}}}}}