{"entities":{"Q3119277":{"pageid":3129993,"ns":120,"title":"Item:Q3119277","lastrevid":53378873,"modified":"2026-01-24T20:40:56Z","type":"item","id":"Q3119277","labels":{"en":{"language":"en","value":"Model checking for coalition announcement logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7034355"}},"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":"Q3119277$6CBA55C0-A355-4477-933E-ECB1B2E226CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d07262f9145c9f33cec46fb2f9c2ee0b1c0c14b0","datavalue":{"value":{"text":"Model checking for coalition announcement logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3119277$24F56D05-3DCC-4DCE-B587-8086CCFA7A74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01f63a72b58310569d4fafd2ab491b5ab82e37cd","datavalue":{"value":"1431.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119277$60FEA816-0860-4578-946F-DD4613A91EFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f01b3aca00e19ac0a87b4e1709a8c651800597f","datavalue":{"value":"10.21146/2074-1472-2018-24-2-59-69","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119277$DFCB30A0-ECBD-47A3-9D9B-22B491CB7A9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d06b9d3e98376955f4f1468110c0445691894ccd","datavalue":{"value":{"entity-type":"item","numeric-id":208223,"id":"Q208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3119277$8BB7071F-F8D6-42D8-8D6B-A0737D789CCD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"419a39ba736b850fef44044ed2847be5eb6b6cc4","datavalue":{"value":{"entity-type":"item","numeric-id":2981227,"id":"Q2981227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3119277$525C2313-BDA2-4BAD-AA7E-A84ECAB39627","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40f1e50024e8819cb0b85124b28367c18d16eca6","datavalue":{"value":{"time":"+2019-03-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":"Q3119277$08A91CC6-52D0-4B76-B3D8-57A6F8185367","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119277$9F3F5098-5051-4542-9608-F865F06BA4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119277$B0ACCC91-5DA3-4D5F-89DF-DA37552AE0EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2864f53e1f7d0903d9e52aee6764419fef35a063","datavalue":{"value":"7034355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119277$819CAF00-533E-4CE3-80D4-B9C3326374D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119277$3C8443C3-CBCE-4B66-B1EE-2F44F4ABE28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87b5a73d2eecbd01b119918d684435600d817527","datavalue":{"value":"public announcement logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119277$9D2F91C6-D97A-47B9-B154-D9DE159A54F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1be4f93414403af3291293c7853ac8a823634508","datavalue":{"value":"coalition announcement logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119277$9181A096-B7AF-4F49-B434-BB1068BAAA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3542963eb421bb6af1e8ecde3c4376be009ba28","datavalue":{"value":"model checking algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119277$46AFDF29-1EC2-49FE-9B48-0EFA2DAD89F9","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":"Q3119277$8FA7BA4E-987E-4041-991D-CB7921BDD00A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"facb3aded460bd4e4e86eeefc7d8e91b5290e7ec","datavalue":{"value":"https://doi.org/10.21146/2074-1472-2018-24-2-59-69","type":"string"},"datatype":"url"},"type":"statement","id":"Q3119277$AF6BF5B3-DF3C-45E7-8445-422F99660E1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a138b6ed4b29d2f69af38f5a87a1a1f4b49d85e6","datavalue":{"value":"W2980233873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119277$3E35CA1D-BC7F-4D4E-963E-0DF8B3F2AB03","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"06161ed0e8ac92999e5090ffdf23326d2eba751b","datavalue":{"value":"Q128493908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119277$14252C82-92EE-45C9-8AE3-7B306EF84FC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d46e0f5b5cbfa703ce500b7cf0d9f5d9ef2b09","datavalue":{"value":{"entity-type":"item","numeric-id":6488076,"id":"Q6488076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1410f0b6bae1801c0d14ba17e12aea6c9960b079","datavalue":{"value":{"amount":"+0.902349889278412","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":"Q3119277$FCBA9ADF-681E-4B6D-B587-9CC1A8AF755D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32b930d5f7ec57060e75851770c58872ffce8765","datavalue":{"value":{"entity-type":"item","numeric-id":2071573,"id":"Q2071573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc3a3bdc6c1f187b3991861d79123690560533b4","datavalue":{"value":{"amount":"+0.8647005558013916","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":"Q3119277$4A297271-8D06-4F93-901C-042FB2FEE53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8203d66117790ac8bc47626c34e2daeb576fd7","datavalue":{"value":{"entity-type":"item","numeric-id":975877,"id":"Q975877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19d5616d834377e71c919fd87e3326b0b27444cf","datavalue":{"value":{"amount":"+0.8408355712890625","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":"Q3119277$0F25DC0D-D40D-4911-9718-DAE6F79C99C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4933b8619f17ad97b3374f1e17d4fe544488f6f","datavalue":{"value":{"entity-type":"item","numeric-id":2236503,"id":"Q2236503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28edae1201cd589b380ea3a7aa3a4545d4f34221","datavalue":{"value":{"amount":"+0.8009026050567627","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":"Q3119277$33754DF2-73DC-48D9-9EF5-195AC2E36E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71e2ffe298ccfb1d9d4a70c5119f4a12c8b655fc","datavalue":{"value":{"entity-type":"item","numeric-id":3406684,"id":"Q3406684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a57d0a592d8683c67fc0d9a1fd302a98ec99c9f","datavalue":{"value":{"amount":"+0.7981002330780029","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":"Q3119277$63111DD0-AD9E-4C0F-B01A-321C8549E79D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3119277","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3119277"}}}}}