{"entities":{"Q4036289":{"pageid":6066008,"ns":120,"title":"Item:Q4036289","lastrevid":55236301,"modified":"2026-02-05T04:14:50Z","type":"item","id":"Q4036289","labels":{"en":{"language":"en","value":"Tight, consistent, and computable completions for unrestricted logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 168623"}},"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":"Q4036289$0949ED51-666E-43FD-8540-0ED7D134F887","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e05bd9c5e6ebf15efa8bccb3a12888429a6e9061","datavalue":{"value":{"text":"Tight, consistent, and computable completions for unrestricted logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4036289$82496AE1-DE63-4046-9865-16B0131B8346","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7aa339f4b4e16998a707dbe438035e58ead72200","datavalue":{"value":"0787.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036289$D5350B42-D127-45C8-B4CD-9CB39EC749CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"541ceb458d86782dfca4b6daf9dc2551dd9a8698","datavalue":{"value":"10.1016/0743-1066(93)90041-E","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036289$1997DA6E-CD90-42AE-9D56-196B3C47BF0E","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":"Q4036289$8A3FB558-401C-4BD1-967A-29472C455AC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4036289$2D4438F0-DA41-4436-AE62-9E2FDA9DF907","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036289$5E8BBA94-B943-4CA9-ACA4-5397AE4C35BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036289$A267514F-C99A-45AC-BF4C-09277174C1D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6611a7ca358bc3df086b05b14e98783cb5540ce8","datavalue":{"value":"168623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036289$2340738B-A2EC-4976-824E-2C1DDBB630A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce920c8c1e1186b87ee7e406059f961e34749953","datavalue":{"value":"negation in logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036289$D6F5F49D-DC1D-4026-A29E-F6EC024DCF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"011d3a8be7d0004bb28fe70bbee7dbe5b68e85fd","datavalue":{"value":"Clark's program completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036289$1A2C4C88-558D-43C2-8B01-5EE1A3D09B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d93de56532ed9a415e2c8a381cd8875553d63ed","datavalue":{"value":"first-order semantics for logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036289$33265E28-4342-40ED-A54B-5DC915D51F64","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":"Q4036289$3A9C2E99-50DB-47AF-822C-52C03667FE62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ecc62da2baf7dcc1ce0f207f1a460233baca30a","datavalue":{"value":{"entity-type":"item","numeric-id":751309,"id":"Q751309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5764822b08220c8e0972d0b06d51c8db652b623","datavalue":{"value":{"amount":"+0.92896616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036289$21E28B62-437E-4C71-B26D-3DF5B3F152B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e5490b38434de3b435df6589b6730899e383685","datavalue":{"value":{"entity-type":"item","numeric-id":5096194,"id":"Q5096194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17b2977e6fb5bc2460193eb9d9c5aa1b427ee196","datavalue":{"value":{"amount":"+0.92090446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036289$1ACB35A8-084A-495B-B504-059DF6D77283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5be94989e95a5b692ec27555420d25bc46d4ca","datavalue":{"value":{"entity-type":"item","numeric-id":2949713,"id":"Q2949713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e5cb7e789d30aee2b9219c0b5c95c112266c1cb","datavalue":{"value":{"amount":"+0.9172881","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036289$FD23F36B-6DFB-414F-88D5-5024A9272891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d4568ed410b10db6bd2156a3ef856acad498e03","datavalue":{"value":{"entity-type":"item","numeric-id":3792244,"id":"Q3792244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35607dfd8cb33305af370a913ae0cd97e99a0942","datavalue":{"value":{"amount":"+0.9100561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036289$DC32F541-2C65-4C46-8ACC-551286E29ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f493728d7679715b42970806023897dd5507208","datavalue":{"value":{"entity-type":"item","numeric-id":3201745,"id":"Q3201745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2158c7e697a9749a0ac6f305e00536a0c6021c82","datavalue":{"value":{"amount":"+0.90972006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036289$8D65B6A0-CA5C-465C-B7D4-C97F472CB48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b95b5af4344e478db00bfda54ad8c51a2db6f5b2","datavalue":{"value":{"entity-type":"item","numeric-id":2883086,"id":"Q2883086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0a67f5c043eda36466edf9b8a11c5de9b84b3e8","datavalue":{"value":{"amount":"+0.90607715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036289$14CC2F83-D0BA-4512-B088-686DFFA9BA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"915a500c0fbe67d3dde29f15c3da411d54816c01","datavalue":{"value":{"entity-type":"item","numeric-id":4993362,"id":"Q4993362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87943d1ce45a6f51613af5937d2daeb4af47a65e","datavalue":{"value":{"amount":"+0.89238006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036289$6E526F8B-A2DB-4235-9F42-5F99694E41C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3caab9149e9e6d78e14fdc76a58d9add3e34c800","datavalue":{"value":{"entity-type":"item","numeric-id":4029601,"id":"Q4029601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"167d45f054687af5b47b9fefe36effa333241b61","datavalue":{"value":{"amount":"+0.8908198","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036289$D2BA2E9F-1387-4B1C-9912-3F58A1EAD8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0404daef136179bd30c308b4c1f85f7c822c38ee","datavalue":{"value":{"entity-type":"item","numeric-id":4935596,"id":"Q4935596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90e87556dfc51e97f347aff3b7fc9b17910cc1ac","datavalue":{"value":{"amount":"+0.8904743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036289$01F268F1-EB03-4C4C-AC58-0C413FD2F2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13ec9a7cf6779a4cb91769541faa44254e614d10","datavalue":{"value":{"entity-type":"item","numeric-id":1193890,"id":"Q1193890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a3aebbfdeb1a19659f669a3d285ac6c1173fa6","datavalue":{"value":{"amount":"+0.8892721","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036289$CE7CEA21-5E76-41B2-8F18-CBAB1436CB17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4036289","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4036289"}}}}}