{"entities":{"Q3392917":{"pageid":3403620,"ns":120,"title":"Item:Q3392917","lastrevid":50747651,"modified":"2026-01-15T00:46:46Z","type":"item","id":"Q3392917","labels":{"en":{"language":"en","value":"Abstraction Refinement for Quantified Array Assertions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5596295"}},"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":"Q3392917$0A63A925-FE18-40ED-8542-BD96AFF18A7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59b3b1d9b36aca1f1b21db99ec91a1d432d25900","datavalue":{"value":{"text":"Abstraction Refinement for Quantified Array Assertions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3392917$CDE02375-6BE7-4B8E-83A3-4177E967831C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89b83fa5918d759a27f63ef1e4416d6b110b9f05","datavalue":{"value":"1248.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392917$FA0F5C89-9017-42CA-8EDC-4C116AEB7633","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c171d265ad4cc882cabfb0b45f3377f23de8d9cb","datavalue":{"value":"10.1007/978-3-642-03237-0_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392917$B062B699-3CB1-40FC-B54D-8436F0859B77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc663e4e1b1b01bdb807bcb364eb0ac57acb9da6","datavalue":{"value":{"entity-type":"item","numeric-id":2789047,"id":"Q2789047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392917$8E0D5808-15CA-4DF3-8018-9C2038BBED47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3527a91821d36e757e1613c0da59458b564b0344","datavalue":{"value":{"entity-type":"item","numeric-id":225062,"id":"Q225062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392917$507F27D9-028D-47BE-8E76-8A9302D2B552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6149158a5043f35da69d3f3a654f45af834eb489","datavalue":{"value":{"entity-type":"item","numeric-id":286733,"id":"Q286733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392917$C73FBB5C-C39F-4A1D-BBAD-399767CCD8C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392917$2B6DA422-5DFB-46E1-9BAA-E4EF48F1F838","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1de6d3019de58c3b1284b728a467f4e3921f5e94","datavalue":{"value":{"time":"+2009-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3392917$929018FF-D562-47A5-B51D-F27224E7AE51","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd2b67ca1cb647b596fe0cd7ee0ba9c544cc2be0","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/19313277/Seghir_Podelski_ET_AL_2009_Abstraction_Refinement_for_Quantified_Array_Assertions.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3392917$9E8DD5D4-E375-4753-83F7-C6D3903A847C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392917$3BA4DBD9-8538-4A7E-B9D7-CB1705C094C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392917$D7508E39-E3B6-4E4B-8850-BC448DB87F01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fe80d97566bea30a432d5245979174126104e13","datavalue":{"value":"5596295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392917$0E03A142-F5FF-4BDF-ACFD-5735AC34A06A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392917$2BF9B7A0-DF63-42DF-9BCF-1396CD080F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dc9e88abc913a4b4fba265878f62bb009e36efad","datavalue":{"value":{"entity-type":"item","numeric-id":17099,"id":"Q17099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392917$BB77E25B-C11F-4E83-BCAD-481590DAB007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f2da37656ca9a865bd90c1dea26dd9a328d91b48","datavalue":{"value":{"entity-type":"item","numeric-id":15223,"id":"Q15223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392917$FFCF5E08-31E8-4D5E-86D2-3F699AA171DD","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":"Q3392917$9EA7DD85-50A1-47BB-B309-2B9041868AC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1e0b6a140f1b8585cddd6c54c83026f802c4123","datavalue":{"value":"W1951162889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392917$035ECBA1-0627-4EDC-8F56-F904593A806E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"302fba4972f027bccf62618a4d6131134324ec74","datavalue":{"value":{"entity-type":"item","numeric-id":4472235,"id":"Q4472235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392917$D567524B-E9DB-426B-89C3-41FB6659E68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e25f97d863b678de339f343f28e44115ff865f8b","datavalue":{"value":{"entity-type":"item","numeric-id":5452621,"id":"Q5452621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392917$E64DB715-EB3E-46FA-9E77-DE03515EECDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392917$A8BF0ACA-4876-4C15-A4A5-034CB7A071DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1da1b48aad7248192eb6bac6e3c0872fcb00b8","datavalue":{"value":{"entity-type":"item","numeric-id":5178906,"id":"Q5178906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392917$32C0C1D8-F000-4E7C-B669-FF59F49F0DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7518c3dc697c1f88392c573900510e6c347126","datavalue":{"value":{"entity-type":"item","numeric-id":5276157,"id":"Q5276157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392917$030D6248-0DAD-4807-AABC-A78870DC47C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ad83169ed8389564075d9eacd3961be1c6400d","datavalue":{"value":{"entity-type":"item","numeric-id":3189843,"id":"Q3189843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392917$B1220E5E-4707-4F82-A1E3-5498B94235B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392917$5DBA0B74-8290-4020-B672-58A6C92A1AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392917$CD656EE9-A9AA-45D2-99FE-37C95DC34A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d0dd7bb6db6a4c0ce328175c5c1c2e0bc50527","datavalue":{"value":{"entity-type":"item","numeric-id":5429322,"id":"Q5429322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392917$6B24E04E-1D39-4EE6-99CE-2F26523C44E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be08e56c42c2ed44ec3f04b21e115ceb75e622d","datavalue":{"value":{"entity-type":"item","numeric-id":5901903,"id":"Q5901903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392917$2A2184E0-B080-4147-8DE8-2B37546CDA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d14495826aa264560d537df53aac6867722fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5901914,"id":"Q5901914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392917$8EA533FF-9880-4F85-BABD-60D43176EF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca74c1b4b01eb5401c8b784be60efc1c72a7ed76","datavalue":{"value":{"entity-type":"item","numeric-id":5312894,"id":"Q5312894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392917$8220350A-CB80-497A-8DA4-86490D6B77A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1175367724993f3e0249db2e141c79883c1c01f4","datavalue":{"value":{"entity-type":"item","numeric-id":5711490,"id":"Q5711490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392917$2B0C0649-2B35-4859-8A27-42A20C12FE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1a62c24cddf605dd86a399f231d937d5444e0b","datavalue":{"value":{"entity-type":"item","numeric-id":5458341,"id":"Q5458341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392917$173EC227-C8E0-4E1E-880E-9D694DA771C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"911eaa0bccad8b17d2996fe857c127dd4e89f404","datavalue":{"value":{"entity-type":"item","numeric-id":5897437,"id":"Q5897437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392917$FDD6CE00-329F-462C-9348-DD3FFA01BE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f89133674e76c29495bcf32ab6232930559f5d","datavalue":{"value":{"entity-type":"item","numeric-id":5312904,"id":"Q5312904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392917$00F8AD4B-BA53-4A5B-A0CE-AFE266B9F6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55665864cc7d4cbfd1a6066354f723fa05efe529","datavalue":{"value":{"entity-type":"item","numeric-id":5277770,"id":"Q5277770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392917$D6694E53-74F6-4E0D-AF28-21CF7305E7E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9710f4030e49187b39ca798ce2f3b5a0d178205b","datavalue":{"value":{"entity-type":"item","numeric-id":3067480,"id":"Q3067480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99bf2a21a7a2b511b59d1d13f03333a66b08f80c","datavalue":{"value":{"amount":"+0.823713481426239","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":"Q3392917$CD2DC4AA-08ED-49A4-A91A-058770577E41","rank":"normal"},{"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":"93eada2ec08646d3f162159240d0fd2b419b2532","datavalue":{"value":{"amount":"+0.7997720241546631","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":"Q3392917$60E0E012-4666-4ABD-8E7F-A2496B9104AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80143bd512085f0c9afbc3d759ac764ac4d2207b","datavalue":{"value":{"entity-type":"item","numeric-id":5758120,"id":"Q5758120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ebc6e22152487278602efca5b1df94699c9300","datavalue":{"value":{"amount":"+0.7862295508384705","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":"Q3392917$AF3004E6-2F2E-49D5-93C6-93AFAB40C863","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":"90a4f7e4e11b4f4eb52282c4c421125bbc879f7b","datavalue":{"value":{"amount":"+0.7676962614059448","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":"Q3392917$5600CC65-F522-4308-8390-60AB65DD398B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1755c681f2850b9c2be50d8a3f34fae490a03b10","datavalue":{"value":{"entity-type":"item","numeric-id":479820,"id":"Q479820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5200602c8ab47a8282b0993b8bcc69d3fd49474a","datavalue":{"value":{"amount":"+0.766949474811554","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":"Q3392917$4DAA3912-BA5E-4B87-AED1-38334BA3FAEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3392917","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3392917"}}}}}