{"entities":{"Q3321433":{"pageid":3332141,"ns":120,"title":"Item:Q3321433","lastrevid":48696427,"modified":"2026-01-05T15:42:06Z","type":"item","id":"Q3321433","labels":{"en":{"language":"en","value":"The ``Hoare Logic'' of CSP, and All That"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3852403"}},"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":"Q3321433$E073DE85-029D-47F4-ADBC-F97A84CB92DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6579b48a1adbb8af2cb51ff3a1f8781fbc2318cc","datavalue":{"value":{"text":"The ``Hoare Logic'' of CSP, and All That","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3321433$E709DF62-8877-4993-B3F2-11FCC8DAEB4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4f0ba7510ee9b3a23f5845617c014771733299f","datavalue":{"value":"0536.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3321433$EB7DF0AD-B238-4AA2-8DC6-7BB2BA3C4FDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54c859cef375b024382c0aad376be4714353509a","datavalue":{"value":"10.1145/2993.357247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3321433$2DFDE010-9563-4196-994D-F18E4CE8E1CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"209ba2abb9262ee2627b025b7dc9cc61471e318c","datavalue":{"value":{"entity-type":"item","numeric-id":661001,"id":"Q661001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3321433$87DF4B5B-85C6-4782-B7B0-8171CE7966EF","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":"Q3321433$6AB41F82-822C-437E-B7BB-1154FB426872","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":"Q3321433$CDB8E837-9242-455B-A3CF-CDF756E419DB","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":"Q3321433$F0EC7CC0-C8CA-4692-859D-07DD7F0DE423","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc89d9be9bd2d2c5ff00a9337d297432733390e5","datavalue":{"value":"https://hdl.handle.net/1813/6330","type":"string"},"datatype":"url"},"type":"statement","id":"Q3321433$5E346C1C-C72D-417A-A2CA-450E016F8827","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3321433$7C3F8955-B25A-4830-9BA0-6174E004B414","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e57bac9737f99d238d209ec7a0abead1ba40df96","datavalue":{"value":"3852403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3321433$687A344F-EFBD-4A6C-91D0-96CFE97BC4FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40dd6975c8b6203b1b4ac56c7de585b4291b94b9","datavalue":{"value":"generalized Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321433$568FB40D-1E5E-4F1C-9DC7-678F1F7EB5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e07787a1cd26c789140f5c3150ac09bb65f07f7","datavalue":{"value":"safety properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321433$C2E0825D-65F5-41BD-9342-6217E2E1498C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"face6a2e22d1a2de71fd9e34d742b9fe9dc470c5","datavalue":{"value":"decomposition principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321433$83031C0A-CE0F-41B3-8C0C-C3689C22F65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61870c981b19bcee212c9c2ebab0264994cbe384","datavalue":{"value":"noninterference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321433$5EA5F739-1D3D-42DC-A52A-AAF5E5BCE364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"142ad176b509766fc626fc5ad6b3d60ce7604d3c","datavalue":{"value":"message-passing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321433$3A66164D-53E2-4AB5-ADCA-97222B3242E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c253280367e5852d8c4715b30d32c3da1322bd6f","datavalue":{"value":"communicating sequential processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321433$F0802A0C-746D-4CB3-8CE3-FAF248FCDF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05335a83eaaafa58fb33baa1c68f578c37d0702b","datavalue":{"value":"invariance properties of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321433$FC5BF2FB-F4D7-4AF3-A630-B5751FE381D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"259be8a8aabd73410556a1a540fdfd8f20cb5dde","datavalue":{"value":"cooperation proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321433$4B3E07B8-10C9-4EE2-B42C-060174878363","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":"Q3321433$743D0536-277D-42CB-B70B-0B01A74B6340","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4b6f6f878fd5dfbfce7f0cf1bdfadaf44b58890","datavalue":{"value":"W2123464354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3321433$65255B40-7931-4D33-9350-8F09980AC8AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec691ca6b94f8362541f7a20d08563e9b7b24d68","datavalue":{"value":{"entity-type":"item","numeric-id":1107518,"id":"Q1107518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"112fbde4b1e53272676320d5816e7c7ab003ed35","datavalue":{"value":{"amount":"+0.8389244675636292","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":"Q3321433$508913CF-98F2-4A0C-8360-062F9CBD4A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed9f18728efbf178c12c394f7c72ef61968d349","datavalue":{"value":{"entity-type":"item","numeric-id":1122978,"id":"Q1122978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c852a59a4b76fa10b7022eebec2aa79f9d259cdb","datavalue":{"value":{"amount":"+0.8218356370925903","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":"Q3321433$DFD916CA-800C-4F2C-99E3-BD665AD85321","rank":"normal"},{"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":"595c1b051152a283e858f723bdc2da4797f440dc","datavalue":{"value":{"amount":"+0.767890989780426","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":"Q3321433$55757A18-0456-4426-A7FF-20359022DF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"229a3a0eba787aa84df1639600e3c6f3356421eb","datavalue":{"value":{"entity-type":"item","numeric-id":3557673,"id":"Q3557673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5e8f2d4958c085bc5c773a631444be104ed723b","datavalue":{"value":{"amount":"+0.7571329474449158","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":"Q3321433$B64E056C-68F9-47DF-8EA6-7035C5631ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa65c7f32f6ba0869650b0738f3e526afcb5338b","datavalue":{"value":{"entity-type":"item","numeric-id":5902541,"id":"Q5902541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"682687fbc9b170da19dbd66b57f34f5ceb9b7f66","datavalue":{"value":{"amount":"+0.755234956741333","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":"Q3321433$2D899EF3-7D5C-4BF3-B321-1F60D3EE96C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3321433","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3321433"}}}}}