{"entities":{"Q4036279":{"pageid":6065998,"ns":120,"title":"Item:Q4036279","lastrevid":81376817,"modified":"2026-05-06T18:22:47Z","type":"item","id":"Q4036279","labels":{"en":{"language":"en","value":"Abstract interpretation based on oldt resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 168613"}},"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":"Q4036279$A1501014-BDCB-4C3D-B884-B6DF70D3E85B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3740dcbf1adc4a11c4d0f7b5ad5748370eef034","datavalue":{"value":{"text":"Abstract interpretation based on oldt resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4036279$279324CA-CF54-46CC-A35B-243194101F99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bf69223af2056a5abe6f44e0033137a8c134a76","datavalue":{"value":"0787.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036279$CE06D87A-2FC1-4104-A395-1EC2FF66E62A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a074f08ecee8c43b46c099784549b786cb5b6dc","datavalue":{"value":"10.1016/0743-1066(93)90011-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036279$123DC8C2-C3A2-4D6E-A5DF-0D722013194A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f468c70d224827fefee70639fa02168462f5456e","datavalue":{"value":{"entity-type":"item","numeric-id":915478,"id":"Q915478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036279$BEA5F521-755C-4C99-9133-51002C8FBC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3871cfb3e3ea0e6bb661db0e6355827d876a7e24","datavalue":{"value":{"entity-type":"item","numeric-id":915477,"id":"Q915477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036279$3D45058C-3B00-44E8-B20C-E09A5F3B83CA","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":"Q4036279$1CE7B565-9645-404B-8C73-57D5F9482CC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4036279$FA3D3327-D703-47AA-9E4A-396B2E687350","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036279$F73F03D2-642A-4B6E-B609-B5ED3F5936A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036279$AD3E4948-7EC9-481D-B0E1-959EB91EE46F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf1a68bf9539829e1a8c7a53a16751288d31e237","datavalue":{"value":"168613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036279$C5DDAF0E-B5B8-490B-965D-E248BC5E7EBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afd5f68c909b32d15246ca3700d59872a7aa7bdc","datavalue":{"value":"Prolog programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036279$2C574EDD-2647-496D-8ED2-4B9E09B1C0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24de4ce06a5f4ea772d9d365abb99d4ea6cf39df","datavalue":{"value":"OLDT resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036279$0426320D-CD30-4A81-B572-944BFE9272D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d21afb2043e159bc3758109f6e4c51ada6e661e","datavalue":{"value":"top-down Prolog interpreter","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036279$91C37521-8F73-45DA-B8BC-AB508DA1DBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66ea5f87dae9b612e94bcd6066d915713c1cb1cd","datavalue":{"value":"abstract interpreter","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036279$D60E39DE-F9DF-408D-98FF-02DBDF36D6F5","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":"Q4036279$421BA7CA-484A-478E-9D66-5FC4D7FBA616","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80f226cbe112051ea3b78012f4cefb5166b05971","datavalue":{"value":"https://doi.org/10.1016/0743-1066(93)90011-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4036279$9DE45B71-3103-42CA-A043-27404A90A434","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f535bd249a11ae9b71966ce7f5f52dce93e674b","datavalue":{"value":"W2079482412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036279$BDA28967-E5C9-4BD2-B883-D66DA593184F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f06214f1831b6095f2fb1e6001989cea672daf","datavalue":{"value":{"entity-type":"item","numeric-id":4452611,"id":"Q4452611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f510f293bc02e7024ad8a4e5c0011b136088c4c","datavalue":{"value":{"amount":"+0.8151471614837646","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":"Q4036279$E4D208EA-CA9E-4BA1-B6DB-78ED067879EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094a0110cb5d47483681620b12c3a0b405285499","datavalue":{"value":{"entity-type":"item","numeric-id":3201751,"id":"Q3201751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18887f6a9859038aa38973dfcbf8d2aeedecd829","datavalue":{"value":{"amount":"+0.7915204763412476","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":"Q4036279$54CE6222-4646-48D0-AC39-97419EEA0FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328b43185d1dc7f7141c94273926440366342c03","datavalue":{"value":{"entity-type":"item","numeric-id":1035705,"id":"Q1035705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddf7c735a49715349fe667987b6b0277db7cf33f","datavalue":{"value":{"amount":"+0.7811968326568604","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":"Q4036279$7339CFE3-EF4A-49A8-B9DE-68C3562EF64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60838d350036cfd4f4e4bf593a666dc1ab1dc48c","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7331509d5d7563b1191bd7b242ad5f06bf75c116","datavalue":{"value":{"amount":"+0.781183123588562","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":"Q4036279$FBC8C9EE-E9F6-42EE-8B68-AC24FE012F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d52463851021da6cc78864cd0661faacbfe458ed","datavalue":{"value":{"entity-type":"item","numeric-id":3795272,"id":"Q3795272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d4f9e688acb274a6c87d470094a448c9e88b98e","datavalue":{"value":{"amount":"+0.7809147238731384","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":"Q4036279$444B7A0C-36B1-4A68-9DED-63A707517631","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract interpretation based on oldt resolution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstract_interpretation_based_on_oldt_resolution"}}}}}