{"entities":{"Q5055995":{"pageid":7085572,"ns":120,"title":"Item:Q5055995","lastrevid":47786560,"modified":"2026-01-02T16:52:31Z","type":"item","id":"Q5055995","labels":{"en":{"language":"en","value":"Taming Message-Passing Communication in Compositional Reasoning About Confidentiality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631444"}},"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":"Q5055995$81BC1B35-D809-4F3B-81BF-8AB74BE50EA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28e08782f09754e8d505694271945edd7d012c48","datavalue":{"value":{"text":"Taming Message-Passing Communication in Compositional Reasoning About Confidentiality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055995$A32CDA7A-25F8-44F6-935D-A0576391ED03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3eec5d9e0206927b8f460ae104ef453f4defd618","datavalue":{"value":"1503.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055995$1127C18D-CB0B-47A4-B4A0-6F8052EE89AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"977401788e8c54066989f6bfc265504b2c73761f","datavalue":{"value":"10.1007/978-3-319-71237-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055995$C33C9A33-0980-417C-9353-F98C0068D7E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a481b0cbefd70cf303287edb03f873412bc5d3db","datavalue":{"value":{"entity-type":"item","numeric-id":826355,"id":"Q826355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055995$7672B87E-591E-46FC-95FA-92B9B9C04575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f59f2b238bcce2cb167eae8f1644fc8816001400","datavalue":{"value":{"entity-type":"item","numeric-id":681468,"id":"Q681468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055995$8DCC452E-000C-4C59-9ED5-DBA5C5B66185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd73ccad82b56a72992a1a2a1463c1246fbd8b28","datavalue":{"value":{"entity-type":"item","numeric-id":5055994,"id":"Q5055994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055995$A2BC2AD3-FB60-405E-AE54-2BAB8DC1FF1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055995$3E290BAA-962F-4560-8012-48321321812D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055995$57F2C5EB-406C-44A7-9080-E6108F33CAF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055995$6DED1235-9F4C-4304-BE5D-93BBBD82B7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055995$516D4792-5294-4605-B956-B07EF16CA003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055995$629FEDB8-AD13-4030-B802-F2BE6DD49A12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"224502c22bf6631a754c1b5ea157f108f90afeeb","datavalue":{"value":"7631444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055995$06904964-6E69-4A03-8572-D4807FB06AD9","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":"Q5055995$53E0A0AE-2B0C-4359-BF64-30F901E80396","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e79e21a98b6549f9fb74ff1198532a726ce9df3c","datavalue":{"value":"https://doi.org/10.1007/978-3-319-71237-6_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055995$DF37B381-D8EC-49D8-9B4C-5873AE3BB483","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b5603dfb0cff32b3b87d5760f197b375a87c2c6","datavalue":{"value":"W2768224742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055995$0D78B9FC-9E84-4A15-8FE4-1963BB615587","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc5cfe451ac5bee7bc1d074b5dd2080580fb3a58","datavalue":{"value":{"entity-type":"item","numeric-id":3584933,"id":"Q3584933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055995$A170BD63-E0AE-483F-9DAA-3FA895D512B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58740dc78be195735a0178b5f82807d6baa3630","datavalue":{"value":{"entity-type":"item","numeric-id":4798029,"id":"Q4798029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055995$8C11C4AA-D5D9-450E-AA07-0656CFC635CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f325c977c21595a567edfd399ff116dce390cad0","datavalue":{"value":{"entity-type":"item","numeric-id":3956373,"id":"Q3956373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055995$AD4AE098-9A3E-4BDE-85CB-9A65F9F3DC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"618ab20bc755a2294a3fce57d311b20f33c17532","datavalue":{"value":{"entity-type":"item","numeric-id":4518881,"id":"Q4518881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055995$BB180C82-5907-4BC6-85D5-4E8E7112C317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ca75cd59633b8517d6b4af78e4f4c9d0d07742","datavalue":{"value":{"entity-type":"item","numeric-id":5348914,"id":"Q5348914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055995$6C1A3C43-38C6-4826-A570-6C8C2A33D598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9efd3531eb26971f85b05a12f684825f6b7a9352","datavalue":{"value":{"entity-type":"item","numeric-id":2581011,"id":"Q2581011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055995$FBB236EB-261C-49E6-A585-49E96AFC1083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055995$CA3C58FD-7129-45C4-9233-18CEE6EB3AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cbb77be483828269aa3b68c183c9f56e85ed7e7","datavalue":{"value":{"entity-type":"item","numeric-id":5857794,"id":"Q5857794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055995$0FFE9990-8EB1-48C7-84C4-533B509C037D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1f70acfdee709b0717302455b7a30aaeb91463","datavalue":{"value":{"entity-type":"item","numeric-id":5743593,"id":"Q5743593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055995$E03048DF-A7E5-45F3-9CA8-F8F07D44A49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea77639cd291a6e0fa7b547a97ff1252a152c7ac","datavalue":{"value":{"entity-type":"item","numeric-id":2753765,"id":"Q2753765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055995$05C48B87-8A06-417C-B33A-CCDC4A04B7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f8d2b56daf042059a2d07aadd67a82db625366","datavalue":{"value":{"entity-type":"item","numeric-id":3619880,"id":"Q3619880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055995$A2593463-31D2-4EE3-BE9A-767A5450EEF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1eeecd7e788e25b886fea63c40a8df25638bcd8","datavalue":{"value":{"entity-type":"item","numeric-id":4621182,"id":"Q4621182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b49cdbea091ea50fdebf08df3c4792723ce4aa3","datavalue":{"value":{"amount":"+0.7602918148040771","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":"Q5055995$92A27F71-1D63-4DE5-9142-1127BC7155DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d87cace58bdd3081e02b4e5de18d99dba404382","datavalue":{"value":{"entity-type":"item","numeric-id":4411973,"id":"Q4411973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dd95beaa0241f36262c696c2252f1f8c0b2858c","datavalue":{"value":{"amount":"+0.726533055305481","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":"Q5055995$0B4B451A-C271-43E7-8C57-057665052AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a81250ac5a05d5c92a518d9f56e9f51081dd98","datavalue":{"value":{"entity-type":"item","numeric-id":3304803,"id":"Q3304803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dd95beaa0241f36262c696c2252f1f8c0b2858c","datavalue":{"value":{"amount":"+0.726533055305481","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":"Q5055995$BED66557-70C3-40FD-B6EB-3A0C46170280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf1ecb472147dc6572b14b12bb49cd273e4327bb","datavalue":{"value":{"entity-type":"item","numeric-id":3591082,"id":"Q3591082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2763db347e6003d8e14889900f2fd5a4b81ff958","datavalue":{"value":{"amount":"+0.7220777869224548","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":"Q5055995$C7D2CA74-A8A9-4547-A828-030B86846A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecb4d815950bbf45a8092dc69990663e7ba8aa1e","datavalue":{"value":{"entity-type":"item","numeric-id":2938169,"id":"Q2938169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79a48c346db03c868df6e484a821810252bb576e","datavalue":{"value":{"amount":"+0.7185459136962891","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":"Q5055995$849F5DBF-16B3-42BC-9D76-B7FF524588C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055995","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055995"}}}}}