{"entities":{"Q4012713":{"pageid":6042510,"ns":120,"title":"Item:Q4012713","lastrevid":55184839,"modified":"2026-02-04T13:34:32Z","type":"item","id":"Q4012713","labels":{"en":{"language":"en","value":"Compile-time derivation of variable dependency using abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65197"}},"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":"Q4012713$CD3117EC-E9D1-4320-9414-DA654D909F1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e31bab35e9cdd1fb055c4693397fc38d7a2f1696","datavalue":{"value":{"text":"Compile-time derivation of variable dependency using abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4012713$8866E9CC-A7D3-425C-9BA7-A359D6AC8404","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a92b3e28017c4693aa46186bb0f256c7366cfe8","datavalue":{"value":"0776.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012713$E0FF7DE5-2971-4518-B311-2CCEBFDEBBCE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aee3a66b0aa1471ff5151fd90550e2bdad0feb5b","datavalue":{"value":"10.1016/0743-1066(92)90035-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012713$E316FD15-9E1C-4E55-8E0F-95E370BC7AD0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a41090a16e5c5b6c36b0650eeb5d0c139ca9b183","datavalue":{"value":{"entity-type":"item","numeric-id":2764072,"id":"Q2764072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012713$D97DF9BA-AB3F-4449-92D5-980AF4A2D7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fdc9da9080ec9c8e10fd6ecc20006e9734d7d9e","datavalue":{"value":{"entity-type":"item","numeric-id":488323,"id":"Q488323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012713$10C13E96-2374-434B-B269-E3775AAD819C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012713$CB934E10-6FBC-42A8-8D78-4E3AD53125CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4012713$5ED794AC-A973-4E97-8E36-F12161980DFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42cab800ef38193c2dd9b6f305284b31b9157cb5","datavalue":{"value":"http://oa.upm.es/14291/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4012713$F70A7CE1-3FF6-400D-8A48-D58E213D8903","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012713$B410C232-B4D4-442D-AD0E-DC9D8D72A73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012713$5F8549A0-09F0-4DDB-9AFE-1D2877D30261","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8198fdbbd5fa8cd207cc36138cd00f71f2d5aefc","datavalue":{"value":"65197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012713$B4D775AF-2D56-48E9-999B-FEB0B26A5472","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20f82aff92ee1f3fe5e6ce59929a7e912fb31540","datavalue":{"value":"variable-sharing information","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012713$83A7BF57-B7AA-4AD5-813E-83EC55B28B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a250566d5e067e1d84072e07a2f6bf8369aa4f8","datavalue":{"value":"abstract interpretation-based global analysis of logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012713$CE5D3DEC-7BFE-493E-A514-ED4432FFC7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0edd525b180b8b2665331aeb1512d1dff45f5a7","datavalue":{"value":"AND-parallel execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012713$20269C3D-1DF0-482E-8D9E-C12E032C7CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d22e6322fc59b6f98312f1c3d69e034bf9301ef","datavalue":{"value":"term-dependence information","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012713$14FD1434-A75F-48CD-96A4-9C0BD65082CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61e63e07e62605895617f86972ed5a7dbdfc9809","datavalue":{"value":"abstract domain-independent fixpoint algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012713$A2587F50-45F9-424C-81CF-179CB2B5F14E","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":"Q4012713$3572334E-355B-4460-BECD-A19014DA6F78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61f36137988a672b708dfe173adeee5765f18cf6","datavalue":{"value":"W1965377774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012713$46CD4475-F031-4081-B4AB-51D8F48612E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebfd2f24b30bfff8b4e4203bd0e845e310e19a2","datavalue":{"value":{"entity-type":"item","numeric-id":4012712,"id":"Q4012712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"767145147fbcde09fc9dd06813b50dbc53214b65","datavalue":{"value":{"amount":"+0.818296492099762","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":"Q4012713$A34ABC8E-1258-46F5-9EAF-C19682FF4C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc7dc76db7aa0aa0a3bcb10b369bd5f01e1bbbf6","datavalue":{"value":{"entity-type":"item","numeric-id":2763646,"id":"Q2763646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f78a78496b28da33ad9f2896bc1dedeaba077a0d","datavalue":{"value":{"amount":"+0.7892810106277466","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":"Q4012713$000F1ADF-F1A6-4F39-9C42-3CC2B86AAD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd49c9a46bf633252e6b955cee3bd0a1f2a8122","datavalue":{"value":{"entity-type":"item","numeric-id":5748872,"id":"Q5748872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7bb76321db5ea078248fc4963036b8072ab551a","datavalue":{"value":{"amount":"+0.7837656140327454","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":"Q4012713$37A79CA7-03A9-4C3C-A875-D36BA2E670CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cafa414ee675c4f19d5fd42ceb666a961662a3a6","datavalue":{"value":{"entity-type":"item","numeric-id":4208853,"id":"Q4208853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3316c6dac9777418908f920de6ab4e4b043e8a2c","datavalue":{"value":{"amount":"+0.7673413157463074","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":"Q4012713$F82C4F56-A7DF-442F-BD37-216A346231AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64469773fb5fe26481f4f9d605f86d49d8c18b11","datavalue":{"value":{"entity-type":"item","numeric-id":1186710,"id":"Q1186710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"762186fb8c10e411ceeff273a479c072531cbf39","datavalue":{"value":{"amount":"+0.7664034366607666","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":"Q4012713$E36FBF34-92E2-472D-B4C5-50DFE2EE072D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4012713","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4012713"}}}}}