{"entities":{"Q3613433":{"pageid":5643339,"ns":120,"title":"Item:Q3613433","lastrevid":50603789,"modified":"2026-01-14T13:14:15Z","type":"item","id":"Q3613433","labels":{"en":{"language":"en","value":"Presburger Modal Logic Is PSPACE-Complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528313"}},"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":"Q3613433$11016F1C-1952-4310-B6C2-E0CDEAC382C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ff122f7b14996db5b7f7b26c96bb9b734ab0971","datavalue":{"value":{"text":"Presburger Modal Logic Is PSPACE-Complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613433$31E630E6-ECA2-4538-A138-7ED8E659DA64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90f525b577532d75b88963f4a9677259f9d98c26","datavalue":{"value":"1222.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613433$7A509B48-DB55-4626-8B7F-E1EBDE06D79C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b616bc837dc98f3a480e6de2c101295079a5c8bf","datavalue":{"value":"10.1007/11814771_44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613433$D06EBFAB-9894-4C49-9083-93B6121A53BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613433$9FBC226E-C4AA-4D24-859C-01F2D6436156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a60be4490a790d53b1b7f5ef26cb70860647ffa0","datavalue":{"value":{"entity-type":"item","numeric-id":862560,"id":"Q862560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613433$08561EEA-0490-4137-8918-FD4564E35B84","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613433$E732C6EF-5EC0-4F41-99EA-B92C2B72C821","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613433$5E6C30EA-3C07-4385-BC03-1751740A12B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613433$F5E430B7-1B83-46A6-AFF8-3E4B9821D3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613433$FD079E03-E95D-42A7-A7EC-329235E1A051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613433$BEEFDDC2-AF7D-4311-B59C-00BEA40596A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613433$7BC96383-8EB9-4B67-A1B4-2B085B44676C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613433$88EE26C4-3980-4C9E-87AC-145624FA3062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613433$07D8DCA6-A167-4589-9955-825869B82CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613433$402FB69A-9F81-4F16-A4D0-0A3A23E03A26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"895e0315440923c716c3174919adbddbec812791","datavalue":{"value":"5528313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613433$66D1F03E-7A2C-45DD-A453-374FDCDE8DBC","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":"Q3613433$17E62EBA-A398-4BB8-86EE-4933BA783A43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"961efbda9140573f07d2bbfd26bca7f238402d39","datavalue":{"value":"https://doi.org/10.1007/11814771_44","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613433$C397FF90-2B0C-41E6-8B69-2F9A587CB843","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"809eda22210507a2548b3558c33c3e505c8add92","datavalue":{"value":"W1590721921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613433$D61F574E-EC68-4E9A-9C1A-CD2C93792296","rank":"normal"}],"P1643":[{"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":"1e2cf6c809b2983063abff9dac0e2a5932731ca3","datavalue":{"value":{"amount":"+0.9175977110862732","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":"Q3613433$76A374E1-2E20-40ED-92F0-711858EB55C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd3b2dd1367c4d46fd9d7d56631668a2683c78f3","datavalue":{"value":{"entity-type":"item","numeric-id":4376054,"id":"Q4376054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4c19c835b916bc0339550cea8a3f0c621f65e9e","datavalue":{"value":{"amount":"+0.9043375253677368","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":"Q3613433$FBBE615D-7C05-4EE6-9C4E-1326389D4B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"582af9cbcbdb36217e78fee6caa2f56add07f274","datavalue":{"value":{"entity-type":"item","numeric-id":5419877,"id":"Q5419877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"273c3dd56c0263269783ffc95cb975a5d334670c","datavalue":{"value":{"amount":"+0.8140851855278015","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":"Q3613433$993F3CC3-6CB6-4015-A160-ABFA99365868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0fb2fb23fa287af5310dbe427fe8889ac5b0c32","datavalue":{"value":{"entity-type":"item","numeric-id":4263156,"id":"Q4263156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1969f8a75c6481b9bfb75e3e9fb2cb873ce6504","datavalue":{"value":{"amount":"+0.7825151681900024","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":"Q3613433$2905F430-2715-4E37-8699-0EA78A719358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b8541a04e0b1eaf1cbbd26664f9562a8be9787b","datavalue":{"value":{"entity-type":"item","numeric-id":2720401,"id":"Q2720401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92271593adceb56eafdec55be2dd27a03c663cc2","datavalue":{"value":{"amount":"+0.7765262722969055","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":"Q3613433$A9503798-8563-4C46-B15F-120E9F640275","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613433","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613433"}}}}}