{"entities":{"Q1853170":{"pageid":1863912,"ns":120,"title":"Item:Q1853170","lastrevid":71501523,"modified":"2026-04-13T22:41:00Z","type":"item","id":"Q1853170","labels":{"en":{"language":"en","value":"A residualizing semantics for the partial evaluation of functional logic programs."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1856500"}},"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":"Q1853170$4669EDB1-02D1-48FC-AA9A-23A2B7808BC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3892f9836367eb7d13d513e9c9b01b6e0756079a","datavalue":{"value":{"text":"A residualizing semantics for the partial evaluation of functional logic programs.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853170$4BCC5B75-3B6B-4939-ABC4-54707F4DA0F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"096c9e4ef22f0bc4c2fa28f1dbc8d8eccf9189a0","datavalue":{"value":"1042.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853170$E3E80AB7-529C-47BD-94F6-5AB580E33535","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83911047718367ca59cce2e63135329daabf636d","datavalue":{"value":"10.1016/S0020-0190(02)00336-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853170$F8AD17C5-355B-432C-BE87-84E87146338C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db02a25ee0188485f9ab7c84ccd406f8866487b6","datavalue":{"value":{"entity-type":"item","numeric-id":232928,"id":"Q232928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853170$A1386C55-AADE-4944-8874-BDAFA254BC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"284a0a3d9b0aa1479b8d064647908d17d9971b50","datavalue":{"value":{"entity-type":"item","numeric-id":293291,"id":"Q293291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853170$B2E6D32D-9CE1-43BE-BF65-0E4E67DF0110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"018a45413fbb8c9259001dc9c55f052d2b61eb8d","datavalue":{"value":{"entity-type":"item","numeric-id":232929,"id":"Q232929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853170$51822109-313D-4651-AE0B-BC31DB199A53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853170$A8A1CD02-8536-4665-A0ED-2049916E89DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b5e42af6f5e314fbfeffbcec47ae99c9eed44fd","datavalue":{"value":{"time":"+2003-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1853170$17FBBF95-01BA-48AC-AF78-BA3B2250D07A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b7be7d79a9f499c39e20eb00ffc559526da5c3bb","datavalue":{"value":"Recent proposals for multi-paradigm declarative programming combine the most important features of functional, logic and concurrent programming into a single framework. The operational semantics of these languages is usually based on a combination of narrowing and residuation. In this paper, we introduce a non-standard, residualizing semantics for multi-paradigm declarative programs and prove its equivalence with a standard operational semantics. Our residualizing semantics is particularly relevant within the area of program transformation where it is useful, e.g., to perform computations during partial evaluation. Thus, the proof of equivalence is a crucial result to demonstrate the correctness of (existing) partial evaluation schemes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853170$5F8980DC-7C8B-4691-8429-901179394232","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853170$070495B2-EE90-49D0-8A34-B4E6ECE7C1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853170$CE94573F-3A7D-41E2-B2F3-D9C9F56134CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f4c899a33dcf487c829967b6824e533bf5e1c19","datavalue":{"value":"1856500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853170$39464BFE-B135-4E86-BEBD-EE202D4CE61B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07069202e23960b8ed4732023a80069e9bdc6ee3","datavalue":{"value":"Programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853170$DCAFF96E-705D-4AB6-922F-3D02BF4BE0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae53b53d17717319e621a0dd3ffb5abbf97171d2","datavalue":{"value":"Formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853170$C2C421E3-A074-45A6-B131-281A39B06798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f022f0315b72a5b3a5898b8e6cde2024bb232a0d","datavalue":{"value":"Program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853170$D2464656-A5D3-494A-A15E-58D255EAD721","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":"Q1853170$12CA4BE7-FBC4-4BE7-AFB5-A6A6FEE9BA81","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a8e6193d01e0ad1f260181296c94492db819479","datavalue":{"value":{"entity-type":"item","numeric-id":2767032,"id":"Q2767032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853170$2D2D9138-0220-4379-9DDD-99C583AC637A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"657027be469db18e4d5129ac2351e8c978dd911d","datavalue":{"value":{"entity-type":"item","numeric-id":5957056,"id":"Q5957056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853170$72F4D41A-84B9-4300-A244-2EABAAED7523","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":"Q1853170$B732B0FA-E94F-40CA-93A4-BB59EDDDC1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c3b89a09d0a3121a53d05d395c198853f4ccd7","datavalue":{"value":{"entity-type":"item","numeric-id":4256147,"id":"Q4256147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853170$29E60419-CC43-41B1-A2B7-7D0F80076C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48ad5ce4b8bfe07d7f456fc94286f8f51e986f6d","datavalue":{"value":{"entity-type":"item","numeric-id":2763698,"id":"Q2763698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853170$6CCDAC47-24F3-4F6C-A170-6378C59D605E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853170$06908C9C-FEA9-45D6-B2A7-739EF8D27563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5700bddd5b497615cb8c41e6f2bbf5fb3735905","datavalue":{"value":{"entity-type":"item","numeric-id":4339016,"id":"Q4339016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853170$4653B9C8-6CFC-4403-8193-7A1C188E1872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fcf4186c4480f5d344cc9880618b00ccbaf1502","datavalue":{"value":{"entity-type":"item","numeric-id":914358,"id":"Q914358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853170$BA873CF2-6853-4F96-B1FC-56A1DB71EA0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfcbc1fb553ba13e25d7a52e20d468a13d005add","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(02)00336-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1853170$E1376B1C-7AEA-4B34-8899-D196BF60B782","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d652df625fc793035b1de8b50a446428efb6958","datavalue":{"value":"W2145960600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853170$D4BDE98C-4186-4DF1-9B27-57C484002B90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d3638d3a94fa3dbe796d5db0b12064a0b094a3","datavalue":{"value":{"entity-type":"item","numeric-id":4413065,"id":"Q4413065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"240ed8c6012d3408234c346f6de35524201271cf","datavalue":{"value":{"amount":"+0.802847683429718","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":"Q1853170$0B2383AD-CCAF-40EA-97C7-6903553B8679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d254b4f91f96793d4c9f9c0e83d32fb80af010b","datavalue":{"value":{"entity-type":"item","numeric-id":5308692,"id":"Q5308692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eecf4d6ed671015b9d110901fab05fe414472395","datavalue":{"value":{"amount":"+0.8016034364700317","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":"Q1853170$5F1BACFB-FB79-4200-86B7-9F9BA934F76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f35f5c122f4c9e4602a53a8199387d5b305229b","datavalue":{"value":{"entity-type":"item","numeric-id":2743695,"id":"Q2743695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d90c00657964d0f5f6a5658702b6602781197ae7","datavalue":{"value":{"amount":"+0.7980459332466125","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":"Q1853170$EF7447CB-9514-4F69-9FB7-615C3443E9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"816a20fe5e0736455c2a046b00419290e35e41ea","datavalue":{"value":{"entity-type":"item","numeric-id":4446264,"id":"Q4446264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d90c00657964d0f5f6a5658702b6602781197ae7","datavalue":{"value":{"amount":"+0.7980459332466125","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":"Q1853170$F4A8E3BA-3A23-4D95-8E43-6E94B3CA4436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e8c0f07ebd6b2dfe513ab26ff0c193fa6d1cba","datavalue":{"value":{"entity-type":"item","numeric-id":2456574,"id":"Q2456574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a56be3f0790e2c94c570f95d2806dd09d677f45","datavalue":{"value":{"amount":"+0.7772778272628784","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":"Q1853170$5A41783D-053F-4C78-9080-C10151B2A930","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A residualizing semantics for the partial evaluation of functional logic programs.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_residualizing_semantics_for_the_partial_evaluation_of_functional_logic_programs."}}}}}