{"entities":{"Q689638":{"pageid":691487,"ns":120,"title":"Item:Q689638","lastrevid":63505206,"modified":"2026-04-11T13:36:58Z","type":"item","id":"Q689638","labels":{"en":{"language":"en","value":"Efficient bottom-up execution of logic programs using abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 446247"}},"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":"Q689638$AEE35926-DBD7-4706-869E-AD91B6B0B230","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c55049281b11c7e5f24f861b514a11aa1aee1874","datavalue":{"value":{"text":"Efficient bottom-up execution of logic programs using abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q689638$2F70F471-D360-4DBE-BB82-88643E5435D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd8095a79ba333d2788555c45ca9c814452d5726","datavalue":{"value":"0778.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689638$B1D0976C-7644-410E-A3FF-D4AF020E9731","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4eb219e8332b2fff7ebe6094cbef1cc63d04e0b3","datavalue":{"value":"10.1016/0020-0190(93)90239-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689638$155A1BAF-64DD-4311-8201-482110721879","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d02e160edec9f05574299623da64aebf6924772","datavalue":{"value":{"entity-type":"item","numeric-id":688226,"id":"Q688226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689638$BB64A981-1E90-4398-ABD8-31FADE5708F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2124b2f1dbc31bc9ff8d394053874ee5358b7f4","datavalue":{"value":{"entity-type":"item","numeric-id":578923,"id":"Q578923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689638$41927C9C-18B6-40C0-88A3-F3D4DE4C55A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dad9dd5992b1bff266833bfd70d95bf8b1e9f33f","datavalue":{"value":{"entity-type":"item","numeric-id":688227,"id":"Q688227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689638$8DDFFB11-FEB2-4DA8-94F3-40A14E31156A","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":"Q689638$F1084325-5A78-4B01-99CC-C081532078A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a041ac255fcd8e6d725677dd2f4aa6770323c3e","datavalue":{"value":{"time":"+1993-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q689638$FB2D8774-38E0-4338-BA81-28EB2F35B27F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689638$31FABB57-20C5-4385-AFD0-650FD16D54BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689638$A3A5BEF9-F7FA-4533-8F35-A66FAB9FAA45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5c39b664015b12cb5d5fec29bdcf7ef6cd3d622","datavalue":{"value":"446247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689638$17672E8C-E960-439E-8C60-CFD683D6CB65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c161fffdd9c257eefcf55fe288cb1e5c8ebb23e2","datavalue":{"value":"deductive database","type":"string"},"datatype":"string"},"type":"statement","id":"Q689638$63D55159-ED76-4AE7-B9D7-2C7D83DE93DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d21ec545fb33c97c8e47c301264a2ba6289ddbf","datavalue":{"value":"filtering","type":"string"},"datatype":"string"},"type":"statement","id":"Q689638$E2862D4E-63A1-4CD4-AF75-5095F9CBC87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"979e2e8c35d2089152d9adc9f2441c0e78da961a","datavalue":{"value":"query optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q689638$F944D4D6-263D-4EAA-9C4D-CDEED4A998B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5007cd869d63e009e026b100d467c2ff1c921cc0","datavalue":{"value":"system graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q689638$7CF153B4-B705-4904-8834-6DE26758806A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c134edd079278e704769bfc3c5b30dee23eb0867","datavalue":{"value":"abstract filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q689638$D776A642-3F1E-4381-B771-F969D053591B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdde49bb40ec989d5591caf8fae059debde7e8dd","datavalue":{"value":"two-phase abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q689638$41D689C4-0186-4CA6-9160-5C042358A77E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"44378893501b088647878fbcadd86b218702a62c","datavalue":{"value":{"entity-type":"item","numeric-id":33058,"id":"Q33058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689638$155A8995-8888-464E-BCB5-9D10F72C0DDB","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":"Q689638$88AC87BA-5095-4C14-B1FD-FF55946D149C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63c9558450984cf2199fd6c6521ba5ac410be857","datavalue":{"value":"https://doi.org/10.1016/0020-0190(93)90239-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q689638$F334FD2E-C719-4F00-BC49-7837AF7AE386","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bf40eeb6c668d7d8c19a6865572325131689b1f","datavalue":{"value":"W1979668793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689638$12915283-2211-4E9B-8CD4-7371BBA88E4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c01e8e2dbc9c1918b71036fb0d734eaab6816a1","datavalue":{"value":{"entity-type":"item","numeric-id":913530,"id":"Q913530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689638$B127F436-DB44-48C0-9CB1-632D6424FC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c1f676c425e7defb1277575052523cc0a637b37","datavalue":{"value":{"entity-type":"item","numeric-id":3786036,"id":"Q3786036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689638$252AD4ED-2C5F-4AC8-B309-9FB143E6FAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bde38236a7d4802aeea34926c65af7fc6bd7548","datavalue":{"value":{"entity-type":"item","numeric-id":1348532,"id":"Q1348532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689638$822B7B5F-C6C0-4BE4-BB85-76E90AE9112D","rank":"normal"}],"P1643":[{"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":"039191fb1f1bdf545226bdf554eb836d70e391af","datavalue":{"value":{"amount":"+0.7936590313911438","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":"Q689638$6E35621F-CE8B-4C55-A249-BD655571BE4C","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":"d4b74672b1bc833d3f984768c008961b144ae405","datavalue":{"value":{"amount":"+0.7878996133804321","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":"Q689638$85E2AEE9-1F6D-4855-8109-BD3FEB2A0B7D","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":"8169bb0943eaca63dbc924b92712e9c67920ee0b","datavalue":{"value":{"amount":"+0.7807544469833374","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":"Q689638$9F9F8B38-F64D-4A6C-8253-C442B431E0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4dfe75eef889d05eda0074a86953a2320a56804","datavalue":{"value":{"entity-type":"item","numeric-id":673498,"id":"Q673498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c219588ca31c9a4ed74fa593444db6ddd8a2046","datavalue":{"value":{"amount":"+0.7805026173591614","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":"Q689638$1F85499A-8449-4CCD-AFF7-CC0D0F797FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0592c18aa5d53e9260440e3337ac8c4384e7de43","datavalue":{"value":{"entity-type":"item","numeric-id":4719369,"id":"Q4719369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77c8c11e98b175301a031c09071ad38a35fe9554","datavalue":{"value":{"amount":"+0.7517679929733276","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":"Q689638$34B5DA7D-1773-4F7C-915D-462175BF329B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient bottom-up execution of logic programs using abstract interpretation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_bottom-up_execution_of_logic_programs_using_abstract_interpretation"}}}}}