{"entities":{"Q3431037":{"pageid":3441740,"ns":120,"title":"Item:Q3431037","lastrevid":50068129,"modified":"2026-01-12T21:01:26Z","type":"item","id":"Q3431037","labels":{"en":{"language":"en","value":"Bounded model checking for temporal epistemic logic in synchronous multi-agent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5140728"}},"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":"Q3431037$570584D3-A1B9-4AC3-AB53-2646E09496F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32f039fe174a7fba0307f4382c56e8eea5d03864","datavalue":{"value":"1116.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431037$A77F16A1-B862-49B0-81C7-4D5AB05CEEB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bff553a3ac43217271ca5c0fb79f12d720e3741e","datavalue":{"value":{"entity-type":"item","numeric-id":543198,"id":"Q543198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431037$50350F95-4F4A-4E78-BD6E-7FBD14C7819E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9067f8663bc4535221a064e05e63cdbfbb8b607","datavalue":{"value":{"entity-type":"item","numeric-id":238000,"id":"Q238000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431037$3782DC66-E5D6-4786-B038-E4BD84851866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fea80d57a6fd253ed63b48d58daa3a6b0ea0ebe3","datavalue":{"value":{"entity-type":"item","numeric-id":925519,"id":"Q925519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431037$E60D7E37-7486-4447-8843-CC121156B9D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c8fceed86d55ae63a2da79be40131d27662eeb","datavalue":{"value":{"time":"+2007-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3431037$96BF1AC6-1883-41B5-AD49-24555F0F8D82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"755047327d319e17a1c3900f4548d0e19d56b955","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.574.8801","type":"string"},"datatype":"url"},"type":"statement","id":"Q3431037$8857F15A-A4A0-4871-A468-6B51974AAB15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431037$55825B7C-E6A5-473A-8172-38D0450B741C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431037$6A38E330-BCA4-439B-84F7-9E9179828F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431037$20B6722E-6E20-48F4-ABF3-4B08328153D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6e317082eb060a59823b8db86b4d35b5cd4e41e","datavalue":{"value":"5140728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431037$1008C935-6C00-4635-A245-433F33D6F982","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":"Q3431037$8C6B7CAA-AFB1-4A2A-8AE4-6F24917F5AE7","rank":"normal"}],"P1643":[{"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":"68a836999ff96cf111390d583b2bf954b6de508d","datavalue":{"value":{"amount":"+0.8865384459495544","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":"Q3431037$AE1A4665-5D9D-4967-952E-6BCC775D46D9","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":"c630743e07f4439babd1b48d539a1f8059869fe0","datavalue":{"value":{"amount":"+0.8561702966690063","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":"Q3431037$C6DCC77B-CB1B-439D-B8AD-C85C07E25D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f0b859403b42a1d9608c5262d98694c520edb22","datavalue":{"value":{"entity-type":"item","numeric-id":5302000,"id":"Q5302000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81c7c05d8555c870369b86a51245cb8b9e736074","datavalue":{"value":{"amount":"+0.8526607155799866","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":"Q3431037$2B0D51F0-F9CE-40F7-AA8C-870BA050BFA1","rank":"normal"},{"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":"94aeddbd5a379f84a21094cc9eb19b2d1a6cd416","datavalue":{"value":{"amount":"+0.8469812273979187","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":"Q3431037$3F79ADEC-8B31-41C6-B5B7-2A489C6C5A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e0fea26e1bd734d3d0b4a3149161ae01bb969fe","datavalue":{"value":{"entity-type":"item","numeric-id":2999187,"id":"Q2999187"},"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":"Q3431037$43125D27-E197-47C0-AA30-0A1CB74C5D7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3431037","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3431037"}}}}}