{"entities":{"Q2026786":{"pageid":2037528,"ns":120,"title":"Item:Q2026786","lastrevid":43483499,"modified":"2025-07-28T17:14:21Z","type":"item","id":"Q2026786","labels":{"en":{"language":"en","value":"Array abstraction with symbolic pivots"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7350297"}},"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":"Q2026786$E19040B9-CA7C-4976-91D8-F28D8FF7EFF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b910b32525dcb3b6c6a2a47e593b1765d45ce883","datavalue":{"value":{"text":"Array abstraction with symbolic pivots","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2026786$06614320-1D24-47CD-A5B7-5CD52457BE5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c5c47c99d6c6cb1aa2a7ebcfd0ab7d39ac9e73b","datavalue":{"value":"1475.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026786$C4863609-DE7B-4CBB-9CCD-F5964A0D6954","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42c8ada9a6e34a12e9727080f66dbe490a40fe6a","datavalue":{"value":"10.1007/978-3-319-30734-3_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026786$35C53E0C-8CA5-4704-A699-976A419E0808","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7743279316f8ce0cdbb2e6d0842ac12b618ecbfa","datavalue":{"value":{"entity-type":"item","numeric-id":679246,"id":"Q679246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026786$BC95CF7E-07B8-486E-A5CB-11C2A827277B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44829478b634b2d2e981facbc9bdd616f9f20d3b","datavalue":{"value":{"entity-type":"item","numeric-id":1707600,"id":"Q1707600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026786$7D63E34F-C57D-428D-8D7D-7A392686180E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc8ce92eca2e3c80d93d3d73f34c70e2fee7fb6","datavalue":{"value":{"entity-type":"item","numeric-id":1675814,"id":"Q1675814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026786$1398153F-9D34-4E42-945F-151FA3245C7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"211031a52806337129a1eef00df007a6622a5387","datavalue":{"value":{"time":"+2021-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2026786$110D5D0A-EB94-4006-8E8C-68EC3985B39F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026786$C413A89D-96BA-490B-BACC-D761AC0FBD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026786$EC5BB607-988A-4798-8B49-04F5E77C7914","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddb022868247a011af48f1fd55fbcc7ccdca4b58","datavalue":{"value":"7350297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026786$095C2382-C8C1-42D2-AFCD-8FD128DD2C73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cb4daf640c7209fbc393fdbb274d6c1e7a14da4","datavalue":{"value":"loop-invariant generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2026786$94F4B367-86B9-45CD-A479-A105D07BAFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2026786$1A641BA4-2B1D-481D-A0B6-D5E8BF512CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2026786$EB0D521D-B179-4BF6-BF94-93B4B183A96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ef7f9eeca830566f67ae24ce3ee811589722b57","datavalue":{"value":"array abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2026786$7BA98B2D-7731-4CCF-8A5F-6B52D1281015","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":"Q2026786$C5DD7226-4B8C-494D-B772-905B11345DA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e71b158f20201da73f365c7109c3483deb61115","datavalue":{"value":"https://doi.org/10.1007/978-3-319-30734-3_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2026786$24BB76E5-217D-4874-8954-0344F8F1941D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed63e6671bd22204bae7c0f40bba3494ee28154c","datavalue":{"value":"W2346189690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026786$3AE3D01B-3BB1-4D32-AA81-2B60B0B300CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ba84101757f901fdc7a5743110873411af78d7c","datavalue":{"value":{"entity-type":"item","numeric-id":2891439,"id":"Q2891439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb8c9bc85340edcd480ad227c1ad1d9f1513c82a","datavalue":{"value":{"amount":"+0.8576833","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":"Q2026786$0953BFCD-7F2F-4300-9076-7DD66B5B8A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7080246487054104b638d53769ec9526e92f5c50","datavalue":{"value":{"entity-type":"item","numeric-id":5429322,"id":"Q5429322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfe2656ab0849069edf8b2f0663f3497db5bfa9d","datavalue":{"value":{"amount":"+0.8524813","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":"Q2026786$396FA97F-0B68-4B4D-95BF-78810AB22ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fa6c7f3e0606fbad2d4c243560c0449705cbea6","datavalue":{"value":{"entity-type":"item","numeric-id":4427890,"id":"Q4427890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6e17b046ff79bd08d596d21cf8ca71d1330ebb7","datavalue":{"value":{"amount":"+0.84379643","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":"Q2026786$F8272452-5865-48F8-9F19-B605C931549C","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":"a8e6e06366f28536cc7bfa3df9df9d6ba837fefe","datavalue":{"value":{"amount":"+0.836475","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":"Q2026786$44F34B29-D374-4076-A8E2-01701A8C5B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc6e099027fd7b4a0c939515bdb59dbab4443cb2","datavalue":{"value":{"entity-type":"item","numeric-id":1926589,"id":"Q1926589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa07d1f9e0847a3b56659e11c5fa5acf17b61d02","datavalue":{"value":{"amount":"+0.8317491","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":"Q2026786$AA024B9F-C077-4B76-9A73-3182F07A7401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d51a11388f3cd36ada90c2e3184eacb598fd0601","datavalue":{"value":{"entity-type":"item","numeric-id":2435444,"id":"Q2435444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c226927b829818a66b9fc542e2e470db6124dcc","datavalue":{"value":{"amount":"+0.82675993","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":"Q2026786$221E6456-5AF8-40A6-8523-95C542B3B95C","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":"6696841cf02905a1cd4d7d6dc6c377ef36f4e02f","datavalue":{"value":{"amount":"+0.82265794","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":"Q2026786$C2AA0689-3679-48DF-B865-528D8310E0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ccdad9fa37cda7df1d9f254c20e36ccdf0d699b","datavalue":{"value":{"entity-type":"item","numeric-id":1799137,"id":"Q1799137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9f5b279f7b4c2712e62645c8ca1df6fe31ad340","datavalue":{"value":{"amount":"+0.8193336","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":"Q2026786$8FB3E297-6497-40DF-9A0B-DC833119B168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76ef1a436af0c34b755d44f09837135971bafde4","datavalue":{"value":{"entity-type":"item","numeric-id":5172648,"id":"Q5172648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ff689dbf4de75e8404663eea0a62e725e31a55b","datavalue":{"value":{"amount":"+0.8176247","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":"Q2026786$8BDC66C5-2F30-499D-8F4B-40428C804515","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2026786","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2026786"}}}}}