{"entities":{"Q3452246":{"pageid":5227907,"ns":120,"title":"Item:Q3452246","lastrevid":80487290,"modified":"2026-05-06T16:18:44Z","type":"item","id":"Q3452246","labels":{"en":{"language":"en","value":"Simple relational correctness proofs for static analyses and program transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6507252"}},"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":"Q3452246$AC203ABB-CEA1-4310-B118-3714A0A4F17C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26d19e1563da1a29c853707c36fe78456ce5e3c2","datavalue":{"value":{"text":"Simple relational correctness proofs for static analyses and program transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3452246$345D2601-A821-45D0-A03C-9E424324716A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e12da5eddd900c50037e39f1569bfdb3300c42d","datavalue":{"value":"1325.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452246$C8FB5DAB-4C96-47F8-B159-A0671C913733","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a21efdbeaf39f0839bf1a62ac58b66e743aa819c","datavalue":{"value":"10.1145/964001.964003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452246$80DEE064-6C13-410B-9555-5835A9B3D0AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24edb71357444cfa1110c00b8f09fd608c1bc854","datavalue":{"value":{"entity-type":"item","numeric-id":2392478,"id":"Q2392478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452246$8C551221-27F8-4D84-9A32-454273F942D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0852588251a756a8ac86204eccc7b587f97246ef","datavalue":{"value":{"entity-type":"item","numeric-id":3452244,"id":"Q3452244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452246$34EA6F32-5ABD-40F4-97B7-9B25FE068CCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c539994eb381dc1a629fdee36492e4b7f4d8928a","datavalue":{"value":{"time":"+2015-11-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":"Q3452246$D25FD46D-C81D-4BC4-AF51-46D5483B9CF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452246$3044019C-506C-41DC-9E33-8EE3A8D38F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452246$AF228778-29A8-450F-91E0-6DE6A5B45649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452246$02319898-7273-4E97-A6D8-F01A5F942C1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f476974f37d1f2ad154185f4bdf44e83c70c23d","datavalue":{"value":"6507252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452246$DA27D9CB-0EAF-4C07-AD33-2E0D5AF1118D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452246$CD857161-CB47-4F12-A005-04EA903A9824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452246$77E7C62C-A80A-453C-A09C-B5092261C180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"662b5350184818158d059bf43c917345a3d5cf34","datavalue":{"value":"dependency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452246$004E758C-C84B-4EF0-9B21-8117015844FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f443739aaf47befb8de516f78c7b4d8d4b14ff9","datavalue":{"value":"information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452246$079CFEDC-1F77-43F8-AE9E-BBD21A7100E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae982c3a6db4fe4b8a23c876977436cad1d1a258","datavalue":{"value":"optimizing compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452246$9B46E82B-40E9-4AEB-B16F-CE19BC829A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a70123e3939e6fbc904ae7f6a00f83c4e19e7ca","datavalue":{"value":"partial equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452246$99E1E17E-1830-4DB3-941B-C0291C428E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452246$AA5F0CD5-6E51-4FFC-BFB0-DF6ED00A92BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452246$75BAAFEA-C378-419B-9AA3-946B9682BBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452246$B032B7F2-4E80-4FBE-B331-475E839FCDEE","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":"Q3452246$67AF713F-6640-4F7F-ABC6-C1F7A58C8DDD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96fa5f72c5351fe8ab9100736eecb48cbc74aa8e","datavalue":{"value":"https://doi.org/10.1145/964001.964003","type":"string"},"datatype":"url"},"type":"statement","id":"Q3452246$51FC94A1-B411-4CE5-8F23-A8F487920A2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3096dcee66d19116840bb756b0820aa38c9bf323","datavalue":{"value":"W2149996206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452246$90523559-0CD0-4B35-9A46-9B2177861ED9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcaefb3b70d25c064a9f1741c555ddcca94f1c78","datavalue":{"value":{"entity-type":"item","numeric-id":953533,"id":"Q953533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae111c155b88d4b607b7e843bcaf0107ab801b3f","datavalue":{"value":{"amount":"+0.7775635719299316","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":"Q3452246$0836AE03-C3B3-4EA0-996C-FD798264E2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30c6407bd166397d7230c433ce203b5500c8c930","datavalue":{"value":{"entity-type":"item","numeric-id":5714452,"id":"Q5714452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82ae46408aad4ab8b6dc30db2ff85c524e587d79","datavalue":{"value":{"amount":"+0.7736169695854187","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":"Q3452246$A89F3D1B-CE9C-4695-A6CE-B1712205AE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3225641f01c2d8218483865e04de412376b91f5","datavalue":{"value":{"entity-type":"item","numeric-id":843219,"id":"Q843219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38d1123e280dbb1d699c1cd5e33829570027f3e2","datavalue":{"value":{"amount":"+0.7698768377304077","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":"Q3452246$8CA724B5-1AEE-4957-A983-FEC62F39D4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe66ffc594f268ae47fe9bd036c7ee18509b6e7","datavalue":{"value":{"entity-type":"item","numeric-id":859953,"id":"Q859953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08e858b1c054008f35f59fb8af45009ec1086787","datavalue":{"value":{"amount":"+0.7555744051933289","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":"Q3452246$6B1B8C9F-3F16-47B4-8C38-6C732E430F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967b46f54b965e87160916507238d5e18fbd01f7","datavalue":{"value":{"entity-type":"item","numeric-id":1768477,"id":"Q1768477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eea8dfe1f79a5ee57ece8819da5a630dc71a0822","datavalue":{"value":{"amount":"+0.7484932541847229","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":"Q3452246$A0D7563B-D00D-44C3-A1A3-152B24F2726D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simple relational correctness proofs for static analyses and program transformations","badges":[]}}}}}