{"entities":{"Q2867956":{"pageid":2878676,"ns":120,"title":"Item:Q2867956","lastrevid":57476349,"modified":"2026-03-31T02:13:55Z","type":"item","id":"Q2867956","labels":{"en":{"language":"en","value":"Extra variables can be eliminated from functional logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6241775"}},"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":"Q2867956$6C930337-06B9-406F-BB7D-ABCDC5A0D64B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42a851e7c66c4e269b21c72bf7adae42c49aa6c2","datavalue":{"value":"1278.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867956$1D67E7B9-EC43-4D6D-A013-3BB1F186D31F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56448186bff1068fda532d24981ca42079c05775","datavalue":{"value":{"entity-type":"item","numeric-id":2867955,"id":"Q2867955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867956$9E5CA3CE-5B71-4F2F-9B16-2A8C57170E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec8382f359196c686b16dff13fed23e354206080","datavalue":{"value":{"entity-type":"item","numeric-id":880983,"id":"Q880983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867956$6CF4E25B-54CE-4D61-8230-A5A8BE2A7536","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867956$B237C58E-7678-46CA-A646-4276115553F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"910ae69968b0b824ffb07e2bd5cc35370f9e2a13","datavalue":{"value":{"time":"+2013-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2867956$994D7ED8-B830-41FF-AE6F-5009E19EA519","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867956$99813A45-4BA9-4B04-9596-7E594B4B5F34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fad732ca3976ea6fbb326b302f08b21c81ab25b0","datavalue":{"value":"6241775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867956$3BA38810-D729-40B2-865D-9451BCC26D34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c6a78da707f54291e4b86844de0c5e935e1160","datavalue":{"value":"functional logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867956$90473F47-EF20-4183-957D-B0638F4B3911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3805e763fd6099213f161245289be1a5761c4cb1","datavalue":{"value":"extra variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867956$4030A4C2-0BBF-4344-909F-3AA227BA4E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867956$344948DA-5D97-454E-9312-8BB21069E453","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":"Q2867956$8D218C0A-4DB9-4596-AFCD-3D1C067596C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fed1ee5296a24abdff7f484fff7f982d28964140","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.05.049","type":"string"},"datatype":"url"},"type":"statement","id":"Q2867956$4FFFE219-CDC4-4CEB-AD59-9C38266FCFD4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c836a113986a54ea357a3b534d6f7e4b678fcbe","datavalue":{"value":"W2044013129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867956$65878C52-00B4-47F8-85B8-7C04057D2844","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6b5fa0cf67945c112778b5815fa23b445854a","datavalue":{"value":{"entity-type":"item","numeric-id":2456574,"id":"Q2456574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867956$60609669-B4B4-4A1C-B32C-DFF27660DBE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442105a149ceb60d57778ffcb587483b71fe451e","datavalue":{"value":{"entity-type":"item","numeric-id":3370571,"id":"Q3370571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867956$EA6A3DFE-9F87-403E-9A20-0BE70F13A722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8ad2a756b004671bd353acfe2baf2cb72967fbd","datavalue":{"value":{"entity-type":"item","numeric-id":2850664,"id":"Q2850664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867956$D7EE8E51-41BC-4A8C-9FBF-479C1E855105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a87eb4cdd0fe9ceaf462410bfeb005fa5d0358f","datavalue":{"value":{"entity-type":"item","numeric-id":3457756,"id":"Q3457756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867956$8ABE4252-A733-4BFC-88F0-441681EAE177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f8617cf518cc64e76f33a1721308a47d5d3d336","datavalue":{"value":{"entity-type":"item","numeric-id":5449594,"id":"Q5449594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867956$89D3C789-31DE-4566-A70F-5BA739384D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7694d0d07129d4904b1fa011fa6e6152932392ea","datavalue":{"value":{"entity-type":"item","numeric-id":4700443,"id":"Q4700443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867956$3A86F497-BEF7-41C4-988D-E3CB0BF297E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"091d67ddf7cdafb507710cfa856176338282f42b","datavalue":{"value":{"entity-type":"item","numeric-id":2766766,"id":"Q2766766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867956$087173CD-B408-448D-88BD-247E8F1F9DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83880f170299ba13e2e839890cba27cc20df7932","datavalue":{"value":{"entity-type":"item","numeric-id":4305632,"id":"Q4305632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867956$8181350A-75DB-454C-9975-C994695372D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e8fa2cd08b4efee1a1b8c012d300ee2fa454871","datavalue":{"value":{"entity-type":"item","numeric-id":5287526,"id":"Q5287526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867956$4AD56E15-2D60-4A1E-BCF0-5F7D8DD0AC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fab90fbcbfa23561af7c635968198f5699727974","datavalue":{"value":{"entity-type":"item","numeric-id":4819004,"id":"Q4819004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867956$70FE5B2A-AC3E-4EDE-AB52-B7C739F7178B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8116abcf782f1eb265d3367f1bdda8229b59ed2","datavalue":{"value":{"entity-type":"item","numeric-id":4938421,"id":"Q4938421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867956$0EF2C32E-59BA-4FB2-8536-1BBC0FD056D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e357561b24d9113100e0759ecfadf0c69ade7ba0","datavalue":{"value":{"entity-type":"item","numeric-id":673496,"id":"Q673496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867956$523F8FA2-B716-486E-81FF-252D6E08D293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"459f36f58e3e0fa3badde1517a63c77fbbce2230","datavalue":{"value":{"entity-type":"item","numeric-id":2762632,"id":"Q2762632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867956$829AB795-C2A0-46C6-8E3D-15924C2924D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"643f08e41439c9aca58b5d07302ab279ea7b866f","datavalue":{"value":{"entity-type":"item","numeric-id":5178026,"id":"Q5178026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867956$D6C75F09-F31D-48D9-850C-1F10787979BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2147475234525fc7d31e8232127669ae8fc67e04","datavalue":{"value":"10.1016/J.ENTCS.2006.05.049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867956$130F4F51-92FF-44F7-8546-1F93F05813B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8ae26b1242a7a82024c5618fcb697565ff1307b","datavalue":{"value":{"text":"Extra variables can be eliminated from functional logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2867956$1C8A39EC-183E-411B-9A15-09EB5004695A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"986ed33e485772c8dc7c723715d0ab8b9a37e6e8","datavalue":{"value":{"entity-type":"item","numeric-id":5449594,"id":"Q5449594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31961d9d9ff3b180936ae2477971dc20e5fdee49","datavalue":{"value":{"amount":"+0.7951525449752808","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":"Q2867956$E87388F0-C317-42EA-A3A6-8A853A853A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc8907be0962991529adcdd53e8bbd3f5af7ad1e","datavalue":{"value":{"entity-type":"item","numeric-id":5302880,"id":"Q5302880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a90c8f341136970b24437e8c965003925ef6f877","datavalue":{"value":{"amount":"+0.725700855255127","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":"Q2867956$259B0021-5340-4DB0-AEC2-1D63FB03CBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa1c274b7e15671206e8c5080156b3fc3a16a79c","datavalue":{"value":{"entity-type":"item","numeric-id":2850664,"id":"Q2850664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dba1299d1fe9a66c8c586611ef8f12863caf6970","datavalue":{"value":{"amount":"+0.7192956209182739","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":"Q2867956$2869C3E9-BB5D-45D8-91E5-1FE0780A8E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"896e4cb924f5559b0c9344c2fe92f4c8cc87cb56","datavalue":{"value":{"entity-type":"item","numeric-id":2864514,"id":"Q2864514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"239275e16e8cbd1ad8afcab8b1ba339719d4225c","datavalue":{"value":{"amount":"+0.7086018323898315","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":"Q2867956$4DB2A08C-6522-4668-B2BA-61E0237BC8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aebf92be8aea5ce03820e93ebd9511fb24449a59","datavalue":{"value":{"entity-type":"item","numeric-id":4982472,"id":"Q4982472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9e92e59e8100780b4da4795b37d53714c47138b","datavalue":{"value":{"amount":"+0.7046062350273132","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":"Q2867956$79B0A279-6E32-4F2F-A7BA-1A3F08827E90","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867956$FCE87C57-A5CC-41A2-AFEE-AF107ABE0D3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2867956","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2867956"}}}}}