{"entities":{"Q868030":{"pageid":869878,"ns":120,"title":"Item:Q868030","lastrevid":64956087,"modified":"2026-04-11T23:20:46Z","type":"item","id":"Q868030","labels":{"en":{"language":"en","value":"Quantitative temporal logics over the reals: PSpace and below"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5128124"}},"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":"Q868030$934991D6-E7E4-4426-8A7C-6D8CA7E51268","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"990b2f931d114a33dd6ba88ec1e84229fa04ebfa","datavalue":{"value":{"text":"Quantitative temporal logics over the reals: PSpace and below","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q868030$D74B094E-A39A-4CF6-AE08-E0A67B931E57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97b7c723093a00da1dcce4c3019fdfafb69b612b","datavalue":{"value":"1109.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868030$763B8FEA-B751-4678-8550-C66F17FB0EB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22db3ca50466332b07467138807079dd11905aeb","datavalue":{"value":{"entity-type":"item","numeric-id":420807,"id":"Q420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868030$BD747D8E-8C04-44F7-A800-3F480FE5D79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bd5fda30e97b95ac04e7ba16505b8fcc3a4cafc","datavalue":{"value":{"entity-type":"item","numeric-id":868029,"id":"Q868029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868030$0AEDBC80-7D8A-4265-A760-5E748C340EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76722ee993ef1bba5eff4ce8b9dbe5e1d07862be","datavalue":{"value":{"entity-type":"item","numeric-id":239516,"id":"Q239516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868030$E4A5338B-B1AD-4B2E-949E-CFF76AECDF22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868030$F004299A-D10C-4E22-8D1C-57EFDEF6300F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97b507c351932721346fb052e20f9e8975c84342","datavalue":{"value":{"time":"+2007-02-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":"Q868030$12A32B7F-9CEC-4910-8409-B21ABCB7C67B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868030$98394FFC-7CC8-4D55-A3F9-D89CA96C9A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868030$F00FA077-E5BD-4C89-A6DD-F1C01A7ED8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868030$ED431986-CB6A-4509-BC06-7A5853EB494E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f669175aa665f10c38002fc890ec7ad2b3fa850f","datavalue":{"value":"5128124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868030$D432273A-DF4F-4206-A0E1-628434D7457E","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":"Q868030$644D4A53-817D-46F5-BA46-396F17277BB3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bc5cf78f6210b9025fba4db3318064819c2df40","datavalue":{"value":"https://doi.org/10.1016/j.ic.2006.08.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q868030$80D2B6E2-375D-4FBC-BCFC-D126E4393B0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ecc1c855441d24ca4b7b7191956aa60a62aa667","datavalue":{"value":"W2148573667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868030$DD7B529A-3387-4E31-B593-8B14E94003DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868030$31F40222-1E4C-4C46-AD84-E3F8CE32125A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868030$9680909D-8185-4E77-9849-6E945AD73D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"200f757bcae76b124b004c3e7ce6e5fb5da34619","datavalue":{"value":{"entity-type":"item","numeric-id":1581898,"id":"Q1581898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868030$E068FC1A-555A-428B-A264-D889E4058DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ebb30f6e8b3abb4e582235e4122c141ea0cc578","datavalue":{"value":{"entity-type":"item","numeric-id":5491868,"id":"Q5491868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868030$FB1781D9-C3C0-4D26-BF12-B96A1D1666C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868030$D9A2AABC-DF4C-4D9E-9A70-2D7C0E0A1EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6cf0a66e1006b59cf18febd1eada2ea39da4f1b","datavalue":{"value":{"entity-type":"item","numeric-id":673876,"id":"Q673876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868030$244638EB-530E-4F99-B51A-00A7255358B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e828e5e129d51b8575c30bc55db9c76d50bd294","datavalue":{"value":{"entity-type":"item","numeric-id":4824483,"id":"Q4824483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868030$3F40A69F-D198-48D5-BA43-CB01B1E36EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114b5352846e734e7429f1ae0523e22dbe07fbae","datavalue":{"value":{"entity-type":"item","numeric-id":636345,"id":"Q636345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868030$44801B2F-BA89-45C4-8964-AA48C284DE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c9e8fcb998c0f2f3c6de3f7f1e391d2c251d079","datavalue":{"value":{"entity-type":"item","numeric-id":5958467,"id":"Q5958467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868030$8A906025-FBF1-4D47-9442-71FE5B94B4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868030$6E23D93F-25D0-4B67-9520-5FA6EE700486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9939d9a4a30150573632610c3ed20aa1ab1b1da8","datavalue":{"value":{"entity-type":"item","numeric-id":1207955,"id":"Q1207955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868030$728FE933-D7C7-46A1-9CC7-F1FBEE2F8091","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95d3987b25b3f593319481d5c46e50e44702edfd","datavalue":{"value":"10.1016/J.IC.2006.08.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868030$E1D3BB65-FF74-44D1-820A-2438CBADAD78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6eff8910ca6b1cc8dbe85b350ba7ef7d3cf9a3b","datavalue":{"value":{"entity-type":"item","numeric-id":974119,"id":"Q974119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e8f9571a81bc3e67c81c9eebed8f2c75e4dd00e","datavalue":{"value":{"amount":"+0.8450572490692139","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":"Q868030$E66F1EB2-8539-4E13-8B83-207476A1A8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5d21bc5f5fddcb5d589bce6c36f0cb306f10470","datavalue":{"value":{"entity-type":"item","numeric-id":3543292,"id":"Q3543292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fd92169b899e6baf658eecc97110494853bc201","datavalue":{"value":{"amount":"+0.8411900997161865","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":"Q868030$EC77AE66-3804-497C-B596-2C3A8D53A652","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":"fae56d167a133eceb632b10f005aa423d83c1480","datavalue":{"value":{"amount":"+0.8204745054244995","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":"Q868030$BFBF6F9F-4611-4EE3-A4D7-A3937C43F632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05779f72cc7f94b624374807cd511e7ecb7e22b6","datavalue":{"value":{"entity-type":"item","numeric-id":3584960,"id":"Q3584960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e9ad92e6c02e989410c203fb7585727587b5427","datavalue":{"value":{"amount":"+0.8042056560516357","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":"Q868030$B8B2B7A9-BA08-4603-9CED-0E20C7F28535","rank":"normal"},{"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":"b0cc377e645be7992768c161bfc8afe3f7938c6c","datavalue":{"value":{"amount":"+0.8042055368423462","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":"Q868030$AFFE2F0D-0117-4AB9-98BB-926EFE106775","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantitative temporal logics over the reals: PSpace and below","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantitative_temporal_logics_over_the_reals:_PSpace_and_below"}}}}}