{"entities":{"Q5216337":{"pageid":7245907,"ns":120,"title":"Item:Q5216337","lastrevid":41225878,"modified":"2025-04-21T14:45:44Z","type":"item","id":"Q5216337","labels":{"en":{"language":"en","value":"Symbolic model checking of public announcement protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7168181"}},"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":"Q5216337$B9F06A95-66DD-41E9-A317-1830196E2762","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09b1ed31c59873b140f5775297cbe1a231e6969a","datavalue":{"value":{"text":"Symbolic model checking of public announcement protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5216337$5A7A7CD2-0342-4F3F-BF59-AE74C76394D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80317ab3dd492cf8213d6c714b9cff3864fa89ca","datavalue":{"value":"1446.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216337$8C6EAD7E-80F4-4B6E-9695-9E0E5B0F4729","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ddb88c9cfbba2d25c47ccabdfad0e2df18bb16f","datavalue":{"value":{"entity-type":"item","numeric-id":1742626,"id":"Q1742626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216337$8147D9B8-F53E-4B55-A180-0374263E9A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a12d2defd50916b97ca1549377618bc805a4e9be","datavalue":{"value":{"entity-type":"item","numeric-id":476193,"id":"Q476193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216337$8BCB5AFE-BA93-439F-8335-03FB01B6245F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa3ef14ff1cf746521ac49865650a6a5916aaf29","datavalue":{"value":{"entity-type":"item","numeric-id":302224,"id":"Q302224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216337$8724CD8D-5BAA-4EEC-B902-70379850B890","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a7c9d6c0100675744974eb3bd7cd696e575460ae","datavalue":{"value":{"time":"+2020-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5216337$7BAFF5E3-F0E0-4D85-ACA1-7BF594EE9B84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216337$3E427302-DA0F-4740-AD07-FDA15ABBA7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216337$9D34D27A-A2B6-4F33-A5AD-4C2C54D27190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216337$180F2915-CFE9-4798-8A8C-81871DAAC8A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa9ff1cd6a9673eee96528e6080bb09ec26e15e0","datavalue":{"value":"7168181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216337$26484BCC-2CBC-4AA9-AAF2-A08C6E4BF125","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216337$ABF9ED3F-B00B-4AB7-BBFA-8F5E5334F9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216337$F9D84936-0AC3-4EFA-A6D2-896880D5F949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5758ebfc045dbc93641321bc316b17ba20d2ea77","datavalue":{"value":"symbolic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216337$9149B309-DFA3-4AA5-B33F-0EB60BFFE32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c379407893dd7dec7973e5cf4df22c2d7edf944","datavalue":{"value":"arbitrary public announcements","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216337$0B24DEB0-5830-421F-AA1F-44207767274D","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":"Q5216337$91B60824-344F-4958-97B0-8D665BCF49E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78a0383fad169be05da3de3b4e7918469fca043c","datavalue":{"value":"https://doi.org/10.1093/logcom/exz023","type":"string"},"datatype":"url"},"type":"statement","id":"Q5216337$5AFEF25E-8773-4DA8-B847-EE9C758CE0FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23b80eb38e1895ab021e6f7cda79ecaca892ae0e","datavalue":{"value":"W2995400951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216337$386064E5-9B42-471A-AD53-A45A56E93CCF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e81d85a0bbdbafb70a480a341e58d2ac614a2153","datavalue":{"value":"Q127320912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216337$A940859F-81A4-46E9-9EC4-A9300C09A84A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fce12d295741a4fbb98ccdfbe80fc900003a3590","datavalue":{"value":"10.1093/LOGCOM/EXZ023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216337$71531633-58BD-408D-BB13-29916BDDE905","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216337$02338766-EB20-4439-AD3B-7D5EFF3FAD8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f926ad9f8829debbd7a43dc393730f177621549","datavalue":{"value":{"entity-type":"item","numeric-id":2999248,"id":"Q2999248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"237938edb4d17574a048c09455544c02cebb4d71","datavalue":{"value":{"amount":"+0.88159114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216337$6BC07E80-ED1F-4C61-A94B-EA9BF1CEF438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18426171ee096c57ba711811f44202b69bc28e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4503923,"id":"Q4503923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cfdb366d511e50b2fb0b06ee131c7d06942801d","datavalue":{"value":{"amount":"+0.8735503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216337$F56627D0-5ACE-4DDA-BD55-0906357E0FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d747875a068aba8ec335b66bb1c40a2211d7ce64","datavalue":{"value":{"entity-type":"item","numeric-id":4217928,"id":"Q4217928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e960a15cb09f698ebaab1e321a92bdb68cc64d9","datavalue":{"value":{"amount":"+0.86784726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216337$03ACA03F-A020-4742-8326-FD85D6B1FFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb7ec3a92630700a9437b9bdcc180f98b75856e6","datavalue":{"value":{"entity-type":"item","numeric-id":1595250,"id":"Q1595250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e960a15cb09f698ebaab1e321a92bdb68cc64d9","datavalue":{"value":{"amount":"+0.86784726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216337$ADC6C603-850F-4D01-8D95-5D22F9013EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dcfa935a298f514cf1246c5808b9bbf816a89f4","datavalue":{"value":{"entity-type":"item","numeric-id":3192219,"id":"Q3192219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d513dc552d4f84dafb913506558ed20e4126eea3","datavalue":{"value":{"amount":"+0.86688685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216337$77039DF1-7EA2-4361-9649-1BC7A943AA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0620f29deb23139d8e1e5acda907a3739f84f1fc","datavalue":{"value":{"entity-type":"item","numeric-id":3003428,"id":"Q3003428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ca75f081c0dd6156caed1699cb55eb82bdb31a7","datavalue":{"value":{"amount":"+0.8663007","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216337$FD5A6F7C-FBA1-4AF3-8CB2-333B2FD896C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ac3ed4b9dcd42e3112c1c51d9cea4b5d248e1c3","datavalue":{"value":{"entity-type":"item","numeric-id":3176389,"id":"Q3176389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bac54d81b4dc1a1f255fcabd494d9b88adf7b4f","datavalue":{"value":{"amount":"+0.86477536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216337$76B71300-7879-4A68-9E1C-F188D43965B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5216337","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5216337"}}}}}