{"entities":{"Q4621182":{"pageid":6650765,"ns":120,"title":"Item:Q4621182","lastrevid":53349968,"modified":"2026-01-24T19:12:21Z","type":"item","id":"Q4621182","labels":{"en":{"language":"en","value":"Rely-guarantee based reasoning for message-passing programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7020178"}},"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":"Q4621182$26DDF549-30C9-4E7F-AED3-E56883DCBBD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f260f87038ffa2f50cbe7daa79ea45c2bab48d74","datavalue":{"value":{"text":"Rely-Guarantee Based Reasoning for Message-Passing Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4621182$47F62DCB-FA9C-4F28-95BA-B1F98574509E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"faa881e8c887893f4812b2ee25fc8734d4c00846","datavalue":{"value":"1424.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621182$B8087F69-D4EB-44A0-9E84-70CC88C0F1A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6a7d0c9379800c160b811837b0760fdb70459cb","datavalue":{"value":"10.7561/SACS.2014.2.217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621182$66BE7876-43EE-4EEA-B715-0B5074FB4959","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9df359f82c41b187eaf3396417236c6941eaf05","datavalue":{"value":{"entity-type":"item","numeric-id":2938168,"id":"Q2938168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621182$AD3E94A7-CCA1-48A8-B253-F47087B87060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f517d14bf81fc5c975a27173e36d40711986509","datavalue":{"value":{"entity-type":"item","numeric-id":1303400,"id":"Q1303400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621182$C9AF67F2-1641-4768-97F8-227DFBBC7F78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28f1c5b29888d205254bb73c58fdc8777ff4112f","datavalue":{"value":{"entity-type":"item","numeric-id":4621157,"id":"Q4621157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621182$3B53A29A-F4E5-4F17-8590-3007F9DE772D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32a6dc046c0aa99508538df457dbadf7aa620337","datavalue":{"value":{"time":"+2019-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4621182$96C64E3C-EC41-4777-B4BC-2F226252AF1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621182$896823C4-897F-4AEF-ADAB-CD1814420B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621182$5ECE720D-7A7B-4F02-BCF8-497D293A677F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621182$5196F84D-4890-4DF5-94C7-E9DEDBD314B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621182$A696BB3A-AC76-42A8-ABFC-EC09FDED5429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621182$E36A6115-5C8E-4651-ADDE-FCDFF7EF0CCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58724167cdf850198de7ba95fbbf0ac7d2cca082","datavalue":{"value":"7020178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621182$A08C916B-601D-4B47-9B49-1575C393D597","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9f76983631ce055ac17bdfc33897c5e163bdfa","datavalue":{"value":"trace semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621182$AF60CA88-7500-44B5-BFA4-F6732A2690B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"142ad176b509766fc626fc5ad6b3d60ce7604d3c","datavalue":{"value":"message-passing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621182$7754AD46-6E98-46AE-B1AA-5A797E16C84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7304181fde15f2ff08bea8b954e64f699bd5523","datavalue":{"value":"rely-guarantee","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621182$BA28433F-2F69-4E78-B37D-745677B053B3","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":"Q4621182$CC9CC0B7-3898-4C5E-8825-08FD37F34016","rank":"normal"}],"P1643":[{"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":"2b91fd5a4c45264bc7ad82c62b2c04b7c04b7e7d","datavalue":{"value":{"amount":"+0.8911689519882202","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":"Q4621182$862FFF2E-4AA5-441E-9463-D4A3050561EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99948634930667bfb6d949f7c294f287b4b03279","datavalue":{"value":{"entity-type":"item","numeric-id":5261529,"id":"Q5261529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a174e54b66a563b6270737781549a2326b31c576","datavalue":{"value":{"amount":"+0.7768688201904297","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":"Q4621182$2A690950-27F2-4D1D-9FB4-6627E1040158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52c5ca303cad3ca0f33a19751573069bcd3e2843","datavalue":{"value":{"entity-type":"item","numeric-id":5055995,"id":"Q5055995"},"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":"Q4621182$5EC5E626-8B08-4728-B150-D65701AB0583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6e48e24673887f962fddb8f1ea7a58ab23695a6","datavalue":{"value":{"entity-type":"item","numeric-id":5357725,"id":"Q5357725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b884a35b913bdf681771f79133da5c3b3c7b14f","datavalue":{"value":{"amount":"+0.760000467300415","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":"Q4621182$53782FBB-586C-4078-B1BC-14591FDAAB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b66f61bd715d58785baf7d2c51daa7fb1fc5e08b","datavalue":{"value":{"entity-type":"item","numeric-id":3224673,"id":"Q3224673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d34b94ee3adaaadba7d5bdc19993966dd5f0546d","datavalue":{"value":{"amount":"+0.7407000064849854","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":"Q4621182$F0C6A1BF-6592-4118-8C5B-953C0409BE9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4621182","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4621182"}}}}}