{"entities":{"Q1199926":{"pageid":1210675,"ns":120,"title":"Item:Q1199926","lastrevid":47115514,"modified":"2025-12-31T17:47:11Z","type":"item","id":"Q1199926","labels":{"en":{"language":"en","value":"Generalizing completeness results for loop checks in logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 96269"}},"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":"Q1199926$94B6F1FB-2204-444E-910F-36004DD70A5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2284e16b34d805fe6af8f79954fa3bb18597447b","datavalue":{"value":{"text":"Generalizing completeness results for loop checks in logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1199926$9D2CB6FB-0E99-4AF8-ADF1-31BBFFE20853","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2773898e215784ab5588b4a6bf7d0e7cd2447bd4","datavalue":{"value":"0771.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199926$BAFEA2BF-0C4F-474F-ABA1-853B5FE24E13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d97e95110788caad3518e3c527615eca53cabcd5","datavalue":{"value":"10.1016/0304-3975(92)90164-B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199926$D41BB8B2-F484-4541-9B2F-C175A39678C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bfdc48a476a11696af46ca3d91472b4be06847c","datavalue":{"value":{"entity-type":"item","numeric-id":1177922,"id":"Q1177922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199926$7333E45A-A0A3-416E-A8BB-3FCC9F60A9A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199926$2995F0E4-7239-4690-ABC4-73B081672AB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0879f591850b4f9f14b2c481d3e08995aa22089","datavalue":{"value":{"time":"+1993-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1199926$DB70859B-FEEA-41CC-86B7-A5867D5BC6F3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"529d2b1438dcb6f65fdc0a95b86626ab087957a8","datavalue":{"value":"Loop checking is one of the fundamental problems encountered during the search of effective algorithms for logic programming. This complex problem cannot be solved in full generality (even in absence of function symbols). In \\textit{R. N. Bol, K. R. Apt} and \\textit{J. W. Klop} [ Theor. Comput. Sci. 86, No. 1, 35-79 (1991; Zbl 0741.68027)], (sound) loop checks were introduced and there were determined subclasses of programs for which these checks are complete.   The Generalization Theorem of the present paper presents a method to extend these subclasses under certain natural conditions. A crucial role in this approach plays the notion of nonrecursive extension of a logic program. The proof itself calls attention to normal SLD derivations which put extra requirements on the used most general unifiers (limiting needless renaming of variables in a derivation).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199926$CE5E5964-799A-441F-8AA3-D77DEF0A3BF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199926$B7EB7F28-1446-4048-89A8-5FCE8D068AB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f11d01f3ef5c51da2d478afb9367cff8d4c9ec47","datavalue":{"value":"96269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199926$6DC22090-9A2D-47E4-9886-078BE186A390","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75085c0b8d78a95d6797efd4b87c4b5c431df7f4","datavalue":{"value":"Loop checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199926$2F434837-BC7A-49E6-B7BB-AFE27C1A74FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d33e7e12100b6324a878bc92c7904dd15c7340d","datavalue":{"value":"normal SLD derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199926$0E49223F-7AA5-4BCB-A118-596D2663ECBD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e08eb8f357cf37bb9650e048ba3d31ac3a05cf8e","datavalue":{"value":{"entity-type":"item","numeric-id":1226868,"id":"Q1226868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199926$907D1193-0046-4647-9684-7DB8DA331C8F","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":"Q1199926$C7F00865-D6D2-4B95-9A61-7E5C19E11FAD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199926$ED6C8306-10E7-4FC1-911B-5D3E93679F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541abda82c3f7f885314fea9b46e29b2577305d7","datavalue":{"value":{"entity-type":"item","numeric-id":4202916,"id":"Q4202916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199926$82B9630D-50B7-48B2-9F1A-0847EDE6E7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85ac8dc2028b9eee14fdc93650456b43608aca22","datavalue":{"value":{"entity-type":"item","numeric-id":4287491,"id":"Q4287491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199926$13E7234E-C2A4-439D-A248-F1BCDC1B6005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d418920177a910ec31640970cf78e21a929ec6","datavalue":{"value":{"entity-type":"item","numeric-id":1177923,"id":"Q1177923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199926$BE2C0B70-0C7A-4B49-875F-F179EE60D30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b35c77e50165be345c5ee0750cdb5cbc7f5152","datavalue":{"value":{"entity-type":"item","numeric-id":3747702,"id":"Q3747702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199926$5892FEC5-A843-446C-BA2C-E07385CE2A0C","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":"Q1199926$936918CC-9910-430D-99FE-B728B67E53E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b1b08756d91316e1d97aa4b3cacebc09d7bda5","datavalue":{"value":{"entity-type":"item","numeric-id":3988796,"id":"Q3988796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199926$96284FBA-C6F0-47C5-B771-D00EA0B88B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199926$62E25D51-3801-464B-BBA6-ECBB8B618788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d010237823058ee52c3b0cd0e375eb656d46e39a","datavalue":{"value":{"entity-type":"item","numeric-id":1097714,"id":"Q1097714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199926$7EAE4253-ADCA-47AC-AAA4-9C4E915C04D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c26f631594522a1e4703350e29e3bb6c957de0","datavalue":{"value":{"entity-type":"item","numeric-id":3792244,"id":"Q3792244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199926$D23CA631-A42F-48E6-9382-D9DAF6C70C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccae36bf33f496e2b17194be0d1194b79483787f","datavalue":{"value":{"entity-type":"item","numeric-id":3746920,"id":"Q3746920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199926$21D63BDC-CB2A-4FE6-AD5C-41AA4E1F4C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0a6cc9ea334df60316d415d946b98f4b695a173","datavalue":{"value":{"entity-type":"item","numeric-id":1262144,"id":"Q1262144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199926$863343CE-4190-4BE8-B315-410F970E1D07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e20000f5070c255ed190c8727736c7af936efb6","datavalue":{"value":{"entity-type":"item","numeric-id":4854006,"id":"Q4854006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d99c00d0484b92ebebb5df6e8acdfbcb1c00198","datavalue":{"value":{"amount":"+0.8452187180519104","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":"Q1199926$A3931B69-7B58-4B28-8102-2F72634FCC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9377993a3875b113123ad4442aafdab94ca06484","datavalue":{"value":{"entity-type":"item","numeric-id":4287491,"id":"Q4287491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d99c00d0484b92ebebb5df6e8acdfbcb1c00198","datavalue":{"value":{"amount":"+0.8452187180519104","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":"Q1199926$000DED8E-D6D8-41DF-85E6-E63C0281A939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3178cc0e2456d9a9d37cf57f585f7412ff642b8","datavalue":{"value":{"entity-type":"item","numeric-id":1177923,"id":"Q1177923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa8dca339cef12ec536c9d28a403b4a0e3d67b8f","datavalue":{"value":{"amount":"+0.8436368703842163","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":"Q1199926$5E5E0226-FBA1-432B-BAB6-4659999081A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67d26d84ab24de658cd9675bef9d5c8db5cb8720","datavalue":{"value":{"entity-type":"item","numeric-id":1893733,"id":"Q1893733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe8c6915d2f82dcd79f47156bdff42e2f29cb2de","datavalue":{"value":{"amount":"+0.8286812901496887","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":"Q1199926$52F2C6C1-A261-4320-B94C-D871E6D6E531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cb8058c71c6418e67a29480c9129842a37c7c52","datavalue":{"value":{"entity-type":"item","numeric-id":5958765,"id":"Q5958765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe8c6915d2f82dcd79f47156bdff42e2f29cb2de","datavalue":{"value":{"amount":"+0.8286812901496887","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":"Q1199926$BF807778-E8F0-4024-BD80-ADE0BA02E85E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1199926","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1199926"}}}}}