{"entities":{"Q4484725":{"pageid":6514324,"ns":120,"title":"Item:Q4484725","lastrevid":47477176,"modified":"2026-01-01T20:39:37Z","type":"item","id":"Q4484725","labels":{"en":{"language":"en","value":"An abductive approach to disjunctive logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1452821"}},"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":"Q4484725$01DE8111-7741-4EA0-AB85-40260B6B0113","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5976b58091b4025ae58b7df2dd5a5ab769f1a138","datavalue":{"value":{"text":"An abductive approach to disjunctive logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4484725$BB32BAF6-28DA-4359-8F3F-F40408D3F9D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d93485489ddd1fdf0e03e15d5435a705a1e89a8c","datavalue":{"value":"0957.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4484725$23DF751C-2A13-4522-89EF-01FFA4A48F80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f2e5c8fa0425f29a8a83e1c493ec2e34bb3f213","datavalue":{"value":"10.1016/S0743-1066(99)00074-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4484725$6A306A1E-AEA0-4C37-BAC0-94CC0EFF3A0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebbe34775ef1d216531e6f0566e565f5ff1b1656","datavalue":{"value":{"entity-type":"item","numeric-id":645081,"id":"Q645081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4484725$88E2DFE6-39F1-43CF-AF16-F541C0961D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e9b7d651f1efa21fa167889604f4c1b276297e6","datavalue":{"value":{"entity-type":"item","numeric-id":645082,"id":"Q645082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4484725$A49432F2-E02B-47FF-97C0-48764F276115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bacf5847130dc014c6b834dba539acff3ce3d716","datavalue":{"value":{"entity-type":"item","numeric-id":300232,"id":"Q300232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4484725$8DD12A02-11A4-4664-8EB7-A58B22A18E34","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":"Q4484725$FD30022D-B25A-428D-A4B3-C325FF1D12C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"73727a78d5c03d74d2469142a39b111656c509ba","datavalue":{"value":{"time":"+2001-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4484725$6EA39E07-CADA-4E71-87D6-F07F5AC311C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4484725$4D178650-B347-470C-A735-2A9990D8EF06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a8458eeb1c46eeeb9926269120d82cdff20c271","datavalue":{"value":"1452821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4484725$D92F16DF-746E-4AF3-BF09-9A21B961A4BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4484725$400412F5-C786-4B34-9431-3AE790A8E6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3b36357255e9720f5678c2109305854cbf81d87","datavalue":{"value":"abductive reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4484725$08752E1F-9C5E-48E2-B54E-4066FA5F4124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c59d30b25ebb8c3903420afc4c4580ae20b92ad","datavalue":{"value":"regular extension semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4484725$D88144FB-D61B-4F92-8B0D-A2527A68CE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c10439193b60bc316195cfc5a43e429e63440af2","datavalue":{"value":"disjunctive EK procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4484725$64EC1E63-D940-4A13-B55C-7A2C52A24356","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":"Q4484725$0212A2D7-A182-499C-B569-CED125D8756B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9479d30daa2bf72282ec259eebba5f25deba6bcd","datavalue":{"value":"Q126781942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4484725$91E2CBFF-3127-45AE-B08D-D9F3D9B30A8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"205e4d5da2be4877507f3a4d7d37d3ae20e65baf","datavalue":{"value":{"entity-type":"item","numeric-id":4944874,"id":"Q4944874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbe2790005a68523bba0a0052da103457c03b91d","datavalue":{"value":{"amount":"+0.8417425155639648","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":"Q4484725$29FA1B1F-28A9-4E5E-9904-4C1BC6C29B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2569eec109692c989c6df521632c84f39f3bd725","datavalue":{"value":{"entity-type":"item","numeric-id":5101460,"id":"Q5101460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c358cb13faabf9068becb028cb1143f40b8db23","datavalue":{"value":{"amount":"+0.8354697823524475","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":"Q4484725$499C7BEF-05FC-4EE0-9C2F-647A273F18B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78b2310939dd5fcb668fafc7bb977cf0dfb5be4","datavalue":{"value":{"entity-type":"item","numeric-id":5286914,"id":"Q5286914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f79c5a225479c333accd89890dd1d16e46bd62be","datavalue":{"value":{"amount":"+0.8340495228767395","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":"Q4484725$A92FA8DB-6FF0-420F-9DBE-BA473A5FD89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c9c98c002aeb61724c9361161a1498f1ca66fd3","datavalue":{"value":{"entity-type":"item","numeric-id":5236438,"id":"Q5236438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"457e7abd167b75937bb51edd963695c8c5cbb3cd","datavalue":{"value":{"amount":"+0.8195424675941467","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":"Q4484725$FC3FB939-80D5-4088-B2A3-9A390331F3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a43917c5f6828a70fd6ddf7e8da8a601ecedf487","datavalue":{"value":{"entity-type":"item","numeric-id":4217935,"id":"Q4217935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e016299f03782e36b5f1cddc91ac88c62ef22341","datavalue":{"value":{"amount":"+0.8119755983352661","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":"Q4484725$DF28CD05-B81F-4BB5-B764-62041942B9E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4484725","badges":[]}}}}}