{"entities":{"Q5748872":{"pageid":7778423,"ns":120,"title":"Item:Q5748872","lastrevid":49453417,"modified":"2026-01-07T04:42:25Z","type":"item","id":"Q5748872","labels":{"en":{"language":"en","value":"A practical framework for theabstract interpretation of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4182790"}},"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":"Q5748872$775832CC-FB4D-4DC8-8884-218D9FAD41BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1cd8d4773098e6e45c204be80ed337660456cfc","datavalue":{"value":{"text":"A practical framework for theabstract interpretation of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5748872$E1828BA7-35EA-42CF-85F1-3CDA8F8FA604","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4234d9308d599c9052577b6462cc12eceb25771f","datavalue":{"value":"0717.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5748872$F3B9EFA9-28CC-4D6F-ABEC-64F17677E7DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe6b7f20b37a6ed57163d0b73ca343614bad8652","datavalue":{"value":"10.1016/0743-1066(91)80001-T","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5748872$3829C3BA-A466-4896-94DA-B5A20EA88BC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fad0a696a48629b32209d6a33edd7328bb65d41f","datavalue":{"value":{"entity-type":"item","numeric-id":582148,"id":"Q582148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5748872$C4F598AC-E233-4ACA-BAC3-C334ABC5E1EF","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":"Q5748872$F83CEDE6-93DE-4F33-B002-9E2EB20BBAEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5748872$B2317C99-E2A0-48A9-882B-3F957F7D83E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5748872$9FC2D6C6-2FD1-4A45-9C5A-1CEE16340E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5748872$00B7D4ED-B2FF-4455-A62C-1547B18371A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5748872$28AC6B76-5FD6-44BD-82BB-A7A2A3CB287E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db554a34bf5aa53fcfe46e6ba82cdbdc086fe692","datavalue":{"value":"4182790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5748872$25798BA0-B461-483E-9EBD-B0F0090FF9C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01fd7863478146ef934b7c27046443c23bbcf6de","datavalue":{"value":"AND trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5748872$8F545B1F-450D-404C-A88A-C8254A645170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fde68f27e15b206fa5e66bdee998b23d739db052","datavalue":{"value":"AND-OR graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q5748872$F874AF20-AA58-4DEB-ACE4-D2EEE38B380F","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":"Q5748872$321F86BF-FDD0-4427-B9EB-281D124D9CA1","rank":"normal"}],"P1643":[{"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":"626fb3af3d3ac998a354a7f855f9af0f1855c104","datavalue":{"value":{"amount":"+0.8586426973342896","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":"Q5748872$65EAA3DF-119B-4774-BA24-B29C2D58B6C2","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":"9bbcbed16dd8bc0cd57e8994b262a92c86adc769","datavalue":{"value":{"amount":"+0.8363528847694397","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":"Q5748872$CFAFE760-5B11-4EE5-AFAC-4D21CD13AF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd39c23d333d50a85c9612566f870f4a9dee8c99","datavalue":{"value":{"entity-type":"item","numeric-id":1318725,"id":"Q1318725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8023d56640978a4e8f7b19582ebb5f745e94c81c","datavalue":{"value":{"amount":"+0.8346732258796692","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":"Q5748872$CCFCC6BF-8AC8-4D7A-9878-C5425C332F62","rank":"normal"},{"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":"b86a64502756b40af9d9514a6413eb84822d5c44","datavalue":{"value":{"amount":"+0.8297133445739746","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":"Q5748872$AB3700A6-CEE1-495F-8685-9369B63E9B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7710689999062aba102967f0498074b1d8198c12","datavalue":{"value":{"entity-type":"item","numeric-id":2956724,"id":"Q2956724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbe22f52ebbf7fd7b0d3369dd0e5b4527caa3149","datavalue":{"value":{"amount":"+0.8112938404083252","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":"Q5748872$748E7C01-2FD8-4879-BCBE-C9BFFE4128C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5748872","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5748872"}}}}}