{"entities":{"Q840060":{"pageid":841908,"ns":120,"title":"Item:Q840060","lastrevid":64732923,"modified":"2026-04-11T21:51:39Z","type":"item","id":"Q840060","labels":{"en":{"language":"en","value":"Generation of correctness conditions for imperative programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5601823"}},"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":"Q840060$1E0514B6-A10B-4C19-97BC-A3CE118764FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc7a020bc6c23d3f38d1c30ba18d1b35365f7899","datavalue":{"value":{"text":"Generation of correctness conditions for imperative programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q840060$D7624AEE-CE41-4476-8067-57C9829C615F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a7c84bafb70d37f3f2cb7548014604547264882","datavalue":{"value":"1185.68424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840060$B07621F4-076E-4C9C-81A0-EB3B1F18557F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f31e40b7509c949b5807f1f88bf196c8de98d319","datavalue":{"value":"10.1134/S0361768808060029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840060$05A34410-EBC4-4CAB-8260-709085CCFF78","rank":"normal"}],"P16":[{"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":"Q840060$C4BB1957-A708-446E-9A39-122CCD45599E","rank":"normal"},{"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":"Q840060$8F0B3BC2-C956-4EF0-AFF6-C364DF8A369D","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":"Q840060$A19A2C07-0D60-49E1-BD12-F64D2E664EAA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840060$D7340604-7EE0-4E54-8047-B6036F21B71B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3acba03562394e6f79ba619ee3ac8327ff4b7447","datavalue":{"value":{"time":"+2009-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q840060$05296D6B-C37E-41F9-AD8A-6504A27F5281","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840060$5BBFC127-3B48-4ACD-BFB9-127D4028F136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840060$F66B442F-00A7-449C-95B6-D8050FE93792","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37fe357d5ac155516a5f1b73e9c8aa6b54658ee5","datavalue":{"value":"5601823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840060$1A204620-5D8C-4766-A07B-2C7EACD3D0E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31518262e66afe0252964c6b66639f2476acdd0c","datavalue":{"value":"Floyd-Hoare","type":"string"},"datatype":"string"},"type":"statement","id":"Q840060$29AD2019-6E69-41E1-ACF2-519A630253AE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ca8d2bcd5e57b7b549b4a404d9054f4f06a4106a","datavalue":{"value":{"entity-type":"item","numeric-id":32817,"id":"Q32817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840060$07340538-78FD-4F78-9D37-9114C75B4D83","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":"Q840060$18E2D7F4-D8F4-4E26-8050-B546453C150D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"097beafc05a97f0c4e666d19252acf96b5d4d7e6","datavalue":{"value":{"entity-type":"item","numeric-id":4417801,"id":"Q4417801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840060$347E7B25-FD67-431C-94C7-E88039FC8051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840060$E812DB2C-E98D-414B-A608-AA45BB27EB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5285d79fb0a54034a765cc040755038d6ec0aeb","datavalue":{"value":{"entity-type":"item","numeric-id":2560721,"id":"Q2560721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840060$E616806F-C820-4838-8A5D-FC5BBEDED537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840060$17C71CDE-E3F7-4FE1-87C8-F9B6570AEF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd21cfa4660583e538baf1b412d409c55765821","datavalue":{"value":{"entity-type":"item","numeric-id":5178883,"id":"Q5178883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840060$8048E4C2-C61B-4181-AAD8-E838F895A7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0649b0163fc4a92d1100ff8630b1b5f3683e6a56","datavalue":{"value":{"entity-type":"item","numeric-id":2882984,"id":"Q2882984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840060$276C0BCE-B273-4805-A687-E3C2FAF07CEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0795eabb50e260d86a8323f0aa296d85cb458406","datavalue":{"value":"https://doi.org/10.1134/s0361768808060029","type":"string"},"datatype":"url"},"type":"statement","id":"Q840060$C07BE4C9-4E2B-4319-B86E-FAD9225B7C0B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da84924a7d30ade80f403213c200b638c4123119","datavalue":{"value":"W2152238685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840060$E2087BF4-C078-4F23-8F78-CAC12147C110","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42240229bec08b4214ce8d197f31f89ee84b3455","datavalue":{"value":{"entity-type":"item","numeric-id":2882984,"id":"Q2882984"},"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":"Q840060$98FDDB4B-3774-479A-92D1-70167339DFED","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":"9d4e7ebed0a387a3ca6cec86bacf1093ec356fca","datavalue":{"value":{"amount":"+0.8148850798606873","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":"Q840060$BBE62844-1A3D-4234-B2C5-31B8FAB1018D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"414ab05e6f885a482267f8ec69b7c600236e4934","datavalue":{"value":{"entity-type":"item","numeric-id":1285784,"id":"Q1285784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"759c35066b9a41fcb5516f15ef76fd7c54d5f9a6","datavalue":{"value":{"amount":"+0.7318434715270996","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":"Q840060$6E7D4E78-2230-4E49-AC01-1294EFFCF41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30ca2c09a307dad10dc9a230dcf44e6e46d1b443","datavalue":{"value":{"entity-type":"item","numeric-id":855274,"id":"Q855274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00acd8f8952c7ca049b4b390b9892796154fada1","datavalue":{"value":{"amount":"+0.7311686277389526","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":"Q840060$D10226DC-CD13-4B5E-AC9D-95B69DC33D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b715d1666f29c7e62c77f55370ed43c5d869981e","datavalue":{"value":{"entity-type":"item","numeric-id":3707370,"id":"Q3707370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dadce86a027524544d889b56b1be46264c343586","datavalue":{"value":{"amount":"+0.7275627255439758","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":"Q840060$71F9872F-D616-4DBC-B990-22D024283ECC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generation of correctness conditions for imperative programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generation_of_correctness_conditions_for_imperative_programs"}}}}}