{"entities":{"Q4223469":{"pageid":6253070,"ns":120,"title":"Item:Q4223469","lastrevid":46613337,"modified":"2025-12-25T05:18:44Z","type":"item","id":"Q4223469","labels":{"en":{"language":"en","value":"Combining negation as failure and embedded implications in logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1235231"}},"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":"Q4223469$F087D890-6E12-449A-8D57-4071208C3D22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6c4ceeb7302aae8bbf7d67d1eadc9fcf5121c18","datavalue":{"value":{"text":"Combining negation as failure and embedded implications in logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4223469$3995DD42-0209-4EA5-9017-5F68FDA6BB26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f42e13c3182ac44473fa6a8fb89d2f95e5f9c428","datavalue":{"value":"0911.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4223469$910C9B60-56BA-4B7B-BD11-24E726002050","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52d6f25ab2fe3a60a25213fadac363bb4ca6f708","datavalue":{"value":"10.1016/S0743-1066(97)10014-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4223469$F88E4CDE-8E50-4D35-80CA-46F62890125C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e92a0d60d1f935c8325902f2920a756a60ccaf","datavalue":{"value":{"entity-type":"item","numeric-id":232654,"id":"Q232654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4223469$065FB43B-61E8-4DC2-ABB6-E8E8C6FCC425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d256bccf6f801a12fb431d179f3dfdac24eba28","datavalue":{"value":{"entity-type":"item","numeric-id":596474,"id":"Q596474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4223469$AA3B4EFB-D5E0-48A7-895E-0CAEFA24C38D","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":"Q4223469$DE9240DE-23D8-4D21-8F48-2BB73F19DCF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"acf68b992de59fe00fe26e152a21d07d0ce34455","datavalue":{"value":{"time":"+1999-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4223469$270F1368-F110-4FC8-A5D3-324A05AA9944","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4223469$33EB0A26-7D5F-4DEF-A081-F9352267FDA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f0d32edad98bce2e623d97e700cd2d9da2f6d48","datavalue":{"value":"1235231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4223469$728F7AF9-C2D3-408A-9D6C-FEAAF4490D55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06b1625cec1e42314487cc2a54cf2f303280ded","datavalue":{"value":"negation as failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4223469$4FAEF835-229B-4D5A-81A5-1ACDBA4F12BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36f41659f406fe5e6141df559369fc6476249c0","datavalue":{"value":"fixed point semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4223469$BF61D3FD-578E-41E5-8E48-5A6B7D06740D","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":"Q4223469$ABA24911-EE04-4878-B589-F2D1AA65D1D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d86f927324815d06510e06da24d4fce84e6f5e7f","datavalue":{"value":{"entity-type":"item","numeric-id":1314280,"id":"Q1314280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd207551d37eb35ce2f3b818efc632baacf43771","datavalue":{"value":{"amount":"+0.8027405142784119","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":"Q4223469$3317DD75-118C-424F-9773-EAD8CC92B489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22a87fd983a1fac1aa287a6c2fec7a8d89156923","datavalue":{"value":{"entity-type":"item","numeric-id":1824413,"id":"Q1824413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21d46fad704f12c205c232842ef5709bda5feb08","datavalue":{"value":{"amount":"+0.8025938868522644","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":"Q4223469$F7220D0A-DB3C-4006-89BC-FC35609878F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d7a468e9bb78d84740138070bd952c409d0c239","datavalue":{"value":{"entity-type":"item","numeric-id":1101250,"id":"Q1101250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a51491bb3ac55511ddc442a6fe9f9c81dd6ca7cf","datavalue":{"value":{"amount":"+0.802276074886322","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":"Q4223469$8B075F99-43F5-498F-9777-A6E41D440016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"215424cedc3f94294c4ff39d0589f9f4e3875e08","datavalue":{"value":{"entity-type":"item","numeric-id":3975936,"id":"Q3975936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a84e88a26ac15006099d402ce35d620a7d97249","datavalue":{"value":{"amount":"+0.7959086298942566","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":"Q4223469$8498E496-151B-439E-8077-2FC30E8AF653","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4223469","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4223469"}}}}}