{"entities":{"Q3321441":{"pageid":3332149,"ns":120,"title":"Item:Q3321441","lastrevid":48696460,"modified":"2026-01-05T15:42:07Z","type":"item","id":"Q3321441","labels":{"en":{"language":"en","value":"Using message passing for distributed programming:  proof rules and disciplines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3852409"}},"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":"Q3321441$DCE9FF04-59E7-4050-B237-A38639AC2E71","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90123734d31819602157083f05e1e9242fda8a38","datavalue":{"value":{"text":"Using message passing for distributed programming:  proof rules and disciplines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3321441$9547A396-9C93-496F-BA89-F00B0ECD1559","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9e24e375f1562075a633baa3fb491e5fb92692f","datavalue":{"value":"0536.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3321441$1A2C78F6-F18C-4B3E-84EB-8503DCFBCE1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"582fb3ef7b5deada76ed1d2bb82118dc4e07e900","datavalue":{"value":"10.1145/579.583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3321441$D9AAFDD1-6E3E-4150-A9D5-16C5470DB9BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bebf85f31bf15f104eacc79a213bebd94f7e19b7","datavalue":{"value":{"entity-type":"item","numeric-id":790608,"id":"Q790608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3321441$EFCDF89D-03EF-4FB2-8A81-A770BA49395F","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":"Q3321441$D09E94F9-9DEA-481B-A261-AB5A8AA8CF66","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3321441$5A59FD3F-4834-43E9-9447-CAAAB47B7E33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3321441$0E174BCF-5802-4E64-9EEB-1258A4951828","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3321441$3977D2DF-DE80-451F-88CE-55F700E52688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3321441$1EC29787-9580-41D7-8200-08FBCE736383","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"016766a9f5c8965fd727e465ba5df2e6c68d2498","datavalue":{"value":"3852409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3321441$A4471C93-3B20-49D1-A4F3-1A422DCA6941","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca6327efb9c3293e0bde252662bbb9fee14ad6f7","datavalue":{"value":"satisfaction proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321441$C94EDC99-5D24-42AA-9470-4DC98D337ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55389b8ca4ef2719b48338b6d1d9e2f463c303a8","datavalue":{"value":"unreliable datagram service","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321441$819D9D4C-D413-4D99-BD8E-5376EC4D3BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4e7de9327e11e8e9cc9254cde668d8b80d801","datavalue":{"value":"reliable virtual circuit service, remote procedure call","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321441$8A771A47-1278-4BFB-AD04-BBFF1229A58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b41de1c681beec4e4ffafaed82002ccc67f36a98","datavalue":{"value":"rendezvous","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321441$4C67259F-3810-406C-B740-6062230CEBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2c89eb206c190a0989254511d0b0c632c5e95cc","datavalue":{"value":"partial correctness of concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321441$473B34E0-4AB4-412F-8823-6B8E991EF07C","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":"Q3321441$400EFB3E-463B-4398-BF8E-081BCB52486D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec5012e57ebace2d822f87275427df63cdfb7015","datavalue":{"value":"https://doi.org/10.1145/579.583","type":"string"},"datatype":"url"},"type":"statement","id":"Q3321441$4546CC2B-2700-491A-AAA6-76BB7D81D63E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"facfb78da521b0ef3eb0527bb5ec5c6b3b69c9e0","datavalue":{"value":"W2160098227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3321441$2DB8BB44-EEAD-4F0F-83B3-9CF1AF8AB4BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"def72f32b54cd209d9c8d1e27983a6d9a6a88914","datavalue":{"value":{"entity-type":"item","numeric-id":3678654,"id":"Q3678654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c48d0c90a012bed73ece5d791311ca45187b31e5","datavalue":{"value":{"amount":"+0.8018203973770142","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":"Q3321441$EC8BE36C-56D9-4AF4-BAF1-A1C760E636A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86c5d0df6fe669a15d6b97018db584c41fd2f339","datavalue":{"value":{"entity-type":"item","numeric-id":3343421,"id":"Q3343421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90707aba13ac953bd5e2275de2b122c502b0ac76","datavalue":{"value":{"amount":"+0.7838029861450195","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":"Q3321441$F4888464-AF24-4EF4-9FDA-3DB5D97F366F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0858596335dd9b5a37f9042971ac2431298c3c9f","datavalue":{"value":{"entity-type":"item","numeric-id":4723289,"id":"Q4723289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4899112039e49e8b67f953d99f35fa4a4905887b","datavalue":{"value":{"amount":"+0.7498911023139954","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":"Q3321441$635F82D8-BA0C-48DA-8F73-21D7ED9008BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee4294e71cb3b66235c64fdb14d02d42c0ec26b","datavalue":{"value":{"entity-type":"item","numeric-id":4560363,"id":"Q4560363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68286b1765aa11b9cef17a4100943430938a7e93","datavalue":{"value":{"amount":"+0.7460785508155823","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":"Q3321441$139A7BDE-D3BC-4E62-84B6-D02F0DCF02DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b9e26ade5b17f925b40386334e9b06436a14a58","datavalue":{"value":{"entity-type":"item","numeric-id":1893537,"id":"Q1893537"},"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":"Q3321441$CF127ABB-353C-43F0-96F7-34515E7B5D64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3321441","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3321441"}}}}}