{"entities":{"Q3612092":{"pageid":5641998,"ns":120,"title":"Item:Q3612092","lastrevid":87437432,"modified":"2026-06-04T11:40:48Z","type":"item","id":"Q3612092","labels":{"en":{"language":"en","value":"A complete proof for the correctness of programs with new specification language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5522674"}},"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":"Q3612092$75524080-EB98-46CC-ABB5-1FF444A51CE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc1383f75cba03a0e2318ee89e6000e3224bfbfe","datavalue":{"value":"1180.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612092$27CE6B42-6EC8-406B-9DF0-AB5538F95A88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc5b863e9c4f72af24ca9701a767310d5b89836d","datavalue":{"value":{"time":"+2009-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612092$EDDDD6FC-9E62-4442-BEC6-FBDB108A1F78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae8e6df40f900f3c45f901172b66efd5a247f754","datavalue":{"value":"http://pphmj.com/abstract/3371.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612092$A3FB9F7A-0F9A-4E49-93EC-D356DCA2551D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612092$03D90C27-4F1F-4E96-82C9-373F60F5558C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612092$822369CA-C7E5-4945-89E1-F75079B1765C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612092$B5488155-BDF6-46BD-9EFF-907EA2E8876B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ff5a6d02b11939d2f64627d71c65c3451cee1cc","datavalue":{"value":"5522674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612092$C21F13B3-BC1F-4005-B969-0BFC01A2B2F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b211b4dd569b746945e55556358ad5d7610f9a","datavalue":{"value":"specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612092$36CEFDCF-DE76-4B4C-BDF3-194DF91D57EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec2a5c0aedb726fa0342984da34f2afe9161b9bd","datavalue":{"value":"precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612092$80DE7ABF-D922-4364-8D54-3D5895AE8F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76448f0f4c30ce9a6ea0c8468265fd673bfa60d7","datavalue":{"value":"incondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612092$6EBAEC48-4974-49EF-A4AD-CE6A654B3CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d8ce56ee8b42110050dbf827609bd4d689ad8ef","datavalue":{"value":"postcondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612092$4F606046-8DAE-40F5-BA25-7BF77EC21D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c38ba907c6a18fb211ab7b15fbef04a26098521","datavalue":{"value":"formal theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612092$AB5CB237-3735-4CDA-BAF5-69A056428912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612092$FE0D247B-DB1D-4835-8072-BAF31EBED3A2","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":"Q3612092$94654363-415A-45AC-B87A-4EA6BDAF39D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eed9717ab702188ea2b06276e639fac8f6972f6b","datavalue":{"value":{"entity-type":"item","numeric-id":5455088,"id":"Q5455088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d569bc5cb3456306ebf038e92a8aa4c182ccca83","datavalue":{"value":{"amount":"+0.7982908487319946","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":"Q3612092$BC41AC7C-E758-48A1-8815-A422E81ECE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe6260512c7632fac7cff041331c9b324bbe692f","datavalue":{"value":{"entity-type":"item","numeric-id":2265800,"id":"Q2265800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45ba5368cd86dbc00048cea52541af5470acac53","datavalue":{"value":{"amount":"+0.783917248249054","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":"Q3612092$0901ECD3-8018-4DD2-AB1F-C65B47822FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5650778121b2629ea7e55609155e4a285a230892","datavalue":{"value":{"entity-type":"item","numeric-id":1910975,"id":"Q1910975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"682356a44338da07a6cee814e8d416e221e4b613","datavalue":{"value":{"amount":"+0.7345762252807617","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":"Q3612092$B51B5AD2-529D-4766-A12E-B2D0EDD16DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11408dd6eb63e6af3770ee4f45371eb4682c5354","datavalue":{"value":{"entity-type":"item","numeric-id":3152931,"id":"Q3152931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d7d5241bbf0578166e28b87ecd133bd356dfba2","datavalue":{"value":{"amount":"+0.7285540103912354","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":"Q3612092$1E7D08B8-C13A-4276-B6D6-5E9663B04F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea95e49f05526edb7368d843c6ed27a9c17b632","datavalue":{"value":{"entity-type":"item","numeric-id":4923522,"id":"Q4923522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cf4150fb25930a77484e8abe7f75bc30759eeb1","datavalue":{"value":{"amount":"+0.7239580154418945","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":"Q3612092$4D7B8D78-1A60-47AC-B50D-4E93EDE54D88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complete proof for the correctness of programs with new specification language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_complete_proof_for_the_correctness_of_programs_with_new_specification_language"}}}}}