{"entities":{"Q3584960":{"pageid":5614864,"ns":120,"title":"Item:Q3584960","lastrevid":51066122,"modified":"2026-01-16T11:44:07Z","type":"item","id":"Q3584960","labels":{"en":{"language":"en","value":"Temporal logics over linear time domains are in PSPACE"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5776491"}},"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":"Q3584960$FA9CFF2D-BB8D-4176-B7ED-9B18733485BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e73a1e24e131470678ad4cd7c0256eb120639c9","datavalue":{"value":{"text":"Temporal Logics over Linear Time Domains Are in PSPACE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3584960$370140C6-EC5B-427B-AC2E-40F2B8A1EF13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3ad89d9c02d01a1bd213c911e363cf6cf53b853","datavalue":{"value":"1287.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584960$017FA4FB-1121-45FA-8077-E38A196E78A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dfb38c17834881179f55baa4fd556735558d6c9f","datavalue":{"value":"10.1007/978-3-642-15349-5_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584960$CAC39E48-9E2D-4B52-88DE-80EEED0E3CE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584960$479963FE-1BD0-4814-8991-04DDB6536043","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584960$B08A8EAE-5431-4036-8582-FDC904796A5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb30be9aa52453b28e16b3393b2ab68c6420e54e","datavalue":{"value":{"time":"+2010-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3584960$7176961A-0AAB-4F90-9A65-F574FFFAD730","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584960$D0FBD89F-34E5-44B7-99B1-FB6779458AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584960$E896915B-59CA-4705-B9BD-F2791CB876F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf2bd968519bf684de04e02be54386135fddbaa3","datavalue":{"value":"5776491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584960$8E604AF1-24CC-4975-BD5F-3767F7DB4877","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":"Q3584960$72921D25-BAB6-4830-A2F7-0CBBECBDD45F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d80b374e02f304f289b6701d6259b1808fb6c0a9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15349-5_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3584960$7809E2AB-9F91-493F-95A0-8EEA46707790","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39d652a3988a46111a576bac44da7474661c2346","datavalue":{"value":"W1528981694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584960$047C8007-5D4B-4EE2-83E7-C02472A7ECE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20502be7dae51c272f2616fd28866b335793fb95","datavalue":{"value":{"entity-type":"item","numeric-id":418122,"id":"Q418122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573c3281ec861d0e1a94efb0fd570105bcde8b40","datavalue":{"value":{"amount":"+0.999999463558197","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":"Q3584960$3899A58A-C582-4DCE-8E85-60E15F24283A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808970fdcdd100f78bc7a745530c1d015ec895af","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7312defd1dff089440335ef2ad8c77971d506142","datavalue":{"value":{"amount":"+0.8912416696548462","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":"Q3584960$9E9FEE4D-5EF7-4496-9970-FB4C42895BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8383c81dc306dd82e36f9328ffbecd979c9336a1","datavalue":{"value":{"entity-type":"item","numeric-id":1400578,"id":"Q1400578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94d2c1197db5b3740d4ea0961d56d856b824d08c","datavalue":{"value":{"amount":"+0.8838936686515808","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":"Q3584960$426FD859-2B5D-4FAB-8908-915BAD0CCF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cd169c146c93114a40372ce7a38c2a44824381","datavalue":{"value":{"entity-type":"item","numeric-id":3081444,"id":"Q3081444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55ed64bf5b983cb6c4f75a2cbff9273230506650","datavalue":{"value":{"amount":"+0.878703773021698","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":"Q3584960$F4EC2C90-90AB-4E10-B003-58E24F266966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a507349af4796203aa0a5e42e521a13c5148e8f9","datavalue":{"value":{"entity-type":"item","numeric-id":636345,"id":"Q636345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25576d83734de7bfceb0b67bb889498471bcd435","datavalue":{"value":{"amount":"+0.8536288738250732","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":"Q3584960$A0C6C9E0-FB3D-4C9C-85C7-978BDEC0A4A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3584960","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3584960"}}}}}