{"entities":{"Q5958463":{"pageid":8135265,"ns":120,"title":"Item:Q5958463","lastrevid":47755402,"modified":"2026-01-02T14:55:28Z","type":"item","id":"Q5958463","labels":{"en":{"language":"en","value":"A Hoare logic for dynamic networks of asynchronously communicating deterministic processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715464"}},"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":"Q5958463$96AACD14-B5A0-498A-8ADC-B11352C64DDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3b3dd2bb43fc813eed7bc55829daaaf5151e43d","datavalue":{"value":{"text":"A Hoare logic for dynamic networks of asynchronously communicating deterministic processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958463$35986817-8466-4C83-9714-ED21F0AD8EEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b45fa386a71d1d3e9d2d4608ed772f9bce4bac0","datavalue":{"value":"0992.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958463$B682E624-2C03-4BDD-BD1E-2D39FDE48627","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a563099b3f6d52413172bedccb70f4a25ceca18","datavalue":{"value":"10.1016/S0304-3975(00)00304-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958463$9723C3FB-210F-4681-B226-411E849C7E27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958463$BF19A73E-1A39-4004-A6A4-CE2CAC7FC9EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958463$52D9DD90-19FE-4623-A7DB-CED46CB14DED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5958463$667051FA-5714-4F2F-9DBD-25A57B3AF52A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958463$6F3DEA8A-7A35-4753-B074-8C6A614831D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90c29b491df037e68e4237dc314a6bb54d19f09d","datavalue":{"value":"1715464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958463$D908EBBF-C50F-4BAC-810F-E40533BC568A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d3eeeac55216bd472947a5d9d0bc70e2fb2bd7b","datavalue":{"value":"dynamic networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958463$96C0005A-95A7-4004-8785-7BBF4B211353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958463$DE58F7A1-56CB-4650-9E57-BC666E375F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958463$1E2C81FE-7597-440C-88E1-4359378CFD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958463$D0296C54-0C72-40C9-9ACC-8106576F7B5C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322a7fd2a2215f887a0cc889fa3e27a0703da0bb","datavalue":{"value":{"entity-type":"item","numeric-id":14267,"id":"Q14267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958463$BFE0954E-87F5-48A4-9F4C-20BF80721DA5","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":"Q5958463$4AEF3FF3-3C5A-4E84-9F0C-F776A71CBCED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec3fab40cc2d2e106280bcaa4a13109b0361ac","datavalue":{"value":{"entity-type":"item","numeric-id":5305637,"id":"Q5305637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958463$1B6DFD60-8ED7-488D-84DB-67EF01BB51D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d1a489a915eb0527895b0215c40edd406260f92","datavalue":{"value":{"entity-type":"item","numeric-id":1333406,"id":"Q1333406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958463$6A648817-DE74-443D-97FE-8D948E0702B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958463$7E9461CF-4AD2-40E4-AD08-BC16D462C7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958463$4BC0F0E3-E1AC-4D6A-8F0F-1B9DB030C3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a502a770025bb9705f462b1132920965df52f670","datavalue":{"value":{"entity-type":"item","numeric-id":3667910,"id":"Q3667910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958463$0E9F74AD-8CCB-4528-BE10-BE21B3B81322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5c2b7ba3775d6670cc3f4433080eb488fd8ace","datavalue":{"value":{"entity-type":"item","numeric-id":4054644,"id":"Q4054644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958463$67A44CB2-07B5-4909-B3D1-C666405CA5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b47e427b41b4173e50108f0857c520d19a8b62","datavalue":{"value":{"entity-type":"item","numeric-id":3208629,"id":"Q3208629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958463$00F3AEF5-2BDF-497E-BF52-EEDB0B9B49B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110ed67720fe603992088cf207d619f609c16293","datavalue":{"value":{"entity-type":"item","numeric-id":4039815,"id":"Q4039815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958463$35DE0B6B-E716-48DB-90E9-F58AF6A270F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ba2de0735a98e19f269809981a88c74ef2b07ed","datavalue":{"value":{"entity-type":"item","numeric-id":3350772,"id":"Q3350772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f75b617563d85259a382478657f2c10c88a34dc","datavalue":{"value":{"amount":"+0.7829272150993347","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":"Q5958463$627348BA-FE30-478E-8094-50185ECB9853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6fae46537c11b8e06fab95f04a1c6424ea37f29","datavalue":{"value":{"entity-type":"item","numeric-id":5096883,"id":"Q5096883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d426fa24bf2740a1d9b0361be4c7ed0bea0c4eb","datavalue":{"value":{"amount":"+0.7772572636604309","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":"Q5958463$592EFB1B-200F-4A8A-B932-36CEF35D945A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c7687b7b6ef1f4839bff889d4f7b64ce91af7da","datavalue":{"value":{"entity-type":"item","numeric-id":3347278,"id":"Q3347278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cf3c156d7ac2e3dd33275ccacaa6a0697c5b2f2","datavalue":{"value":{"amount":"+0.7770029902458191","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":"Q5958463$23ABE7D5-3854-47C7-BA92-1B980B8DDC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7d7045f2d31c534448bdcd51e9fe2bbe8f64104","datavalue":{"value":{"entity-type":"item","numeric-id":757079,"id":"Q757079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63d68e796aa04cf548611be21b282a3aab3fcee4","datavalue":{"value":{"amount":"+0.7738020420074463","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":"Q5958463$ED53F16B-52F8-41AF-B8AA-41FD9463A49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b56546806e841c6fe1c457e33c7e19adc61eb0a0","datavalue":{"value":{"entity-type":"item","numeric-id":4411818,"id":"Q4411818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cc4021ecf4ba0377a7f0aabfa2e601b9ce1789e","datavalue":{"value":{"amount":"+0.7490336298942566","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":"Q5958463$5ADB7BDD-4BD5-4A7C-9A0E-AC77AC0C6CFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5958463","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5958463"}}}}}