{"entities":{"Q1101250":{"pageid":1112002,"ns":120,"title":"Item:Q1101250","lastrevid":66973179,"modified":"2026-04-12T14:04:49Z","type":"item","id":"Q1101250","labels":{"en":{"language":"en","value":"Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4047186"}},"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":"Q1101250$412DB419-E5AA-46D6-8C37-81CBD1B3B2CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9816cf75b805933277008cd439abed7162d51b7","datavalue":{"value":{"text":"Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1101250$EC6EF56A-9B42-43F5-9DFE-6D1E3FA73733","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22617e4424cc9ce116e37de2ca0e724331101c92","datavalue":{"value":"0642.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101250$F598C91B-2974-46A3-9024-0060DDDAC335","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7afc05d73a482f530772047caa888d47fadaa20c","datavalue":{"value":"10.1007/BF02432149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101250$2F7EFBBA-A49B-4606-815A-2D2D32BE806F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b44b778997beb8832a0f186ec45438ab5b8f3fe","datavalue":{"value":{"entity-type":"item","numeric-id":1101247,"id":"Q1101247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101250$92E4C652-0DB0-4E03-859D-29E21CE5BE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64e57d2034e8d5832f71e15ed3286e7662b54f25","datavalue":{"value":{"entity-type":"item","numeric-id":1101249,"id":"Q1101249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101250$D7FE3F05-87BD-40AF-AE25-D236B6C9CB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ede3fafe483c29884e9afb23f7dfc1d9bca1147","datavalue":{"value":{"entity-type":"item","numeric-id":264545,"id":"Q264545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101250$1EDC517A-AAA2-40DF-AD82-0B06DD8E9771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"29dc1236822f916648bcfce8c73940191d5a0074","datavalue":{"value":{"entity-type":"item","numeric-id":198014,"id":"Q198014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101250$41DC3F5C-7E3A-44F4-8CBE-45DC23FC76A0","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":"Q1101250$D1F4A955-0862-4FA9-ABD0-A7ADCEF307A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1101250$5F697863-1F8C-4EBF-A6AE-247A1E831D64","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a8bea5a61f0a0c2aaaccf48906b0b2a363f3d271","datavalue":{"value":"An extension of the class of logic programs for which the negation as failure rule is equivalent to the closed world assumption is presented. This extension includes programs on infinite domains and with recursive definitions. For this class of programs with ground (positive or negative) queries the query evaluation process is complete. A characterization of this class of programs is given, and a decision algorithm, which recognizes a subclass of these programs, is presented. The algorithm is based on showing the correspondence between a program and a primitive recursive function.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101250$16AB121C-96D4-447B-BABA-D65D78D9E90F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101250$EFB98F55-8E4D-48FF-BC07-BAD91F510E6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c01fd560355b96a0cc3a5ded4433229066251c52","datavalue":{"value":"4047186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101250$6C764A74-A111-40D5-8A5F-B774AC551702","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101250$8AD15296-021B-4DA8-A826-C877EB5ED695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101250$DC3FFFA4-A1FD-4846-B338-51752DCBBC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06b1625cec1e42314487cc2a54cf2f303280ded","datavalue":{"value":"negation as failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101250$2C3B19C2-2FE8-4E40-8964-962FBE654E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"903e33f82dfc22825b55216318496ae384d85c47","datavalue":{"value":"closed world assumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101250$1B67B8F5-7600-4400-B0EA-6339E2AC058F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d29c7907a058ca2f5803a563e9765a72c855a696","datavalue":{"value":"recursive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101250$28041CD5-5002-4D67-9CBC-B8F4CC5A657A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3aba3b4c4bf56136293d6b03ec1be4855905189a","datavalue":{"value":"query evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101250$78972BFE-D8C9-4B5C-BE32-BBB85390FC25","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":"Q1101250$F2419E90-57E7-45B1-9D9E-ABD9F3942BEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee6fd990ca8ced9322a441a64c3aa97aa4b0fcc4","datavalue":{"value":{"entity-type":"item","numeric-id":3727360,"id":"Q3727360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101250$ED7BF785-3BC2-4890-94EE-5A0487845906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2b7941e0263f7b7e467836b074360d7c632e24","datavalue":{"value":{"entity-type":"item","numeric-id":799098,"id":"Q799098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101250$E3BA529C-489F-4EC4-BF19-E5BC5B58B311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101250$967BCEBF-4771-48F4-BEAC-9EA759CCA614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b7a1d134a856bc125567aa80d7392f42d01ae3","datavalue":{"value":{"entity-type":"item","numeric-id":3706525,"id":"Q3706525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101250$F9B26630-ECD6-4E7A-9DEF-6B0B344FB434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c13b845673f1ad4ff3ce278727ee071a2521b88","datavalue":{"value":{"entity-type":"item","numeric-id":3694733,"id":"Q3694733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101250$4D6980BB-23D7-452A-BD57-AEA6A6CA0835","rank":"normal"}],"P1643":[{"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":"8e4d0da830660484cb585f5abcf357fbad81ed9e","datavalue":{"value":{"amount":"+0.8397327065467834","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":"Q1101250$F97B686C-F916-44A1-883F-579917CB34C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56edaf5ecf91e67e7cd8f4c7a79cd2143a3f3a95","datavalue":{"value":{"entity-type":"item","numeric-id":1277302,"id":"Q1277302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ceef3407753ee95e6a1c9292762886c0bdabe91","datavalue":{"value":{"amount":"+0.836834192276001","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":"Q1101250$BAD4BA8D-0FCB-4D19-A89C-0F16265F09C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8258a7a312796096c370e45485f687cadb7d2f54","datavalue":{"value":{"entity-type":"item","numeric-id":3789103,"id":"Q3789103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85ea8e865db2c0e24007904c885e34af2fe241c5","datavalue":{"value":{"amount":"+0.8366863131523132","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":"Q1101250$60AF18AE-6FD7-477C-82B1-F5B6405FCCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b254533dbc1834873bc702e1c327348b2eb041d7","datavalue":{"value":{"entity-type":"item","numeric-id":4010369,"id":"Q4010369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b8541c7df21791fe863bab729b344979dbd832d","datavalue":{"value":{"amount":"+0.8339766263961792","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":"Q1101250$80960AF7-DEFA-4B34-A1F9-3D3B8A1B59A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c28068448cc63f83492dd660702628258744d6","datavalue":{"value":{"entity-type":"item","numeric-id":3820058,"id":"Q3820058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b8541c7df21791fe863bab729b344979dbd832d","datavalue":{"value":{"amount":"+0.8339766263961792","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":"Q1101250$6E4880E4-5BBA-41F4-92B3-C49978A5884C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Negation_as_failure._Completeness_of_the_query_evaluation_process_for_Horn_clause_programs_with_recursive_definitions"}}}}}