{"entities":{"Q4398692":{"pageid":6428291,"ns":120,"title":"Item:Q4398692","lastrevid":46703691,"modified":"2025-12-25T10:42:01Z","type":"item","id":"Q4398692","labels":{"en":{"language":"en","value":"Efficient evaluation of a class of ordered logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1178018"}},"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":"Q4398692$0FFD9508-7903-479B-9B15-9B191A98F8A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2f7c857b59e7406ab78643bbec5a023f2d4a996","datavalue":{"value":{"text":"Efficient evaluation of a class of ordered logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4398692$56095F5A-55C0-4C6A-BDE2-6E67F050D4BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7fc30c6788831d2f0b786e79df362e1bab2c4eb","datavalue":{"value":"0904.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4398692$EBEB0336-2108-4923-B58D-0C3411EF017B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"017a99e69a2b2840c98bc732d16aeb17bd6fa961","datavalue":{"value":"10.1016/S0169-023X(96)00050-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4398692$95F5BC60-2D6A-4256-9285-EB3DD1B8B1F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd7123f74d155fe14856de0656eddfe851c66cd","datavalue":{"value":{"entity-type":"item","numeric-id":202113,"id":"Q202113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4398692$D4C453C2-5164-4C29-BF52-9FAEB5BBC213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259924d5628b15de7c6a282500a26191a334a18","datavalue":{"value":{"entity-type":"item","numeric-id":4398691,"id":"Q4398691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4398692$FCFAB49F-9826-4A3D-80A6-E063C3C3FEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8ea925e2036681f0744f3d94ea56197b192941f","datavalue":{"value":{"entity-type":"item","numeric-id":359979,"id":"Q359979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4398692$F2055D3D-D603-468E-811C-46BC2E9C4AB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e581334e6cb7b4bf9007edd100bd25e637035e39","datavalue":{"value":{"entity-type":"item","numeric-id":156168,"id":"Q156168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4398692$C064F522-8DEE-4D4C-BD56-C4376186FCA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04855ee36d302f814b50229947d6c78840861251","datavalue":{"value":{"time":"+1998-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4398692$2B5BE9B4-4707-4C1B-8228-BA799407F1B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4398692$412B1F50-1A2A-46C1-AF19-6673C92708E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7375409f95799d02917c5629e85eb495e8d773cb","datavalue":{"value":"1178018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4398692$AB85C579-2AC7-4947-BA7E-F5B9B5A72251","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9d0de2f9dd5661b658b078d837f6e9ced0bf2c7","datavalue":{"value":"ordered logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4398692$68451CB2-B53F-42AF-943E-FA0C32189408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829ca1e536ef76ef92ed2ab157d10567452023f4","datavalue":{"value":"well-founded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4398692$2F0CF666-0643-4258-BF0C-823FB9689DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"453868b3ecd4cc2ceb48419daecef9c56fc8bd79","datavalue":{"value":"fixpoint semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4398692$98418140-44A9-4660-951B-1908B47D6F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f816eb6a209808acb5cd5eb578add9df422a657d","datavalue":{"value":"quasi-stratified programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4398692$858A866F-251D-4F91-B28F-CE9AAC848A48","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":"Q4398692$99DAA651-C8A9-4177-8916-EDA446B88556","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc90b0727030b603a2438e66b4adca9359b2a9c6","datavalue":{"value":{"entity-type":"item","numeric-id":1313371,"id":"Q1313371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"529fbb516334f4ee454feffd07cd3ea24da4e419","datavalue":{"value":{"amount":"+0.8243511915206909","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":"Q4398692$7B5118F9-F383-472B-8F6D-FA87721DB0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1562b1c6fd522438eea1c5b633d7f04685ffb9","datavalue":{"value":{"entity-type":"item","numeric-id":4365081,"id":"Q4365081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88648b610c1ce977bbc205b1cc45667cefa84bf6","datavalue":{"value":{"amount":"+0.7980495691299438","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":"Q4398692$54DA33F1-593C-4160-8E44-DF607BC890FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217dcec96f69f38daaad7f3a2481eb955a50e9c7","datavalue":{"value":{"entity-type":"item","numeric-id":3210906,"id":"Q3210906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"811caa21c43c9c98301c4e9d67efc96426b9b157","datavalue":{"value":{"amount":"+0.786812424659729","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":"Q4398692$728C4537-CD8B-4408-9E9B-79717FA88A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c25810750ea971426220f8a7e7fca6ed2084774c","datavalue":{"value":{"entity-type":"item","numeric-id":4286210,"id":"Q4286210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a405113a09685944bc3671e9cd9aa500a7e85a23","datavalue":{"value":{"amount":"+0.7848750948905945","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":"Q4398692$5AD44B79-B32F-4B4D-BF0C-365102E5D1B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4398692","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4398692"}}}}}