{"entities":{"Q5164860":{"pageid":7194431,"ns":120,"title":"Item:Q5164860","lastrevid":54144800,"modified":"2026-01-26T08:21:37Z","type":"item","id":"Q5164860","labels":{"en":{"language":"en","value":"Using Hoare logic in a process algebra setting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7426113"}},"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":"Q5164860$4523830C-4418-45A6-9A0F-57078163E224","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2edb730b81e755c0ef46d43d4aa13a1570c0e26","datavalue":{"value":{"text":"Using Hoare Logic in a Process Algebra Setting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5164860$61493C18-8341-4506-87C7-0F6E0585EE4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"072a47c06c60d1599dc3681c95436ed153489dc9","datavalue":{"value":"10.3233/FI-2021-2026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164860$8C83CCE4-F325-4481-A809-01CF827695A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164860$07983E2F-922F-45B0-A9F0-7EDF3C4D4612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb33a3073e5d10e801461d02e59acd59cd450c4","datavalue":{"value":{"entity-type":"item","numeric-id":175864,"id":"Q175864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164860$D34D731E-6C41-489F-99C0-B0BFFE8A2B6F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164860$146E996C-D10C-4092-84DE-B501181DCD90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48cd8185993514bc84c1c39dea5715708ec965fb","datavalue":{"value":{"time":"+2021-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5164860$2FF83985-3001-45D9-AF0F-C7EC74DC4272","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd29ae42434d9ac4fc9d59d71ed882add1e11f5a","datavalue":{"value":"https://arxiv.org/abs/1906.04491","type":"string"},"datatype":"url"},"type":"statement","id":"Q5164860$CC2614FF-6FD2-46BC-8923-31A3964D8B5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164860$D5A6175A-AD7C-472B-A505-059DE72538A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"001c0ecd2bfba7eae74a6589107e818ff71d5fc7","datavalue":{"value":"7426113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164860$3A6C2B15-9C27-42B6-824D-4BC181991552","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164860$E01EEF79-6DDB-4C1A-9D06-39EC3BD8096A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04f695a5119a51cca99067332fa8b03750e87c40","datavalue":{"value":"data parameterized action","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164860$32D6259E-9BD3-41D9-B0F2-B579443AEF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bd0409f80e2570b7cdf65eaf43776e1a4c37c9a","datavalue":{"value":"assignment action","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164860$AB7B58E9-44A5-449F-94B4-DCBFF575F657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef34a817c7119f010d5311b76c3270a657af8b48","datavalue":{"value":"guarded command","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164860$086F8561-0ABD-4D68-BA3C-16237578B56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a90a0b36a129dc49121e04633fb43a4287431e4","datavalue":{"value":"asserted process","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164860$F503C678-C983-4B26-8E86-2D88FE71F0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164860$85E0A3A9-8FA0-4580-AFB6-CCCEE5228500","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":"Q5164860$A258E8CF-590B-49A1-AC06-65720ACA8318","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164860$D85D4623-2F48-42D2-8911-FBE936A64E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164860$88807565-7943-4CCC-B0FE-681A0DF5DEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe0ad1cced0b430191c4bc3b4c9a2082c3c31ff6","datavalue":{"value":{"entity-type":"item","numeric-id":4525274,"id":"Q4525274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164860$9491DDF8-1A4E-40AA-90D4-5772CD730AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4880dd72a6b73f3051f9222a5858c78a6d5e7ab6","datavalue":{"value":{"entity-type":"item","numeric-id":2760242,"id":"Q2760242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164860$D1790543-64F0-4A88-8EB8-348F08505528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a67489b4e40b50963ea7bcdc0ba4b481bf3baf4","datavalue":{"value":{"entity-type":"item","numeric-id":385508,"id":"Q385508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164860$0FE6BE5A-5295-43ED-83E8-F9D3BFA3639F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"064dfd0aa126ad0ce16fd48678e60f8eecbb6c11","datavalue":{"value":{"entity-type":"item","numeric-id":4348472,"id":"Q4348472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164860$A41A3F5D-D56C-49C4-BCDD-4B00EDE02F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39c345d842dc3e7ab2c80bd591e9c327b43c0351","datavalue":{"value":{"entity-type":"item","numeric-id":4702592,"id":"Q4702592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164860$43349C46-A67A-4A01-8ED0-63C16FD30695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c64aa77167c6580cd7c8c676f0c865faa32857","datavalue":{"value":{"entity-type":"item","numeric-id":4385539,"id":"Q4385539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164860$3DA95115-F304-48A9-81C2-58DF508912BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a9e1beac0919d070bbbcdf5245d9cb43977ffaf","datavalue":{"value":{"entity-type":"item","numeric-id":1896759,"id":"Q1896759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164860$31BE784E-581E-4A05-8AC9-A3849DAA01F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"924f9d45e7c4bf8a47eecb690915286b469226fe","datavalue":{"value":{"entity-type":"item","numeric-id":1106660,"id":"Q1106660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164860$5CA630FE-B8C1-4DF5-9834-8816A18EB125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0942ee95974c142ca870a8b6319eb989c0118cb","datavalue":{"value":{"entity-type":"item","numeric-id":1329197,"id":"Q1329197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164860$38F1ABBA-8B26-4F63-800E-33353C44750B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"217516771e5b3c0876313ce2e6e6176b65d1ed06","datavalue":{"value":{"entity-type":"item","numeric-id":2500474,"id":"Q2500474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164860$F17C0FEB-F6E6-4241-9F5F-CD401BEFB889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"284956ad0e926f50140e70cdf061530dbb054fba","datavalue":{"value":{"entity-type":"item","numeric-id":1391792,"id":"Q1391792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164860$3A990D44-0813-4474-A695-E01BE3045E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164860$A6121281-175C-43AC-AFBB-76F926A025F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776e9bb2630af984cb377be363b40fad99700a6d","datavalue":{"value":{"entity-type":"item","numeric-id":4375630,"id":"Q4375630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164860$57F859A5-F6A5-4823-934C-3CA01A3816C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164860$94211D04-5E8D-491C-BEF7-BC122387682E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d522d164cd0b9d962b8b5ddb7244ae37c06c27","datavalue":{"value":{"entity-type":"item","numeric-id":3703299,"id":"Q3703299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164860$BA393ADE-B790-4452-9419-6299959860B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164860$5E203F8F-A473-4795-B467-5B5760D63DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989ffcc992d1ac31e39a63758614d7ce6f35323e","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164860$DCCBAF6E-7C6F-4ADE-8906-B8B81B09AC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164860$B3327457-2C44-40BC-ABA4-A42543264F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec3996c14b206674e33c3ff3678191b3d324529","datavalue":{"value":{"entity-type":"item","numeric-id":3922144,"id":"Q3922144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164860$A9444D71-04F0-46A9-AF93-294F6366367D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0817097b6d61530cc9a7e9ec3f78c24eda4ab674","datavalue":{"value":{"entity-type":"item","numeric-id":1153686,"id":"Q1153686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164860$55461285-34E7-473C-A9A6-77A1C67F64A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164860$ED372DB0-07C3-417A-B91B-46BB7FD7534D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20bca9ccc31b2c844256ee2dcca7bbaf341eafa9","datavalue":{"value":"W2951755804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164860$A439F3DC-DB48-4B9E-8F36-FDDE0F2A6E59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8511e9d7f2ca380b67160abca115a9c7f18a586f","datavalue":{"value":{"entity-type":"item","numeric-id":1329197,"id":"Q1329197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f3cb75337d436addc145fdae619af9d00af27dd","datavalue":{"value":{"amount":"+0.8192883729934692","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":"Q5164860$49D8E871-35E3-4AFA-BAA9-DC5921DCBED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f96f45dd0e37fd028ad370e966c893aa89571b76","datavalue":{"value":{"entity-type":"item","numeric-id":3028334,"id":"Q3028334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2eddf6cd239a7acaa99b305fe242be37560b495","datavalue":{"value":{"amount":"+0.8175643086433411","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":"Q5164860$B4CB64A9-4F87-4CD4-A199-46D437DB1DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dba8764871d1e6bc265eaa06f35bd9d4b99ed60","datavalue":{"value":{"entity-type":"item","numeric-id":1183608,"id":"Q1183608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c57ed8170d78f9fac69ba63446ea463b8a357b0","datavalue":{"value":{"amount":"+0.7392184138298035","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":"Q5164860$1E22AF23-C1C1-4BAD-B733-F0CE5750077A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920a9b4736e3dc9bdd0f1f07e717de567cd54fde","datavalue":{"value":{"entity-type":"item","numeric-id":3678649,"id":"Q3678649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c57ed8170d78f9fac69ba63446ea463b8a357b0","datavalue":{"value":{"amount":"+0.7392184138298035","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":"Q5164860$28C891A2-1127-45F2-8144-B2FF0BD74FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"580d88c695e564f75837432b6f488bd75e374497","datavalue":{"value":{"entity-type":"item","numeric-id":3321433,"id":"Q3321433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b40a58e0e6e342f8d73815fc6a109c4746186701","datavalue":{"value":{"amount":"+0.737659215927124","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":"Q5164860$0D4E36CF-657A-487A-8643-7E0788BE4A9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5164860","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5164860"}}}}}