{"entities":{"Q4700442":{"pageid":6730019,"ns":120,"title":"Item:Q4700442","lastrevid":46789155,"modified":"2025-12-25T14:37:14Z","type":"item","id":"Q4700442","labels":{"en":{"language":"en","value":"Semantics of (disjunctive) logic programs based on partial evaluation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1356510"}},"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":"Q4700442$03BC3A73-C605-450B-B59E-16160EABCAB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25722d208adeec3462eae8bb10d9e2bc7c020fcd","datavalue":{"value":{"text":"Semantics of (disjunctive) logic programs based on partial evaluation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4700442$B889B89E-538F-4A25-BB90-C70C37A5BDCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4899f4ba64b62f8a11d9d14059b674e515fd611e","datavalue":{"value":"0946.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700442$5DE19BA4-27A0-41BD-B5F9-95252B8551B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c343f43bea4d6d4adaa8ed30f94371daef9197a3","datavalue":{"value":"10.1016/S0743-1066(98)10030-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700442$5566E147-040F-4713-A4D8-98A50FDE8A84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6e4646ecbebe7cc2a702f0e438111a78808a9ae","datavalue":{"value":{"entity-type":"item","numeric-id":186032,"id":"Q186032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700442$D1A16336-9275-4AED-B493-92D7E46056B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98e0185f479814576fac71b9cc4a09190a9b0ba1","datavalue":{"value":{"entity-type":"item","numeric-id":1382157,"id":"Q1382157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700442$8A475E09-D910-4010-B5D8-0E371AE6F835","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":"Q4700442$3040C304-86C7-44D7-BA1B-EAFA27A7125C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a4d6512efa0fa89e17e38eada884c6f32c9ae33","datavalue":{"value":{"time":"+1999-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4700442$67CEA03F-8F92-4A62-8526-90CDD24978D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700442$0385FCAF-879C-4EEF-8BC8-F1B2390ABA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700442$C1CDE7AE-35D7-487E-9AF6-929DBF25BBCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4636dcb67f16b70c3e41725e5d96d33c7f5c40a","datavalue":{"value":"1356510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700442$110E0A12-BFDF-43E3-A720-D73BDBC08E3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fb3969f9d1abacdb827ee34b8ba910032090c12","datavalue":{"value":"logic programming semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700442$9064021D-A773-438A-86FE-D4BF176FC7CD","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":"Q4700442$DE475CB0-9D4A-43DF-BF14-F830E555F300","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac60ee3c18e3ba2c69067f05dd4f0deec88f1fd3","datavalue":{"value":{"entity-type":"item","numeric-id":5101443,"id":"Q5101443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f104c6e37b9b0db208491c96fcc06c65edb5b17c","datavalue":{"value":{"amount":"+0.8614407777786255","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":"Q4700442$7F91A80C-BFE1-49BE-A8C9-231DD1A1BAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae46908dfe9a6ffca3652f79d57caadb7405ed6","datavalue":{"value":{"entity-type":"item","numeric-id":4365082,"id":"Q4365082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ad9f159662d89ede18667b9b62eeed218bcf881","datavalue":{"value":{"amount":"+0.851727306842804","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":"Q4700442$49365DD7-82F0-4731-B7DB-2E9A027931DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7252fac111378f48a5d18d3cccb2cc82bbd9e33","datavalue":{"value":{"entity-type":"item","numeric-id":1382158,"id":"Q1382158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"990c1e26ad83d2b2abff0cd70e7cbe1215999090","datavalue":{"value":{"amount":"+0.8405110239982605","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":"Q4700442$D5AE972F-E759-431F-B1F0-24B694573707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e8b58f45ef22ff90b4df2b624ca228a601831d3","datavalue":{"value":{"entity-type":"item","numeric-id":5236439,"id":"Q5236439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30d758516052f7578b8558ce44bff2ea7fc1daff","datavalue":{"value":{"amount":"+0.8342800140380859","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":"Q4700442$6F71BAA2-0AFC-4543-A135-8512F9B93995","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4700442","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4700442"}}}}}