{"entities":{"Q3564023":{"pageid":5593927,"ns":120,"title":"Item:Q3564023","lastrevid":51000356,"modified":"2026-01-16T03:51:21Z","type":"item","id":"Q3564023","labels":{"en":{"language":"en","value":"Verifiable design of asynchronous software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5715355"}},"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":"Q3564023$A85F8DC7-E97E-48F9-A55D-29DC5AA0B12D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db902d6d757cec0d555025d62f9483e5fdd30100","datavalue":{"value":{"text":"Verifiable Design of Asynchronous Software","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3564023$985FC335-C8BD-445A-A15A-DF943707DC25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc0f4a0081cf590aefc60bcce3e3bd7e4b525587","datavalue":{"value":"1214.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564023$E460A864-7DD8-4D52-B8B6-F1E80BBBCE1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"631efc43e6cbbaddac4c341af8799ad65428dbfc","datavalue":{"value":"10.1007/978-1-4020-6254-4_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564023$CEA49ACF-B358-464B-ADDC-C00865DC4450","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8423c21ab23d53b33c68543ef623cb8bd2c28d4","datavalue":{"value":{"entity-type":"item","numeric-id":3511225,"id":"Q3511225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564023$388653DD-B581-480F-B213-4FFA0D38DE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"695f38489b2c9853ab30f7f1d4b376848dfbe8ff","datavalue":{"value":{"entity-type":"item","numeric-id":3522061,"id":"Q3522061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564023$90630D09-0EFD-41DF-910F-3BA1F92C86C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4385e444a7ff62cc3d4cd7752f8e1b73e0dae893","datavalue":{"value":{"entity-type":"item","numeric-id":3564022,"id":"Q3564022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564023$3B24CD13-57B6-40A0-BFBA-BC571E0A82DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1680139912b893dbf24793a201b57f8a0fbf4194","datavalue":{"value":{"entity-type":"item","numeric-id":765512,"id":"Q765512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564023$52D58591-4092-4AA2-9246-98029D182926","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0d9b736323840be59c9483c610131b93c4ace334","datavalue":{"value":{"entity-type":"item","numeric-id":3564010,"id":"Q3564010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564023$07A57334-1364-4892-9EE9-F9E33067C401","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d839b5eef1bcdf95ed84bc93ea6b8a9df9f4c28","datavalue":{"value":{"time":"+2010-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3564023$54D28A64-0CCC-447E-B915-D90D9A84690E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564023$535E7715-79F7-4662-9F04-9DD71173A5F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eaab1a3c938f102fcfec20d96a21f8b5ba06266e","datavalue":{"value":"5715355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564023$FEECED43-31A9-41BB-8594-B08BDCBA3C16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9400ca8686c97ef13e0f2b443bc36b40cbc55f8c","datavalue":{"value":"CLARITY","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564023$FA591484-D6B7-4A1E-90EE-298B55697049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3da94d4b5cce65d1e2d94294c49ac16863cfe999","datavalue":{"value":"asynchronous software","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564023$F1610A2B-5E65-46F9-B6D2-C91FA8AD3F08","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":"Q3564023$4FE7499D-BF53-4BFA-BD02-62078E1E045D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9735f577fef7b46358cf8c9bece905e9f9ee201e","datavalue":{"value":"https://doi.org/10.1007/978-1-4020-6254-4_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3564023$D3F595BB-33AC-4B11-B442-A803CBA53F1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"366411c753b0a934ec22c68159ae7f12e9fa4cd9","datavalue":{"value":"W40007321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564023$4EBD4675-0205-4978-AAFE-E8D845DE7682","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d25d71a9f028e34771ce103694a0c3c98dbf25a3","datavalue":{"value":{"entity-type":"item","numeric-id":5009435,"id":"Q5009435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c756a049a3eb9149f6e920d38991f6e8f902dce","datavalue":{"value":{"amount":"+0.7821208238601685","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":"Q3564023$460472BA-AF03-4433-B1FA-89877D11AA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9f09922f123ccaca0d1967f3b54925772cd33fb","datavalue":{"value":{"entity-type":"item","numeric-id":3189813,"id":"Q3189813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f19e38159d016ef187c40db2a1b2d8e34bf9ddd7","datavalue":{"value":{"amount":"+0.7577014565467834","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":"Q3564023$8E631171-01CB-437D-A386-C47E218D7AB0","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":"fb5f386af1822e85b51b3a162260016905466b20","datavalue":{"value":{"amount":"+0.7482129335403442","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":"Q3564023$9BA04FCA-D528-4401-97A5-C2E444A2D8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07fa7898f81858dcdd92a4a778118665ccd1a4a0","datavalue":{"value":{"entity-type":"item","numeric-id":6045013,"id":"Q6045013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c60a2e590ca360bed117d409e8b86c2c9f045fb3","datavalue":{"value":{"amount":"+0.7161581516265869","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":"Q3564023$8AE56CA7-74A1-4250-B6FA-F24C7CAF5136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd516fd29baf70c2c0773fa08bff4039ac1cae2a","datavalue":{"value":{"entity-type":"item","numeric-id":4939274,"id":"Q4939274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a208465ced57a0e829a4da7f9178ebc6641c081a","datavalue":{"value":{"amount":"+0.7093980312347412","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":"Q3564023$F2E703FB-7CDD-4439-B751-F7C97F9AAB73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3564023","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3564023"}}}}}