{"entities":{"Q765513":{"pageid":767362,"ns":120,"title":"Item:Q765513","lastrevid":64209240,"modified":"2026-04-11T18:21:42Z","type":"item","id":"Q765513","labels":{"en":{"language":"en","value":"Refining abstract interpretations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6016055"}},"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":"Q765513$BDD69890-9118-433A-8F73-6FFD0A880E01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1142390ebf88b51724a8a5ac9766a1adcdd69af6","datavalue":{"value":{"text":"Refining abstract interpretations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q765513$11421E77-57F8-4C7F-B234-F165CA856A2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c16f50ec5902f4866ce198bba3ae676a212effa","datavalue":{"value":"1234.68258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q765513$7817B3E9-4121-44CC-8BD8-6BFEA051D4A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b79748e69b13b80e9cac132980bcb17bb8e03dbc","datavalue":{"value":{"entity-type":"item","numeric-id":765510,"id":"Q765510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765513$89CCEB36-346F-4E77-8DF4-435E4FF50A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9402163f6499a1d088bfc900c18810df19851ad9","datavalue":{"value":{"entity-type":"item","numeric-id":526772,"id":"Q526772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765513$40913C8D-158F-4152-A777-CAF5BECE76A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"404c35f5e22cfb67984e81e72f05be65541ec9cd","datavalue":{"value":{"entity-type":"item","numeric-id":765511,"id":"Q765511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765513$8E72F2C1-1564-47DA-AB1F-02B0CCE6C77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1680139912b893dbf24793a201b57f8a0fbf4194","datavalue":{"value":{"entity-type":"item","numeric-id":765512,"id":"Q765512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765513$0EDD204F-DE86-4094-BEDE-958EC594BB0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765513$A734EE50-4F5E-4D92-9ABA-A366200A1C06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3a09f4fda9fcd4791a88e88ca245a42392f6906","datavalue":{"value":{"time":"+2012-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q765513$E31C47D0-2F71-44F0-910B-6D78D35A9DE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q765513$75969E90-190F-4C13-B7CE-A0994EA60DC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3aff4fc31b7b8c49c3b0e7562664e7625d818e1","datavalue":{"value":"6016055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q765513$21E979B2-5BFA-4E60-9B06-550C2DCF7D33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q765513$5C87F8E3-0195-47B9-9275-20B311875F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q765513$87A37991-A006-4678-A67F-FD47117FA785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q765513$653617E1-8E3A-462E-9D67-8E2FF1E7A2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae8794be5634259987f7e3035390d183ba5b4edb","datavalue":{"value":"CEGAR","type":"string"},"datatype":"string"},"type":"statement","id":"Q765513$445ED63C-6D93-4593-8725-655CECE4741A","rank":"normal"}],"P1463":[{"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":"Q765513$8B77882C-515F-4DFA-BC98-C38219486C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"186b5b3d722a89e38fc553043bf5da3991c467eb","datavalue":{"value":{"entity-type":"item","numeric-id":17100,"id":"Q17100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765513$E94F0025-E76F-4D62-97CD-47094B9487CA","rank":"normal"},{"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":"Q765513$51E8E458-1B34-438C-BDC5-B4F570E894FF","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":"Q765513$B6FF82B1-EF2E-4854-B667-44BA4ECA4CF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7e633109e9992789e1c145860f2fa6c3df13793","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2010.05.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q765513$FD2C4BD8-0284-4969-BBFA-2F39DEC37F79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64323d23ba942b418cb542bca3f866d0df827206","datavalue":{"value":"W1974830258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q765513$DFED8E94-071D-4653-9160-C1383BD88C98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4e2205c650238b28dcba3d5ccc3a0ab20b3005","datavalue":{"value":{"entity-type":"item","numeric-id":5901909,"id":"Q5901909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765513$7D299E82-59DB-42D9-88A3-622889F23A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765513$2ACDE509-EB2C-4D34-A419-9862E62EA905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b29f5c346bf5a24701d5c41a17898f8ee49261","datavalue":{"value":{"entity-type":"item","numeric-id":5458344,"id":"Q5458344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765513$D0B8EC94-1C7F-4CA1-AF00-0757204499D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb0e8d299c09f38181b1f1ce7209848e193b8ea","datavalue":{"value":{"entity-type":"item","numeric-id":5899074,"id":"Q5899074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765513$6514F9F5-34D8-4ED0-84A4-161211ACB05E","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":"Q765513$BA4BDCFF-4E06-4FFB-89C0-9E73A907FC96","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":"Q765513$0298D565-4988-412E-8614-36E24CE0624F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"783708be0d5698bc82542baf77bf0f8a4b82cb9a","datavalue":{"value":"10.1016/J.IPL.2010.05.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q765513$F82E5B63-A1F4-411B-A75D-7FCDA2CD72B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d6be6349ea4cb681866f079ec6d023ff529e70","datavalue":{"value":{"entity-type":"item","numeric-id":5458344,"id":"Q5458344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0da35306c0481e4fce98a4f8466b3afae55f87c2","datavalue":{"value":{"amount":"+0.90099275","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":"Q765513$AE012905-B77B-4F7A-9E39-21D4587A0350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a3a380111562d661f14c9f6036a24d2fb2231f6","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43fce0f5be367c123142e698a8cdad5d7158d959","datavalue":{"value":{"amount":"+0.8896236","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":"Q765513$2A00F37E-5551-4C8E-9490-06ECEEF4E76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3486c66393ed979a48cd2dd3cc6393825a334e12","datavalue":{"value":{"entity-type":"item","numeric-id":1330440,"id":"Q1330440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f24410778f8fac72b058092fbd783a906f4daa9","datavalue":{"value":{"amount":"+0.8702289","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":"Q765513$27BFC3D2-9B8E-4ABB-A324-87F4E679C370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d14d0c6f6e75ce015a354930927a435ffbb164bd","datavalue":{"value":{"entity-type":"item","numeric-id":5204344,"id":"Q5204344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30d22f90f0aedabe0d96d9bccde9f88656b8ee87","datavalue":{"value":{"amount":"+0.855175","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":"Q765513$F2FD3583-8AA0-42AC-839D-BF9BB5181FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20df20d10bd6bd17dff0833ae1564e325270088c","datavalue":{"value":{"entity-type":"item","numeric-id":4738461,"id":"Q4738461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"242a2d7f5c1551f7004271ad02379ed5e0594835","datavalue":{"value":{"amount":"+0.849694","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":"Q765513$358F9C10-8B7E-4B1B-816B-6DCA0AECDF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741ea37db369e16f42e170a9152b130273d3d5b9","datavalue":{"value":{"entity-type":"item","numeric-id":2994492,"id":"Q2994492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d76166c3560ae4fc632ebe6ce20187154b0c4d87","datavalue":{"value":{"amount":"+0.84917754","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":"Q765513$285758D3-B14C-4DB7-B662-25DFAB6AA16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"290d83f76ebd14af519c120653ec32c64b4658aa","datavalue":{"value":{"entity-type":"item","numeric-id":5394168,"id":"Q5394168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc1975ec698d7d6b2832a4eaf08faf5910ef38ef","datavalue":{"value":{"amount":"+0.84768665","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":"Q765513$1D6BC7A1-69C6-45EB-81B3-4B352A9EB3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b17e7026bd58d2f34a3698f5c10188158e53b358","datavalue":{"value":{"entity-type":"item","numeric-id":2965440,"id":"Q2965440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"912695edbb8de4fcfe719b5fb5114e7234f62b1b","datavalue":{"value":{"amount":"+0.84401536","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":"Q765513$8F2B898F-BE86-4067-9225-4A05C170176F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698369450c78f76e211c19d1c03abcf374364850","datavalue":{"value":{"entity-type":"item","numeric-id":3680241,"id":"Q3680241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d49f5d8bc73883ed5b6db0e850d4b0c948357fb","datavalue":{"value":{"amount":"+0.8320451","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":"Q765513$52FABD53-3D7F-4A74-83D6-41CAEEB3E874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c74be4250a95f2f4d16e502bf14990faaf1b4b57","datavalue":{"value":{"entity-type":"item","numeric-id":5857678,"id":"Q5857678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e18b184f85f22b86785c1cf35edab3e2da17b2f","datavalue":{"value":{"amount":"+0.8312379","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":"Q765513$59332755-CE26-49FA-9D3C-A1FC42F458E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refining abstract interpretations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Refining_abstract_interpretations"}}}}}