{"entities":{"Q2882984":{"pageid":2893709,"ns":120,"title":"Item:Q2882984","lastrevid":51463583,"modified":"2026-01-18T09:01:52Z","type":"item","id":"Q2882984","labels":{"en":{"language":"en","value":"Effective generation of verification conditions for non-deterministic unstructured programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6033066"}},"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":"Q2882984$68DB2E44-ECDE-49BB-8C34-442A1F8465BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5dc61df0556b4be0aff9c1172f1cc84c9e97ddb","datavalue":{"value":"1249.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882984$3F9A01E0-CEB8-487A-912E-F292BD2FE205","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"290d425e3723e34b361a9f06680e3fcfb8ef0e3a","datavalue":{"value":{"entity-type":"item","numeric-id":174075,"id":"Q174075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882984$E2FB223D-C6A9-4DFF-96F5-A3510D0C40B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7faac244811fc6c6d2df50f30e2b4abd856eb19","datavalue":{"value":{"entity-type":"item","numeric-id":174088,"id":"Q174088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882984$A5914F78-59AF-4B77-BCA9-0912DB42872F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"29ee6d4e04c183e5bb6b0ff5941f040ab93517df","datavalue":{"value":{"entity-type":"item","numeric-id":174087,"id":"Q174087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882984$FB9894A0-13F2-4C17-AD4E-31D87F38941E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebad7c55eb31a5728be157b82e80bb61556d824d","datavalue":{"value":{"time":"+2012-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2882984$BDA731C4-6EE0-4917-8C0F-26ABB83BFA98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882984$F3BABBE8-77F9-41DA-875C-51018F40297B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882984$276D20DC-F468-43A8-A2E7-B83ADB44F274","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14399fb03a98e7b0de78a25fbba0ddf62c78016f","datavalue":{"value":"6033066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882984$AABE3286-D89E-4834-99C7-1B54DEE90CB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19d0dc30f93bb842ef5675687124a096b895745b","datavalue":{"value":"assertion language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882984$2D797360-2CFC-422F-9B0F-021FF11B7EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00cede9ee57c2febe166e66957df88f6214d4192","datavalue":{"value":"Hoare triple","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882984$B406DEC8-A04B-40F4-92D7-2C1A6789AD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829b3ec468c0ca98c41c585c588edcd324b64acd","datavalue":{"value":"Floyd method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882984$3851E7E3-C43E-4A3C-8775-3E2D685A7298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c466a31828be4527e6fa92732efebe73d5786789","datavalue":{"value":"verification conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882984$271866AA-56D1-4EC5-B169-C6D1372DB87A","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":"Q2882984$6916EC20-FD87-4D72-B6C7-CF07C7FA3CAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c78f15c6f331b3a902752c2a57748de053de3164","datavalue":{"value":{"text":"Effective generation of verification conditions for non-deterministic unstructured programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2882984$800F45AE-5FA0-4B3C-8D49-32B2AF6838ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f14cf405d03e3e34225cf632c752148a6369300","datavalue":{"value":{"entity-type":"item","numeric-id":6773840,"id":"Q6773840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882984$B984932E-894D-48F0-A38F-BCEA8A63E12B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dc57ed44d3cfbc4dc9c40efc9e497b687785670","datavalue":{"value":{"entity-type":"item","numeric-id":840060,"id":"Q840060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab519b6a4eb9573b18a2055f573be36de270541","datavalue":{"value":{"amount":"+0.8287318348884583","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":"Q2882984$CB157A74-D6D1-4FB3-A953-4D80EE221F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79daacd80091bde89a54cb32e28332e739a62c10","datavalue":{"value":{"entity-type":"item","numeric-id":465685,"id":"Q465685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0726161dbd89a6f8d7b6cf9213f2f745616e27cb","datavalue":{"value":{"amount":"+0.7732259035110474","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":"Q2882984$882110FA-56A5-4D95-94C8-C20CD120A404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"355f24d006b418f32d99e45930fa76e944ce6be9","datavalue":{"value":{"entity-type":"item","numeric-id":5178883,"id":"Q5178883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0515eaf486ad36574539b7dafb79dfac762c223","datavalue":{"value":{"amount":"+0.7229666709899902","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":"Q2882984$FA7CF737-8EC0-48AD-8246-493B88177652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e54de70359c17c91d77e16505b0af0925517b0","datavalue":{"value":{"entity-type":"item","numeric-id":5387904,"id":"Q5387904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c43fea39a3f0b897bab1a4b93687a0c80379a6d6","datavalue":{"value":{"amount":"+0.7215331792831421","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":"Q2882984$4E86D40C-68C7-487F-8C79-F0E03E88A812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1991339c595d4dc97bb89adbbc394122047a0c35","datavalue":{"value":{"entity-type":"item","numeric-id":2864396,"id":"Q2864396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72d1335a82c9d5e874c938da3d6e4246245f6e65","datavalue":{"value":{"amount":"+0.7073401212692261","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":"Q2882984$7BDFE085-3BC6-4007-B184-090FF07C6A88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2882984","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2882984"}}}}}