{"entities":{"Q2999187":{"pageid":3009911,"ns":120,"title":"Item:Q2999187","lastrevid":51242543,"modified":"2026-01-17T10:11:28Z","type":"item","id":"Q2999187","labels":{"en":{"language":"en","value":"Parallel model checking for temporal epistemic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5887285"}},"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":"Q2999187$E68985F9-CC55-468A-A446-206D91167EC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23ebf529f7ace3a932508c48ca3bc7cfb00860c1","datavalue":{"value":"1211.68406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999187$73CF7A99-29B3-4ABF-AD09-3DFFC8444E6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8555167f5c22504bf1c0562939c9d3f550861c5a","datavalue":{"value":"10.3233/978-1-60750-606-5-543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999187$C8C3C96D-D47F-4F95-BBB9-5A8CAD697DD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999187$C9FAB31F-81BB-45DF-8B2D-F3EB08B14075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45ff5eb95cd0f47a5dcbb6509988939501b112b5","datavalue":{"value":{"entity-type":"item","numeric-id":598544,"id":"Q598544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999187$F4A384D2-27F1-4459-9A31-8D09BBB662EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e4b7b7694de42580b828c1d9702cbdf9a379289","datavalue":{"value":{"entity-type":"item","numeric-id":947795,"id":"Q947795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999187$D78F77B1-28D5-4C29-B8BA-6E669A39E1BD","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":"Q2999187$7EFE63F7-144D-4CFB-B772-43BAEED06654","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999187$70754BDF-C275-46BE-8C54-64A2E23FC8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999187$8A678E23-20A0-477F-A771-77E1ADFF7B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999187$516FA77F-6CC4-4F14-A4AD-85A1BEB0C15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999187$9DE7CCE5-D8AC-4258-88A9-B2BD65703463","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e96baadea43659f222c9652e24fcab79ad3e529","datavalue":{"value":"5887285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999187$FBC4CA70-644F-41D2-8789-6E1E39322F2F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999187$D1A0B84E-7881-4339-A2FD-F0CD41926716","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":"Q2999187$2C3E62F1-A7C9-43FD-AEA7-EA4860430F3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8e55bb5af3c4c87158030d0505f4a3d6ad9a3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3117554,"id":"Q3117554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c33fd8a9225597b50eb98aaf200e6c74b08bbfc8","datavalue":{"value":{"amount":"+0.8563122153282166","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":"Q2999187$1A455716-AB8D-4103-8B55-D50B0F5891B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb3cc3b923a243e5132724001aaad3d3f1e99747","datavalue":{"value":{"entity-type":"item","numeric-id":3431037,"id":"Q3431037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2948d4e4d6d801070710a99e67a72ca776d7eaf8","datavalue":{"value":{"amount":"+0.8438138961791992","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":"Q2999187$7D18016E-580A-4601-88EE-CC18FFAEABFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32daf514979af1f778551e6855a9ad222281e837","datavalue":{"value":{"entity-type":"item","numeric-id":4681373,"id":"Q4681373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4fa4fa9691aa94e998f2a154afcee18910e2b7c","datavalue":{"value":{"amount":"+0.8416949510574341","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":"Q2999187$E4C4BFD2-42AE-4F78-8469-02E9FDFC84AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8c88fc88017b1933597c6ff2f82fe88701ca24","datavalue":{"value":{"entity-type":"item","numeric-id":4461756,"id":"Q4461756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccda49c5610582ea300bc8f7822a41d35d4b1a80","datavalue":{"value":{"amount":"+0.8367171883583069","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":"Q2999187$4AFA105D-7679-49B2-80E8-0EAC668B9443","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":"c74271b0430e337d663e96638069326f88554873","datavalue":{"value":{"amount":"+0.8327122926712036","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":"Q2999187$ABEAF264-E410-4F1D-A3C5-11C9CE1D124F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2999187","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2999187"}}}}}