{"entities":{"Q1893537":{"pageid":1904279,"ns":120,"title":"Item:Q1893537","lastrevid":71707236,"modified":"2026-04-14T00:01:27Z","type":"item","id":"Q1893537","labels":{"en":{"language":"en","value":"Verifying programs that use causally-ordered message-passing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 770312"}},"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":"Q1893537$D29EB74F-62A4-4D3F-956E-5255B59B98C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a043568746e1bb201f3f43d018e192fa8f049efd","datavalue":{"value":{"text":"Verifying programs that use causally-ordered message-passing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1893537$FE0E7B38-4673-40BD-B557-9B574F9EFD6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7b359c2ac53407bf959fe50d49c9e380befd2b9","datavalue":{"value":"0828.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893537$4228C086-9080-417B-B846-6E3AC570D4F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1fd6234a6ffbf2b36ef8aa3d450667b1b303482f","datavalue":{"value":"10.1016/0167-6423(95)00002-A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893537$D2CD7340-6544-4ABA-BB8D-C95CEBE7CFF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3da61283bc619ce05497e026ce692668aa52c393","datavalue":{"value":{"entity-type":"item","numeric-id":216152,"id":"Q216152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893537$D6879914-8513-4B1F-AC66-08EA653867AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d2194a72287987c2fdd62e01e933a3ba2db5d50","datavalue":{"value":{"entity-type":"item","numeric-id":431789,"id":"Q431789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893537$1646BBF7-2A05-4DA1-A6CC-313D011E0889","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893537$2DB3CEF6-D5D8-4083-A6EE-C8264E180FD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32b1e01516814df9991ebecbf369f5ef3986c67f","datavalue":{"value":{"time":"+1995-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1893537$EFFA7563-3728-4D39-9526-3BCB2B7ABA38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893537$A265BCBE-D03A-4A2F-9855-23C2387A908C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b137dff2c9431ed88a9c7de217e220fb57146985","datavalue":{"value":"770312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893537$8B3BCF37-C308-40B4-A422-1338209731C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93362e023553648aaab72414e1716c418e057aae","datavalue":{"value":"Hoare-style proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893537$A908FEF2-09D5-45E5-B99F-570BC529AB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39a334b5ec66f1869b19c2c2fc4dc43dc073d753","datavalue":{"value":"causally-ordered delivery","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893537$AF49E984-0221-4B7A-A157-DEE6FA28F02C","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":"Q1893537$E2B76AB4-6508-4B17-9B18-820410F27852","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ceb9a80a0a47136d7c19b80c4c3f5005be36c91","datavalue":{"value":{"entity-type":"item","numeric-id":5137015,"id":"Q5137015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db1963897237561c6230f32d6cfe7e3a85f7bfdb","datavalue":{"value":{"amount":"+0.7715976238250732","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":"Q1893537$4FCE7139-D14D-4587-AE36-7464AC4433F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53dbad58ef6d966cd250e986cd4236bc15c2be53","datavalue":{"value":{"entity-type":"item","numeric-id":678251,"id":"Q678251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42cdc67d4b4557578fa0784df9423be2cbf5fc5e","datavalue":{"value":{"amount":"+0.7709463238716125","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":"Q1893537$A92ABCDD-E711-4ACA-806A-DFD9365CC83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a3e0f555dee952d78bb191aa8fe4462ddae3a18","datavalue":{"value":{"entity-type":"item","numeric-id":3321441,"id":"Q3321441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f84faa5c7d1b1edaa07b03cd4b2c3377f1a85b33","datavalue":{"value":{"amount":"+0.7455636858940125","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":"Q1893537$ECF9CD69-EADA-49BE-B2AD-169670D08DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9443f1ab0cc28228bd6d909074fce43f1be9a9cd","datavalue":{"value":{"entity-type":"item","numeric-id":1183422,"id":"Q1183422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27e21c9877cf7405262fc7c6997acf9fedf2673e","datavalue":{"value":{"amount":"+0.7263699173927307","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":"Q1893537$4EDB6D9B-F404-4244-9811-F8008214DAF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying programs that use causally-ordered message-passing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_programs_that_use_causally-ordered_message-passing"}}}}}