{"entities":{"Q5176992":{"pageid":7206564,"ns":120,"title":"Item:Q5176992","lastrevid":41668303,"modified":"2025-05-06T23:40:42Z","type":"item","id":"Q5176992","labels":{"en":{"language":"en","value":"Characteristic formulae for the verification of imperative programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6411563"}},"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":"Q5176992$EAB910E0-8449-49A0-A915-2C5D9477C882","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19753e0ea526da40da91ce7196200944f8f03fd9","datavalue":{"value":{"text":"Characteristic formulae for the verification of imperative programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5176992$827441B8-B4B7-4138-B466-C613344E132C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b22b0368f088f8be2c4778d6f68b7866797998a","datavalue":{"value":"1323.68366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176992$9BF654E8-F444-483D-8806-1F5274593A1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1fca6fde7cb0c1eee6b0e20c4efea66e0f05cf1f","datavalue":{"value":"10.1145/2034773.2034828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176992$9D180E3F-5607-4528-B0CE-E26338BE8D19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b34313f1bad29f9702b9bd0cdb9e2cbc9d54ccb9","datavalue":{"value":{"entity-type":"item","numeric-id":670697,"id":"Q670697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176992$124DE2BE-918B-4C4D-9936-F5A68AEB1B31","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"53c2b631e99940a75af01dcb78353131f1ce5e5f","datavalue":{"value":{"entity-type":"item","numeric-id":5176956,"id":"Q5176956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176992$96069B13-58E6-466B-BD7C-AD630A1AE3B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4f9d2095479a9188a341ba64fac456535929036","datavalue":{"value":{"time":"+2015-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5176992$DFCC183F-22D9-4D27-A0AA-A450722D2C90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176992$9EA84975-A20C-45DC-91AB-92D92A091F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176992$9A972931-94BF-4314-8633-FD94318C2BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176992$5E9DA390-2EE8-4A71-9E4D-D3C098C3A8AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50b641138391471663247a334a272149d62fb1fd","datavalue":{"value":"6411563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176992$87CF09CB-7D7B-4EF3-B97E-3CB69F46E956","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dc3bb38d1bb4e53db1fb8a5d4376abe101185c8","datavalue":{"value":"characteristic formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176992$1225F331-3DE6-4859-9D95-3A140477B457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78862905ca8138ffe11fcc1927345410b2aa89dd","datavalue":{"value":"interactive verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176992$B71B6421-497B-4E7B-B6BA-F99DD5904CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4734a47521c48b7b32ae545a74ae18917855b200","datavalue":{"value":"total correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176992$9D99AF97-12C8-4F54-B26D-D68770F18693","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3385954e206fa4a5bbcdde66dd867f18c8df62c","datavalue":{"value":{"entity-type":"item","numeric-id":25202,"id":"Q25202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176992$4978C695-542F-4DCD-ACDA-A46778F1AB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176992$72D3A451-CA91-4821-B6AE-BB84BC80D602","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":"Q5176992$EF2DC1BF-805A-4C0B-A136-48326247CB9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46822cb0cfeae3315469395de68979e18fb26470","datavalue":{"value":"https://doi.org/10.1145/2034773.2034828","type":"string"},"datatype":"url"},"type":"statement","id":"Q5176992$19CDEA0D-30E2-498D-BC4D-04CFAD7A830B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"344a7a8237bcb171564ab52c4188cf2ef9cf12fa","datavalue":{"value":"W4247464325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176992$0C5B0979-E0BB-431E-9F98-4D674B220A1C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e210e9ff5cd5e7bad7d25e60b6144ecf7719471","datavalue":{"value":{"entity-type":"item","numeric-id":5176951,"id":"Q5176951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c74158b6ad3d10835e41b91df3f5ed6f2f51aef2","datavalue":{"value":{"amount":"+0.9539982","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176992$590A9987-7EAD-40F5-A808-2E460C1265E5","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":"9f8a3ef1ec94f8338efad025e9750013b81aaee0","datavalue":{"value":{"amount":"+0.9041712","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176992$31AED7AD-9C2A-487B-9DCD-7F3A0B405DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4952467c9336251bae4d26323a37a14d83e57d90","datavalue":{"value":{"entity-type":"item","numeric-id":5699474,"id":"Q5699474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a1819dfaec81f5d0c6ca3164f6033eae306acd8","datavalue":{"value":{"amount":"+0.8991625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176992$DA29BF59-64A3-478D-A0DC-76FB30483848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c36bb3b7997cdc30ca485d27ddbe8d0815f80c3f","datavalue":{"value":{"entity-type":"item","numeric-id":2979818,"id":"Q2979818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"899f011ceec48c999d191a4f153986a974a6e7ef","datavalue":{"value":{"amount":"+0.89802927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176992$F4FC7E59-5438-4A60-A64B-60203A445113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4a4198aa867d02c3d5d0f50d44e8c9771862cd","datavalue":{"value":{"entity-type":"item","numeric-id":4994693,"id":"Q4994693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bdc47a4423e8a0c34d07f6dd496f3722c75f6b3","datavalue":{"value":{"amount":"+0.8972182","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176992$F56A068B-1A92-4324-BE8D-C84DB6803508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"075a66c739a652c02941396b90f65f06b793f2ff","datavalue":{"value":{"entity-type":"item","numeric-id":3055745,"id":"Q3055745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e4bb0822fea4d48550d4e856f2e9ac62f8b741","datavalue":{"value":{"amount":"+0.8968984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176992$3A6616AA-C8CE-49CF-8C60-85E8F4808BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab116f62a0b733ec0afd5e508aec01a388df675d","datavalue":{"value":{"entity-type":"item","numeric-id":3685173,"id":"Q3685173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba017ebf279c3f91c18484084534bb04c8a3f365","datavalue":{"value":{"amount":"+0.8849073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176992$1C30ED21-428A-4BFE-BC59-C8C800AD7E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"714e15e5a2ba4fff06e9121fed38d3236869a4fd","datavalue":{"value":{"entity-type":"item","numeric-id":1267035,"id":"Q1267035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad36ff1da1f8e5f9c8cc67e76ccd3693ea72088b","datavalue":{"value":{"amount":"+0.8823549","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176992$0E7E5D5C-B65E-44D0-9145-197520FCF15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed58649527b45a30c8bf0f209a9b2229e7451a53","datavalue":{"value":{"entity-type":"item","numeric-id":1267030,"id":"Q1267030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00cccf003a60e8a97d29534b094fd43cd14e00e9","datavalue":{"value":{"amount":"+0.8819821","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176992$61F1A148-B2A7-49D0-A9B4-F3F02DF7F21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a17dd73d2e07de96ec71d028fc8e0dd39a35afa","datavalue":{"value":{"entity-type":"item","numeric-id":5056076,"id":"Q5056076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d432bc18e4df9755c79edfd3be2983a7756753","datavalue":{"value":{"amount":"+0.8771071","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176992$BC054171-E0AD-43A3-ABF3-A8564AFD6D60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5176992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5176992"}}}}}