{"entities":{"Q1094865":{"pageid":1105617,"ns":120,"title":"Item:Q1094865","lastrevid":66712032,"modified":"2026-04-12T12:19:19Z","type":"item","id":"Q1094865","labels":{"en":{"language":"en","value":"Set abstraction - an extension of all solutions predicate in logic programming language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4026797"}},"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":"Q1094865$79FAC763-DF56-4C67-87EE-7D9E0BDD0BEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72fe723c07dc1a42f489c441cd3800703d6f9afa","datavalue":{"value":{"text":"Set abstraction - an extension of all solutions predicate in logic programming language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1094865$E79D702A-A90A-44B3-B068-E48ACC0B72E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"385e6e732682f9182eb6e19a9920eb19ac9b7bd2","datavalue":{"value":"0631.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094865$E86B42BD-E35A-42C8-B047-2A6E91492D6E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0c7c3095bc5e11a12603f210e6dfbf3a2dec2cf","datavalue":{"value":"10.1007/BF03037464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094865$80AD2674-63D3-43A1-B78B-650A49FEBBB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"728153b93b3ca6d18b5006016cbd1877ac7635c0","datavalue":{"value":{"entity-type":"item","numeric-id":243844,"id":"Q243844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094865$EEE0EE00-418A-4059-8819-359126ED9A40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094865$E293C156-E0A3-486E-913B-C6C45997A557","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1094865$DD9117DA-705D-4101-BA80-AE2BD249A08D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4d143bd15269e4639a730d004509dbafa0a2fad9","datavalue":{"value":"The concept of set abstraction is introduced as a simple analogy of that of lambda abstraction in the theory of lambda calculus. The set abstraction is concerned with two extensions concerning Prolog language features: ``set expression'' and ``predicate variable''. It has been argued in the literature that the set expression extension to Prolog does really contribute to the power of the language, while the extension of predicate variables does not add anything to Prolog.    Combining these two concepts of extensions to Prolog, we define ``set abstraction'' as the set expression in which predicate variables are allowed as data objects. In other words, the set abstraction gets involved in the higher order predicate logic. By showing some application examples, it is demonstrated that with the help of predicate variables set abstractions can nicely handle the issues of the second order predicate logic. Further, the implementation programs written in Prolog and Concurrent Prolog are presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094865$178BEB07-55F5-4690-B165-82B5C0A6FEAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094865$184BB218-6C2F-49A8-8A81-4A96367CA1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094865$8D606951-3E49-42CA-B78D-8F99238371BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094865$2BC43ED8-8075-47F3-9A82-17952C4672FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63c529e75379fbe96885619c647198ecd4a24815","datavalue":{"value":"4026797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094865$36A60E3A-A6EC-4615-959A-562C835EADBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab9f1f60dbd5c026bc43f03d208e08b577eb601a","datavalue":{"value":"set expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094865$575710C4-F830-4790-A401-31E9CDDDEF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b6e879e75c263def884cd75dd4f0f1db53ca39a","datavalue":{"value":"predicate variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094865$AA64BE32-3526-4CA7-A6EB-B08265D95DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"148a8d882ca409c80d70aea9c996f8f56beca9ed","datavalue":{"value":"predicate variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094865$C26A4FD5-CA1A-4391-BFC9-8B4AF079E56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4132903b4e279218143203eb2771fc35fea8f83c","datavalue":{"value":"higher order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094865$983E77AF-6B42-4F83-BB67-8FE917BF3FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a70683ef19c96c5ce786aec3fc61103989670e1","datavalue":{"value":"second order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094865$92ED53E2-781C-4340-B81B-4686C067A5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094865$4F089F5D-20D3-4B2A-94A9-1F04339E76F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa60117a6ac298362120852e5abb50766f19b7e1","datavalue":{"value":"Concurrent Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094865$909CAFD6-1C4A-4AEF-8AD8-CC603F396BF9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5cb180c22f3bced7fedc55462354c0f7fabfc168","datavalue":{"value":{"entity-type":"item","numeric-id":35531,"id":"Q35531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094865$19E4EAF5-F205-456B-A31D-52DAC9BE480F","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":"Q1094865$F9CC5113-A675-4CAD-ADC7-C3659CAE3955","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d54d03d44a544a3c811b233b3629d1a95e74c1c","datavalue":{"value":{"entity-type":"item","numeric-id":3721786,"id":"Q3721786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094865$F03794D3-5ADE-4BC7-A39D-F504B246E793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8a79af3c28ca6a85273f2cf60e4233483e6da8","datavalue":{"value":{"entity-type":"item","numeric-id":4051550,"id":"Q4051550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094865$B887B2C2-1828-4F39-849F-DEEA698737D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"305395d767f4a640605eaff754e44126df02a18c","datavalue":{"value":{"entity-type":"item","numeric-id":3742690,"id":"Q3742690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094865$996D3340-6334-4CF1-BDCB-8975A22EAB11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96ca03cb4a4f589f9e94b12c02030a9dfaac9a41","datavalue":{"value":{"entity-type":"item","numeric-id":3460067,"id":"Q3460067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb3dcde3226fb8dca67619a8365f27928d36607","datavalue":{"value":{"amount":"+0.8604157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094865$3E51E927-1B32-4DD0-A0C5-6BA0CD603F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d80d5cd160708719495c51c69cfcfa6c9e86853","datavalue":{"value":{"entity-type":"item","numeric-id":1029592,"id":"Q1029592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb21b57c64523e2e510bd7bc88afac1b5e314368","datavalue":{"value":{"amount":"+0.8536289","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094865$BDDFCC76-9C7A-44CC-A8B1-87E57B896382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"161118802484d431fcfd10386c29a1c76fdd246c","datavalue":{"value":{"entity-type":"item","numeric-id":549686,"id":"Q549686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e8a0abb0b10dc7809657adf6cdf12a59453e195","datavalue":{"value":{"amount":"+0.8516558","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094865$4F57ABED-8121-42B3-8F39-07D6C9040252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a06955dffd6e327f4d11c4c479c99ae3ef1bd848","datavalue":{"value":{"entity-type":"item","numeric-id":3605465,"id":"Q3605465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e8a0abb0b10dc7809657adf6cdf12a59453e195","datavalue":{"value":{"amount":"+0.8516558","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094865$0F9E3B8D-2020-4DC2-9472-511AACD7E16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf07780ed48af6011da97f978af5c34ddd6bf447","datavalue":{"value":{"entity-type":"item","numeric-id":909435,"id":"Q909435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"309502704b4580a550cb977437072bd3aefbc293","datavalue":{"value":{"amount":"+0.84346044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094865$3CD81E3E-CF66-4D5D-9E5B-875C9D9787DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6097f9fad2d3fad282d7c130e3c37bac7b7f5ac","datavalue":{"value":{"entity-type":"item","numeric-id":3624081,"id":"Q3624081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c38b197c8794442c0bbcd065bd1174c27c76df3","datavalue":{"value":{"amount":"+0.8434128","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094865$24410F9F-749D-4451-ADC2-96AFB56FD3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6813a2e80b584ad8b9e0c63669cf840d4529583c","datavalue":{"value":{"entity-type":"item","numeric-id":2814098,"id":"Q2814098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3673ef1d856763b2e7d2867a17b5afb122ac0323","datavalue":{"value":{"amount":"+0.83910877","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094865$75B3AACA-CE65-441D-8A3C-349007FFC7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2206dc1c02219ce8351aea66e5fc969a4b232e3a","datavalue":{"value":{"entity-type":"item","numeric-id":5053004,"id":"Q5053004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfecf1ccb4f23f1798ee92d80d91c99b190230f9","datavalue":{"value":{"amount":"+0.83897895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094865$569A8D88-3747-4F31-9A30-C6EB993DCBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86df0a704069eb49c994220515c17d02ba95667f","datavalue":{"value":{"entity-type":"item","numeric-id":5504668,"id":"Q5504668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d5367cd651641c7faf18000492a8e1b5df0771","datavalue":{"value":{"amount":"+0.8370781","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094865$4B8B4F7C-41F0-44E7-978B-6E14C0E004EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Set abstraction - an extension of all solutions predicate in logic programming language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Set_abstraction_-_an_extension_of_all_solutions_predicate_in_logic_programming_language"}}}}}