{"entities":{"Q2938066":{"pageid":2948786,"ns":120,"title":"Item:Q2938066","lastrevid":85364456,"modified":"2026-06-03T07:21:22Z","type":"item","id":"Q2938066","labels":{"en":{"language":"en","value":"Verifying Array Programs by Transforming Verification Conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385882"}},"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":"Q2938066$75AD0FBF-890F-458F-AF8A-2B5846D42DB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9cba674116b7e1cc58c4a4aebf5291e692705a2e","datavalue":{"value":{"text":"Verifying Array Programs by Transforming Verification Conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2938066$B93A353F-FC60-47EB-B268-C2D1EE5C2100","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"580294eb0a4dc1af6a47f15d8910f47d4af29378","datavalue":{"value":"1428.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938066$D2621239-FE1A-418B-8786-BD628B09F4E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d7f039c19960e3ad96d76be680c61c5d2931db6","datavalue":{"value":"10.1007/978-3-642-54013-4_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938066$794FE26E-1E84-466A-A375-AC35C6F7E492","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"848f825b7d044d82deceb7cfe1f0d1c0ec5247c6","datavalue":{"value":{"entity-type":"item","numeric-id":1664381,"id":"Q1664381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938066$79056383-F0EE-424B-B9D6-ED3C05C87347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad0fb3e6789b1b1570ed736e8448792de0de85a","datavalue":{"value":{"entity-type":"item","numeric-id":1664382,"id":"Q1664382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938066$C292E763-18BB-425C-A9CF-E4DB98EB86AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a87226e249edb34abf2b072fcc5b9b500b03b478","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938066$56B71F34-A931-4AC4-B168-6CF04AA8983D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b380511e08624421de73be74130c083d2234aa7","datavalue":{"value":{"entity-type":"item","numeric-id":673494,"id":"Q673494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938066$D7A24D41-04E9-4F2C-9214-72101C7FBA02","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938066$09A8CA8E-6054-4013-BFA5-8882584D44AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7326fd6e0963f01b5d05d75894cb7d24907c61f1","datavalue":{"value":{"time":"+2015-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2938066$0853F7D4-6753-4A86-996A-F78892AE7549","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938066$85BF941D-6D0E-4373-AB48-59F7AD68298C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15c4518bc8b0dc759740701b96f3f47f2be7e191","datavalue":{"value":"6385882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938066$4C8AB660-4F5E-486E-ABBB-D4094D2D6360","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938066$2281A1FE-F4DF-47CA-BCB6-18628EC59C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1cb5c7412a95b8ff7f1ba4b73ca4c2023bf710a7","datavalue":{"value":{"entity-type":"item","numeric-id":21916,"id":"Q21916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938066$BE3F2373-6670-4DAF-9ECD-F4972C831E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"edcc5b773aefa12179daf9a302ebafdcfbdfdca6","datavalue":{"value":{"entity-type":"item","numeric-id":25620,"id":"Q25620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938066$300CB1F8-8CB9-4024-BB95-9628495D5AAF","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":"Q2938066$E42BF0D0-AD4B-42D2-AC89-05510B035504","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5426476df5213d5981ba19a5d99f58f178cc2a53","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54013-4_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2938066$700EB7A3-10A6-4077-AB8D-48E461B9CD77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a81818498d8f40cc9b6d8f8b3dbf2dbd127a458","datavalue":{"value":"W1522070859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938066$F1041F0F-2BC2-4A1E-8150-7247990FFD10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43e86e4866d63f946a9dce0ff82cf98a3b2b8ce6","datavalue":{"value":{"entity-type":"item","numeric-id":5464711,"id":"Q5464711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ce62d781b327f9ad700a3bf75d009eb4eafdf27","datavalue":{"value":{"amount":"+0.926142","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":"Q2938066$1CDFB500-A87D-441A-98BB-00F2FABC2EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8aa375c02a28c1e1bb936b979f466528418cce8","datavalue":{"value":{"entity-type":"item","numeric-id":3187012,"id":"Q3187012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e49245b9af4a1210957883ff8286b232ecbd7cd1","datavalue":{"value":{"amount":"+0.922094","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":"Q2938066$60945E1B-55C5-4435-A462-C8D05AFF8D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d0ff17ec6498d24801a74812f7e63fe7518c3c2","datavalue":{"value":{"entity-type":"item","numeric-id":2848907,"id":"Q2848907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9df28066ae318ebf603fc9d6ca566aa213e7187","datavalue":{"value":{"amount":"+0.9208547","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":"Q2938066$EB7A8401-686F-412E-A649-60029EA6B395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d07265b9f327d692de5e4c3c04ce692986154e98","datavalue":{"value":{"entity-type":"item","numeric-id":3785900,"id":"Q3785900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"084c3f359a6898bc233899d0489095d435f064f0","datavalue":{"value":{"amount":"+0.91910994","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":"Q2938066$535E5D10-3E10-4474-AF07-95291F560E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ade7e9871d3b7237ee26a5d7af7fab4ebaecb5e","datavalue":{"value":{"entity-type":"item","numeric-id":5039501,"id":"Q5039501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b9f63cb76b58321283173937a003839e3f0f4d9","datavalue":{"value":{"amount":"+0.9171897","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":"Q2938066$A9315E0B-423C-43C3-A6FB-73D33B2B838B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226e2e4cd98cedf563a4980a68e2180d1fecaae4","datavalue":{"value":{"entity-type":"item","numeric-id":5302878,"id":"Q5302878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abdb8b9a2f1624528f4ef2c8df1c8d8ca48d651d","datavalue":{"value":{"amount":"+0.9112721","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":"Q2938066$8FB059AE-C717-49CE-8DE0-77A13103584C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"076bfd599f38c7137555601dae82393bd0261d7c","datavalue":{"value":{"entity-type":"item","numeric-id":4589602,"id":"Q4589602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccd2e6fface3911ed73941a650a1784dca77943c","datavalue":{"value":{"amount":"+0.9085361","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":"Q2938066$F3525E49-50D7-484D-8E93-F4F0DFE14485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5563b95faa1b44f2d752ed5cbaa7a33e4344ac20","datavalue":{"value":{"entity-type":"item","numeric-id":3636859,"id":"Q3636859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d5a32db643225443277389af140f56470c1b83f","datavalue":{"value":{"amount":"+0.9017381","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":"Q2938066$7C2EB27A-D3D4-4536-BB2E-A91BE3372BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9550b460f7de999a0525aec28440b36da166a0","datavalue":{"value":{"entity-type":"item","numeric-id":5233256,"id":"Q5233256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6fb041700db29214e8af2231095e562676c047f","datavalue":{"value":{"amount":"+0.9008863","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":"Q2938066$C8D85F8A-94C5-4D3D-869F-4B88C3D90A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11d1f830652fa58533549c60b797285779e441c6","datavalue":{"value":{"entity-type":"item","numeric-id":2409744,"id":"Q2409744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54fba883d9d9137a05cba3fc7aee72203cd88887","datavalue":{"value":{"amount":"+0.89829534","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":"Q2938066$A9AD546E-EC79-413C-B079-35D0C555B5C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying Array Programs by Transforming Verification Conditions","badges":[]}}}}}