{"entities":{"Q2814096":{"pageid":2824834,"ns":120,"title":"Item:Q2814096","lastrevid":83668001,"modified":"2026-05-07T09:55:51Z","type":"item","id":"Q2814096","labels":{"en":{"language":"en","value":"A modular static analysis approach to affine loop invariants detection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6594898"}},"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":"Q2814096$9F67768D-7B8D-4867-B5DE-E29933CAC4B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"420da98c236a674b965e095f9eaa221aadf9d64e","datavalue":{"value":"1342.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814096$4A8228F1-0553-4188-B4D1-DE81D8687587","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a684c0669dae9870d41883e1e328540cc4b007aa","datavalue":{"value":{"entity-type":"item","numeric-id":676626,"id":"Q676626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814096$B726DE19-0ADE-4C1B-85ED-C33F780BF319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87f666e1a6fa5bba4e64bed2539683932bbbfc3c","datavalue":{"value":{"entity-type":"item","numeric-id":676625,"id":"Q676625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814096$38087C8D-E99D-4C74-83A2-4805A45BEAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cfa2a443ae56023dc655207b3b454570c3ff4fe","datavalue":{"value":{"entity-type":"item","numeric-id":281286,"id":"Q281286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814096$4A7D21A5-AA1A-405D-BB81-A083CDD266B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814096$41A09469-3675-445A-A72A-5A1D797E1BEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c31e552012427c3e62f18a09181317c2bfb4828","datavalue":{"value":{"time":"+2016-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2814096$8D7B9B69-4C12-4FB1-9CB6-BFC6A4BEE515","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814096$25C88902-659C-4E26-828D-05784A947824","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65c3894c7bac9bef4be88de48c451ce38413ecd2","datavalue":{"value":"6594898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814096$B66F2ED8-38EA-420D-B1DD-CE2BA3F7B74D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814096$9DA22324-B93B-444E-9DBC-624BF7910A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffa79be6ed9cd78d1cc07a25927c9729e5de67c","datavalue":{"value":"fixed-point computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814096$7E79B0D7-D1C2-45F7-AFD2-5F49752519AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa0a4da572274ad55899bfb2fae87dc4ba0cbad2","datavalue":{"value":"loop invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814096$BE5958A4-0319-4D49-AD93-E997B075B6FF","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":"Q2814096$BEF45D47-7974-4611-B73B-3F0D382FC25E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a997df1be4202b74ade039034e5920c6b25b54c9","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2010.09.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2814096$2CF4519D-CA10-4C9B-B6E3-589BE08A4E16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d358757dfb68ab38d3ae377e7733f72847d98829","datavalue":{"value":"W1969311876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814096$20872FB7-39B7-41DC-9F1E-973DC71EF486","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"333f870969a03a9ceca6d80ee5d60c44f3c33309","datavalue":{"value":{"entity-type":"item","numeric-id":2814096,"id":"Q2814096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814096$0CC9FBAF-6597-40ED-8A3B-448C2430DE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b315673df1b2bba7031ce04d140e05c8af91be7","datavalue":{"value":{"entity-type":"item","numeric-id":2839225,"id":"Q2839225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814096$BF644097-75A9-4032-962D-FF565E4213CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821ccbcc9d1ea492841ebfd063ad9534d2423518","datavalue":{"value":{"entity-type":"item","numeric-id":6044119,"id":"Q6044119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814096$21EA3297-8189-4F21-8EBC-B3A96575D50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5deaf0cccbcd91007881f1158a0f8b6702383fda","datavalue":{"value":{"entity-type":"item","numeric-id":3612009,"id":"Q3612009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814096$6456A523-27A2-4F10-99AE-FA5C0CD4ECEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"015bf62b042bc92d62e472212af84dfe1c997bf7","datavalue":{"value":{"entity-type":"item","numeric-id":3189808,"id":"Q3189808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814096$A0FB800A-8914-4A76-8369-FFC35DF3C00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e48fbeda49f225875efa4f4be367606baceb2a1","datavalue":{"value":{"entity-type":"item","numeric-id":4860805,"id":"Q4860805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814096$08EF4A81-3898-4818-AE75-1EB1B679CBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d6f89901bb1264c7e9f22a16224fb694fab3c0","datavalue":{"value":{"entity-type":"item","numeric-id":3943982,"id":"Q3943982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814096$16AFCB8F-365E-4CBA-BE97-D1A87509E505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814096$02EBE2A1-F159-4C37-A02C-290325222EFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fae05a6785bce071d4de3e5dee8ba72b6bb7dff","datavalue":{"value":"10.1016/J.ENTCS.2010.09.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814096$CF1873B0-4648-4763-A038-A51F4B6B9AB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b705e084767d25343dd418d66ba95475cd0b23e2","datavalue":{"value":{"text":"A modular static analysis approach to affine loop invariants detection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2814096$2A6E2B60-7C4D-41B9-A7BB-00651F968EC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096e1fce489a0312ab0c13d68374a2d1d6c8a39f","datavalue":{"value":{"entity-type":"item","numeric-id":281287,"id":"Q281287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efac93b1aac8261d0a9c40a1deec58ca51e82749","datavalue":{"value":{"amount":"+0.7765122652053833","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":"Q2814096$0118A37F-F758-48DB-9F7B-9A2C51693B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc83f42d28d63a2eaaa8b90e766567e54a9647a1","datavalue":{"value":{"entity-type":"item","numeric-id":5261513,"id":"Q5261513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bba9c9f809aae36df97facad5a4be0eb7a690ebb","datavalue":{"value":{"amount":"+0.7667794823646545","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":"Q2814096$E9D20258-C23D-4C74-BD53-5977DCA82AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d177f0820fe98d1caebee378ac8913e7651c8a","datavalue":{"value":{"entity-type":"item","numeric-id":3575308,"id":"Q3575308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1834b7103b9957129a76ab463c19e47b7a109076","datavalue":{"value":{"amount":"+0.7477810978889465","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":"Q2814096$1E8F1999-C1D8-4636-BCF5-B9DA21E8A8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30e087b2a7a80b780876171e6a15c3b2a1db1272","datavalue":{"value":{"entity-type":"item","numeric-id":3540068,"id":"Q3540068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37786014ca6d4ddd4bc0e7d1c3beec14c16d17b2","datavalue":{"value":{"amount":"+0.729438066482544","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":"Q2814096$4FCDDD00-0740-4690-B2DF-B6B8C8F0B68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41e23bb9a622502f6acd0710499181aa0f8a2584","datavalue":{"value":{"entity-type":"item","numeric-id":4738384,"id":"Q4738384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a20cfac96a0bfb932b6d55f289d668267c4f0ec9","datavalue":{"value":{"amount":"+0.7241196036338806","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":"Q2814096$AA1F49D0-C4FB-4DB3-8968-DAD3157F8CA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A modular static analysis approach to affine loop invariants detection","badges":[]}}}}}