{"entities":{"Q2999188":{"pageid":3009912,"ns":120,"title":"Item:Q2999188","lastrevid":51242546,"modified":"2026-01-17T10:11:29Z","type":"item","id":"Q2999188","labels":{"en":{"language":"en","value":"The complexity of epistemic model checking: clock semantics and branching time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5887286"}},"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":"Q2999188$E80DE7B9-E0AD-41D2-A691-B06190E223F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2eaaed6dc414dba3e0cbb8579f2f1e22ec93224","datavalue":{"value":"1211.68248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999188$886B463A-9D47-4FF0-BC14-F5AD3BC68C57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e1364f0354a3d5359bd1b191a4301e0d9a703ac","datavalue":{"value":"10.3233/978-1-60750-606-5-549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999188$FF2A242C-29B6-439B-8A0F-878DA196FDF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ba20480e688f69c78e8bb35e0047634cb2927df","datavalue":{"value":{"entity-type":"item","numeric-id":846856,"id":"Q846856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999188$2B772EEB-8106-42D5-B97A-9F8115486AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4db7965b744c3ad82b3b70060228ee3b54966579","datavalue":{"value":{"entity-type":"item","numeric-id":278740,"id":"Q278740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999188$DDD9716F-6BA8-44B0-BAB6-4612B1C8B445","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48dcea6cafeaa3b44f87e092d3e836e753750797","datavalue":{"value":{"time":"+2011-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2999188$E6BCB1EE-89D4-4FE9-9CB6-CC481D25DBC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999188$38F86D06-94B1-4F20-82BA-53973F3E67B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999188$4AFEA03C-B541-4E74-9153-8E897F59625D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999188$E4F45623-E570-4629-9BD4-42CD5219B45A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fcf2d143a8bc82760e916c47f70c787bddfbe75","datavalue":{"value":"5887286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999188$A133FF0F-5E09-4624-944D-C9B6A831F813","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":"Q2999188$A6C80219-54A2-41D7-B1B7-AADD7A69ADD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea77b4c1bb55e0624ce32a2460de260e69a4395d","datavalue":{"value":{"entity-type":"item","numeric-id":5034220,"id":"Q5034220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08dda58f9ca11b4d2e5891791294df0eef43b013","datavalue":{"value":{"amount":"+0.7799952626228333","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":"Q2999188$2A380F37-4DB0-400B-9F6D-8B2FFCF85604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d2ab5bc7e4f6e47ce2cfac808d5206f05d7cf4","datavalue":{"value":{"entity-type":"item","numeric-id":4501688,"id":"Q4501688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49c60e4770473980169e10cb00dd93265d496833","datavalue":{"value":{"amount":"+0.7741472125053406","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":"Q2999188$31145C16-0BB1-4B3B-BA47-E611985B2C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b42ea544a6a916eae626034c4c899ad083bf1f","datavalue":{"value":{"entity-type":"item","numeric-id":5015397,"id":"Q5015397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a06b03e0ff4b553679a4998556bda248254e405","datavalue":{"value":{"amount":"+0.7708518505096436","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":"Q2999188$7AED07B5-2A72-498E-BF0D-16C85C65AAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad7cc07acc3c63eff6297c5395fb439db604d030","datavalue":{"value":{"entity-type":"item","numeric-id":2900477,"id":"Q2900477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf5d3881c2e1bc2d7a32fc0652f4d9c15fe6772e","datavalue":{"value":{"amount":"+0.7702662944793701","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":"Q2999188$C5934BBE-B77B-4E79-A13B-60B768CC7364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fff0f5faa194e27cef46a6ed8dea84b9f46e90d","datavalue":{"value":{"entity-type":"item","numeric-id":4738471,"id":"Q4738471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cd5c70720c96c7db0cbc7b23aff84ca831ea9f4","datavalue":{"value":{"amount":"+0.7618349194526672","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":"Q2999188$B6FA4B91-2198-4642-BFAF-58F56A295591","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2999188","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2999188"}}}}}