{"entities":{"Q3016942":{"pageid":3027666,"ns":120,"title":"Item:Q3016942","lastrevid":86039825,"modified":"2026-06-03T13:35:46Z","type":"item","id":"Q3016942","labels":{"en":{"language":"en","value":"Completeness of bounded model checking temporal logic of knowledge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5927043"}},"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":"Q3016942$149C3613-147B-41EF-81AE-4FA95153A9CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"acfa2a6210b9a50ff97964f092722659f92f191d","datavalue":{"value":"1240.68423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3016942$6F15919F-CE91-4A45-B8DA-149B66FFE85E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ea53afdff88894d5c203e538184ecad985bed4a","datavalue":{"value":{"entity-type":"item","numeric-id":349639,"id":"Q349639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3016942$E4E8576C-BAE7-4F06-AFFA-28E187256995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5662a35d8651635c42d6f528b00aa654c1941a2b","datavalue":{"value":{"entity-type":"item","numeric-id":3016941,"id":"Q3016941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3016942$11C250D1-D812-4DF8-996F-0B1B5B097CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9e31d03992e21366d0b7f46f330cadfb0a8b75c","datavalue":{"value":{"entity-type":"item","numeric-id":291284,"id":"Q291284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3016942$DE2A298E-8EE7-4F3B-8826-B49EDEB4A820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4f32d92be0b7993f68f726be5f5ad43db6728a1","datavalue":{"value":{"entity-type":"item","numeric-id":352028,"id":"Q352028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3016942$FE6F1F4E-627F-48CD-B152-A67DEE3EC24E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31178e5ce36c889b8693b47a1db458ac7d81a215","datavalue":{"value":{"time":"+2011-07-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":"Q3016942$F17F8030-71E0-4F9C-B8A0-DDFDC1BB33DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3016942$7F190ADD-B04C-4ACB-9585-0C34E1FE38E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3016942$48FC2044-B382-461A-850B-06D6E9708F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3016942$2AFAD172-B766-4B4C-BC1D-F094EA44C31D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92dfaeb9ab527a53d04a2a8b857a88848d42d535","datavalue":{"value":"5927043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3016942$998927A1-CB44-4195-846E-7F9649B38F8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3016942$81753BD9-1430-481B-B596-C1343AFB5561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8fee61d23cb46f9daf1055a85964115dbe5219b","datavalue":{"value":"temporal logics of knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q3016942$FE060189-2F19-4E03-8E50-DB24CACE7668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95e48716f7c9c49b18f034cd03a25b8fa61f6719","datavalue":{"value":"multi-agent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3016942$C471CCBA-8FF6-496F-AEF3-590E922E383A","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":"Q3016942$DB2CB38E-994A-476D-9420-5D16FE68D33C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b3fb68e231adbb74c2f5cf9faec77fee02e163c","datavalue":{"value":{"entity-type":"item","numeric-id":5901905,"id":"Q5901905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c81b958582a0a468b12b45cfe7892caf214d2b7","datavalue":{"value":{"amount":"+0.820564329624176","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":"Q3016942$F2197A46-52AA-4ECF-BCC1-36073C82FDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fedad35241e8495bb7aa570aa3d36d5af21943a","datavalue":{"value":{"entity-type":"item","numeric-id":3088266,"id":"Q3088266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d348f81e81b9fb3f677ea6552a74a3c819baf580","datavalue":{"value":{"amount":"+0.8107670545578003","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":"Q3016942$B0B64DE7-2F18-44F9-A31C-9F79924422A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81db03108f55b5c2a95843c21b27b90796aad272","datavalue":{"value":{"entity-type":"item","numeric-id":2986792,"id":"Q2986792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"387eab71c775fd5969f402253c17e9b307c5ee24","datavalue":{"value":{"amount":"+0.7959124445915222","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":"Q3016942$5844224C-EFAF-4874-A0B3-7EBAB54B3BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6d32d018e6f0dd0c8af913c953da8d78c3e4dd1","datavalue":{"value":{"entity-type":"item","numeric-id":3003427,"id":"Q3003427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f51a0049fda7c1b38aa0bca5e59c08d998db4d2","datavalue":{"value":{"amount":"+0.7907283902168274","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":"Q3016942$7FE70B6B-ED40-470E-86E8-09C0C6DB29CF","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":"6c94927eecd962a7122c3e93d0d9d0b3a1ccf75a","datavalue":{"value":{"amount":"+0.7784624099731445","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":"Q3016942$A1AA0F2A-C0C9-4771-9AF0-6EBDA246643F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness of bounded model checking temporal logic of knowledge","badges":[]}}}}}