{"entities":{"Q1200979":{"pageid":1211728,"ns":120,"title":"Item:Q1200979","lastrevid":67076082,"modified":"2026-04-12T14:55:24Z","type":"item","id":"Q1200979","labels":{"en":{"language":"en","value":"Transforming normal logic programs to constraint logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 96002"}},"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":"Q1200979$30BC9825-753D-4842-9CA0-2831FFFB871E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5710c13904778f405e454a28d6b470ba12eab3e0","datavalue":{"value":{"text":"Transforming normal logic programs to constraint logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1200979$AB7E138E-05FE-43EC-91C1-EEBEC268DD0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56169f6c553aa5b99160451d4e1ba9568e172e55","datavalue":{"value":"0757.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200979$1B79ABA2-589D-49EB-B0BF-712CDA1B721C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b38579bde7d47134a33b62c7a762d929c6c35d65","datavalue":{"value":"10.1016/0304-3975(92)90286-O","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200979$CF411121-42A7-4C06-9B45-6AF9FDE0F686","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8db53b2b2ddacfd2abdf44d20d0fe2c67fcab0","datavalue":{"value":{"entity-type":"item","numeric-id":1200978,"id":"Q1200978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200979$843F896C-E16F-4092-A292-165CAD8BDE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200979$E313CA35-29EB-4372-949F-FEA38AB2BD5E","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":"Q1200979$BFB39646-E55D-4A85-9385-219A983A2AD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-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":"Q1200979$058075E9-3331-40FE-8EE5-6DD81317B4B6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e85965b18c2ad680a21079a9b5b20e9acae5e106","datavalue":{"value":"A normal logic program \\(P\\) is transformed to another \\(P^ \\omega\\) by a bottom-up computation on the positive component of \\(P\\) while the negative counterpart is left untouched. The declarative semantics of \\(P\\) is given by the completion of \\(P^ \\omega\\). The completed predicate definitions in \\(P^ \\omega\\), if they do not contain local variables, can be used as a basis for expanding each negated atom in the bodies of \\(P^ \\omega\\). We show that for a class of programs where every negative subgoal can be expanded, the resultant program \\(P'\\) is a definite logic program with equality and disequality constraints. If the program falls outside this class, the resultant program may be executed using constructive negation.   Our proposed scheme provides an effective sound and complete query- answering system for the well-founded models of a class of programs whose positive part has a finite \\(P^ \\omega\\) and whose clauses satisfy the positive groundedness property defined herein.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200979$89BC3588-346C-4CCF-885F-7EA76819A722","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200979$F59016C8-CC63-4F9C-9F82-191AC106160F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200979$7EAB25BB-8FE5-4C9B-A50D-B8D996E61F48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3f08b7e3124e86dd86c58d69c25a5bfecac1d02","datavalue":{"value":"96002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200979$7704A45C-BFEE-490D-A4B8-76D8D6158968","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad96a3185f5faaf4b7601a070f365951d6e7cef2","datavalue":{"value":"constraint logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200979$08073D66-4C18-40F3-B743-CCB2E99EE742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200979$34A51140-97DF-4CA8-AD00-F7B9DE8710F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb17bb0087f9e039fc560288ba536812a74f9e61","datavalue":{"value":"normal logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200979$FE66BC1F-C752-443B-98AD-B0D16366A79D","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":"Q1200979$924F2BFE-A719-4E8F-B175-CA8AE93ABF64","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f93041fe6d7db6318dfbd457c9a855fed097172","datavalue":{"value":{"entity-type":"item","numeric-id":4713088,"id":"Q4713088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200979$1014592F-3076-4437-9266-750F4B38D958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200979$E22E9244-B943-4E6D-BC32-2EE9E11E910B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a542720f4f1287d917dbd23f9f2339493977d78c","datavalue":{"value":{"entity-type":"item","numeric-id":3721789,"id":"Q3721789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200979$01F03A50-642C-41B2-8C21-086D40E502E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bafff14f50652e6aa3b9f92c67eb57091a26f7d","datavalue":{"value":{"entity-type":"item","numeric-id":5096198,"id":"Q5096198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200979$62DF0505-52D7-440F-86A2-C506D7644252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34af38d5111b224227bb34c206e67304c54c4735","datavalue":{"value":{"entity-type":"item","numeric-id":3802588,"id":"Q3802588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200979$08D9F045-32F4-4B44-A75C-7AEBD4665CDF","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":"Q1200979$C9BA67A3-FE92-4B1C-8B2F-1F94BB7598DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8b109b049839a3b0948fa4e3428772ea4a2026","datavalue":{"value":{"entity-type":"item","numeric-id":3707363,"id":"Q3707363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200979$A1F5AE92-FAEC-4312-B418-5E06CBBA8321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6fd86a574ce52183f6056be53a5d5584999bfd8","datavalue":{"value":{"entity-type":"item","numeric-id":1082058,"id":"Q1082058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200979$147F3207-1F1F-48A0-8A3A-D41A12E0B9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430c55748ea798d0b94070d5f52c91e59b4fa220","datavalue":{"value":{"entity-type":"item","numeric-id":3348437,"id":"Q3348437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200979$BAAB8430-0E76-4D6E-8DDF-5010C9AD9B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16220e9810c1bed07c3d6d93354d56350ef530d8","datavalue":{"value":{"entity-type":"item","numeric-id":3992225,"id":"Q3992225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200979$ED502C84-0859-4619-BD04-BCD7C3029578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200979$FCE2983C-B1A4-4F3B-886E-A5D7EF9D168C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f8f48d91106ca2408767fd4e1de5a67cb346fb3","datavalue":{"value":{"entity-type":"item","numeric-id":5096198,"id":"Q5096198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9272b4d7782d63033e3348de45e6d4af9d0e8d30","datavalue":{"value":{"amount":"+0.8298636674880981","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":"Q1200979$7CCC8209-6BFC-4BD8-8502-93CD0D3ADC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bbd95ed1c621897330e854c29a9d3ca0fae0b47","datavalue":{"value":{"entity-type":"item","numeric-id":5712537,"id":"Q5712537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"529964d6c24f7588385aef45fb299566e3b850e1","datavalue":{"value":{"amount":"+0.7817507386207581","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":"Q1200979$D5E6BB63-420E-43E1-A46E-4AE4B52CAC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1c7bf7430022f24353a90eca5847b724de65527","datavalue":{"value":{"entity-type":"item","numeric-id":1274969,"id":"Q1274969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a756f7df6ec4395643a5f49bb0b8f62b4a5ee34c","datavalue":{"value":{"amount":"+0.7603859305381775","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":"Q1200979$D8C1F671-C12D-401A-834E-2308EB6DEC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55de0d0843227789b90c392b99e4d59429269a40","datavalue":{"value":{"entity-type":"item","numeric-id":4713088,"id":"Q4713088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28c3efb19ac75a90cf51a676f4390e560ead7c56","datavalue":{"value":{"amount":"+0.7467664480209351","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":"Q1200979$6187B643-449A-4132-A1B5-11619987F7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ac6aaa1a5e0d0f76a93d6782bb8984caaf5e6a9","datavalue":{"value":{"entity-type":"item","numeric-id":1127337,"id":"Q1127337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d62f91258f1dcebeee6007d4fe72a64bf38b5c97","datavalue":{"value":{"amount":"+0.743642270565033","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":"Q1200979$802A3B3E-7575-41D9-9FF0-DC17478DA9EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transforming normal logic programs to constraint logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Transforming_normal_logic_programs_to_constraint_logic_programs"}}}}}