{"entities":{"Q1189731":{"pageid":1200480,"ns":120,"title":"Item:Q1189731","lastrevid":70238241,"modified":"2026-04-13T13:24:41Z","type":"item","id":"Q1189731","labels":{"en":{"language":"en","value":"SLDNF-resolution with equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 57769"}},"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":"Q1189731$578F5A75-6E8F-4C59-A1B2-22E9460F3416","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"630cfcd30664a5d44a99e4cd304d0cefa5adfe17","datavalue":{"value":{"text":"SLDNF-resolution with equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1189731$16446BBE-9FFE-4F50-A4BE-A698F40D04D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f591f07806fe07481c8611452a533e7ad96523ab","datavalue":{"value":"0754.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189731$E5D01E0D-56ED-4D1D-B89E-2CE08C9945C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"185dc5aa2173439f52e742a85d4a5b9e04aedee0","datavalue":{"value":"10.1007/BF00244285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189731$63F1E098-905F-449D-BC69-F894542A81C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189731$6AB23F8B-2BD3-4F0B-8F0B-3AF99AC918FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1189731$90E3B769-CFF9-48AF-B186-53E79856BA52","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a0b6156c854548943ba1484f0a69473bb877118a","datavalue":{"value":"Logic programs with equality are considered. The objective is to extend the results of \\textit{J. Jaffar}, \\textit{J. Lassez} and \\textit{M. J. Maher} [J. Logic Program. 1, 211-223 (1984; Zbl 0584.68021)] for definite clause programs to normal programs, where negative as well as positive literals are allowed in the bodies of clauses.   An appropriate version of SLDNF-resolution is defined and the analogue of Clark's fundamental theorem is proved (that if a query succeeds it is a consequence of the completion of the program, and if it fails then its negation is a consequence).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189731$F9688D75-7E08-4C87-9886-2354D9ED21DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189731$94107E4E-0EA2-4E41-81AB-69629BCD87F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c054c73b3eac163eef02b256c7c2efc457b82db","datavalue":{"value":"57769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189731$870B31BD-606C-49C8-B47B-F83D3B33A3D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdd488957e6565f193db2bea6a9ea9616ae78730","datavalue":{"value":"\\(E\\)-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189731$7EBAD80E-E988-4627-8E28-A7DDB3B434C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189731$1372EDB9-5579-4F8C-874D-99E31F4C9E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06b1625cec1e42314487cc2a54cf2f303280ded","datavalue":{"value":"negation as failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189731$D4FB21A8-8029-4788-A668-D3F55F35C7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a4bb55f679ca5a17734f2c858f331c9369ef7d1","datavalue":{"value":"Logic programs with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189731$BE65FBDD-0A41-4CA8-8C68-5B39DA20B1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"812bcc0fcd3fd2d0cbacb2b0ab77949a7afab4be","datavalue":{"value":"SLDNF-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189731$551506C0-6B87-4964-961A-422941EF9323","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c85264f8b354889753fca623f6e4dac99319a70","datavalue":{"value":{"entity-type":"item","numeric-id":1254850,"id":"Q1254850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189731$5AF748AF-1482-499F-AED9-3DE882353D2E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"05f3dff3edc7d97b14af7ecb326f488fb3fee31b","datavalue":{"value":{"entity-type":"item","numeric-id":583186,"id":"Q583186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189731$37E7A799-DBD9-465E-A6B6-B01F26360B93","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":"Q1189731$EBF35E4A-7313-40DC-A270-4FB7AC1E4485","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa472c7175385b13cdb1e7fc50183f22203aeb5b","datavalue":{"value":"https://doi.org/10.1007/bf00244285","type":"string"},"datatype":"url"},"type":"statement","id":"Q1189731$E9E4175B-C649-4F45-8012-5711A99AE955","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f67f63c6e236cabe833aa90753f5fe7582f4d073","datavalue":{"value":"W1983424602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189731$526338D2-A136-48DB-B549-043C32BD9BE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37075a1917e2553c5f07df3e33a3ba49fe52029","datavalue":{"value":{"entity-type":"item","numeric-id":3707362,"id":"Q3707362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18445778158ff90e9abcb8962975d46aec2a22b5","datavalue":{"value":{"amount":"+0.8729815483093262","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":"Q1189731$8E653990-17B7-4D8D-BFFD-72DE3805598C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6734a7a3c859621eb2d3a69933682cf7bf91d78","datavalue":{"value":{"entity-type":"item","numeric-id":1815857,"id":"Q1815857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e6634aab831607145c99533fd9d6e28025dbfc","datavalue":{"value":{"amount":"+0.8486906886100769","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":"Q1189731$C5FE63A4-99E0-44E2-9CB4-E1A3E6064C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a5319f5b52d27d5eea3aff0744f3c14bd5d5df","datavalue":{"value":{"entity-type":"item","numeric-id":4428888,"id":"Q4428888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"149ee0261d23681c71d8915f705a4a71f2dd94f3","datavalue":{"value":{"amount":"+0.8473097681999207","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":"Q1189731$298CFFF1-2142-402F-88C6-66C482A48C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30fe35c49512ef6edd57763a74b6cf4b77213db0","datavalue":{"value":{"entity-type":"item","numeric-id":3727350,"id":"Q3727350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"498688dc1a221328955a1baa968b8afff88e737f","datavalue":{"value":{"amount":"+0.8459284901618958","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":"Q1189731$68138FDB-7457-499F-A380-A6223BFD675A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"228583431b7d7b49b68a10e5ad593f8ceb57e3e6","datavalue":{"value":{"entity-type":"item","numeric-id":3031954,"id":"Q3031954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b6d9a27ef3c2ceedf83041c4627d410c83f45c","datavalue":{"value":{"amount":"+0.8337617516517639","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":"Q1189731$0DD762DB-3606-427C-9BA3-84ED783290B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SLDNF-resolution with equality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SLDNF-resolution_with_equality"}}}}}