{"entities":{"Q4012706":{"pageid":6042503,"ns":120,"title":"Item:Q4012706","lastrevid":55184824,"modified":"2026-02-04T13:34:17Z","type":"item","id":"Q4012706","labels":{"en":{"language":"en","value":"Abstract interpretation and application to logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65192"}},"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":"Q4012706$F818CAFD-9D8B-4E24-A5C5-2D9E34913E6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f94e1cc025042e74785adf7bc80adcd1a7fd82e","datavalue":{"value":{"text":"Abstract interpretation and application to logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4012706$A9C9243A-91B9-4E39-A594-F6EB66B2B8D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06a8717b48ca89d39f165d5149b0133c7536b43c","datavalue":{"value":"0776.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012706$CF143857-B822-4791-80FE-1BB3C6A4BC9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1da8fc96a6c974afe194ac516a38dbdf720d9c47","datavalue":{"value":"10.1016/0743-1066(92)90030-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012706$B2AB03F5-4AF7-4776-AF13-DCFAA0EDD02E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66475c89deaa1b82e2a733011ec9769bb2327168","datavalue":{"value":{"entity-type":"item","numeric-id":655408,"id":"Q655408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012706$EF422C26-BEED-4610-BD35-F4A29CCE3AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aabe6d988e05fe3a7b00666b4b0ee76e06b180c4","datavalue":{"value":{"entity-type":"item","numeric-id":655409,"id":"Q655409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012706$A022FD08-673B-48D4-A205-D674B45E3EF0","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":"Q4012706$89369450-DCFB-4F7E-9AB7-6F851017498F","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":"Q4012706$80D885D6-2330-4FFA-ABB1-7271F89C7EEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012706$5B563669-0DAE-4EA5-9197-63FC5782DCA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012706$80937B55-8F60-43E8-B054-CBBECEBE74E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012706$9D2FE5F6-135A-46AD-9C81-BF237D97A0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012706$6DCFB0A8-EDBD-4067-BE16-7F75C7D46E48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e1b33dd97a3dcefa896bece62c2548c335138ed","datavalue":{"value":"65192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012706$196BFA3A-9684-48ED-B554-1E105065E0C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46218eed464f4526c6580d6fb6c6617eea28a9b6","datavalue":{"value":"semantics approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012706$536A7FCF-297A-4D12-9E29-49ED8AB9C52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d781beb83e4725de29dfd2c318041ccb0d39c6b","datavalue":{"value":"semantics-based program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012706$91D60208-99AA-462B-A5A8-6E252A3C32B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"268f18e8564f6b5efc42a270395a1675187b18de","datavalue":{"value":"dataflow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012706$133C5522-6E71-4B93-BA4B-87271DADA7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831481d3e36ede5fbdf9cb6bc25961089b18993d","datavalue":{"value":"abstract interpretation of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012706$91CA38D1-E7E8-4136-B3EF-EA27973A77A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012706$07A3B0B9-7218-42AE-9EFF-6B01FCA229D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012706$83926412-6A25-4EFD-AA7C-21978A60D23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e883aaff5d34a1e5d0b994ccd73cd7ce8b20a8e3","datavalue":{"value":"invariance properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012706$4E86AEBD-E4E9-4749-843C-0825DB916B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012706$48571B91-E1C6-43EC-9DF3-4EA488841A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6121172fa0504c6eb3a125b602953f8a03bb17ef","datavalue":{"value":"abstract fixpoint equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012706$DA89F72A-0495-4E4C-8429-AEF88328C270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90dbbd5779aa0881f28d3f9ce8605d329ede8602","datavalue":{"value":"variant of SLD-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012706$6ED556D1-7B14-4F7E-AD3A-4D6FEC2F185C","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":"Q4012706$3A160106-F518-45F8-8B3B-7C795E867882","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ddfddeabeacf04cf5cad13c65ec9170ccf0c0b5","datavalue":{"value":"https://doi.org/10.1016/0743-1066(92)90030-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4012706$C5FD202D-FFA5-45A6-860C-BEF9490D13B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c42da847c349e44de4515c09eaed9b0d23d6b0d","datavalue":{"value":"W2081810835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012706$AABF20D5-68C6-448E-BD19-90AF04C1EF84","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":"b9e2fa057828623b072abee0e94fe2d6bfe9dce9","datavalue":{"value":{"amount":"+0.8639286160469055","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":"Q4012706$77D05326-AC1F-4241-9690-452CEA53192B","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":"f1fa73ac1ed9c38ada6b2b5ec4cc969f7784215c","datavalue":{"value":{"amount":"+0.8458263278007507","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":"Q4012706$81F8E58E-3E29-4D5A-94DB-38E4C35B65A9","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":"f5498cd3cc9508529efbfd80edc933acf89ef67e","datavalue":{"value":{"amount":"+0.8387335538864136","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":"Q4012706$AB2D2714-DB53-40D9-8575-19884A663492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8be5da3e6f26618547990e63d66c95bc314e0c94","datavalue":{"value":{"entity-type":"item","numeric-id":4281588,"id":"Q4281588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8a466d37ffa33f6fd1754e102819c1f3b7620bc","datavalue":{"value":{"amount":"+0.8385729193687439","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":"Q4012706$278448E2-1076-4D23-B7EE-5316318233D6","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":"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":"Q4012706$A01E48E6-7FC6-45AA-B430-37274409CA52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4012706","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4012706"}}}}}