{"entities":{"Q1104776":{"pageid":1115525,"ns":120,"title":"Item:Q1104776","lastrevid":70098315,"modified":"2026-04-13T12:25:39Z","type":"item","id":"Q1104776","labels":{"en":{"language":"en","value":"Delaying unification algorithms for lambda calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4057050"}},"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":"Q1104776$F57002EB-F74F-4151-A6D4-C63B2019A880","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b245225bdb236299d37ab31d67c0909f93fcdf5c","datavalue":{"value":{"text":"Delaying unification algorithms for lambda calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1104776$339581C5-7C26-469D-9121-86282F6CA6E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d1938e6c79c2c9a7f7930fb5c0a767517df862f","datavalue":{"value":"0647.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104776$E5A39A80-AEC3-410F-8106-3FC92FEDDB54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c796ac0ef58f972fb713cec236026fbd404cbee5","datavalue":{"value":"10.1016/0304-3975(88)90135-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104776$DFE468F2-8E7F-411E-960C-6EA059F19AB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3aab6dedcb6e4efb99030d8bd26448927a29ad86","datavalue":{"value":{"entity-type":"item","numeric-id":911772,"id":"Q911772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104776$91AC1A50-15BD-44A8-B314-0FF88717AAB1","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":"Q1104776$75F8B82D-F16D-441F-93DF-36E8479162E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1104776$40761655-5900-4C6A-AE8C-31449536017B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8fd446d51b6a2c52be5caf48d96f798f007568fe","datavalue":{"value":"Huet proposed delaying some unifications of typed lambda terms, as part of a higher-order resolution method. This paper abstracts that idea from the resolution context. Unification delays are formalized independently of any context, by defining a lambda calculus where a unification constraint forms an integral part of each term. This calculus is shown to support an unusually simple unification theory, where most general unifiers trivially always exist. Attention shifts from the existence of unifiers to the simplification of expressions for most general unifiers. The approach is convenient for discussing the unification of untyped lambda terms and has promise for discussing schematic unification of term schemes. It may also be a convenient format for unification algorithms in rewriting systems which use lazy evaluation to compute with notations for infinite structures.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104776$A6023FE4-F355-4D7D-AF0A-3D3AA98A228A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104776$25DFC0C3-3A97-48EE-A6A8-B51B0782C1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104776$29C2A30A-2F06-428A-B0BA-C72109636EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104776$8AACD202-8380-4965-AED3-175C54EB418B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81de53a5b71e7e77d15e22f60bd000bdb4a6a131","datavalue":{"value":"4057050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104776$DBDED7E9-AD64-4BEC-A1DD-0715134CC0EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104776$53CF10B6-11CB-418E-83EB-386949EAEFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104776$985AC6F3-2177-4E3B-AE55-B2766C3DD09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104776$FAB330CE-4A61-442A-B947-DCE869C1D704","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":"Q1104776$95C013AC-AE4D-4A1A-9876-F7C9E40C66C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa13ad92102d341f06cca6a612c71d01737ce392","datavalue":{"value":"https://doi.org/10.1016/0304-3975(88)90135-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1104776$E94F301C-C21F-407C-AF1D-95C8A67ABF54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1dc4bf75a53056094ea79bc8265156768ac033c9","datavalue":{"value":"W2088369130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104776$6BAB7E86-AF5D-436A-989C-922182FF0D63","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104776$C947BB57-BCB6-47BC-959D-71BACE78DBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d6f7aef899296a3c8aed111eba9f242902d3055","datavalue":{"value":{"entity-type":"item","numeric-id":1095121,"id":"Q1095121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104776$576CD6C2-5941-462B-8D56-53D189B4CB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92b95525ce708a87594204c5be5dc23607e828d2","datavalue":{"value":{"entity-type":"item","numeric-id":3787472,"id":"Q3787472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104776$B83939D3-5F1F-4AE6-9F77-60D4976149D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9bf20624e9921f92416c367634b9301d609d50c","datavalue":{"value":{"entity-type":"item","numeric-id":911773,"id":"Q911773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104776$F7FDF50B-DEDA-459B-959C-385F4890BB09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2842a69ce505d76f527982e81a57a0ca07074c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5286030,"id":"Q5286030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423fad34f83917ae918365d42bda1ac0e47aeda5","datavalue":{"value":{"amount":"+0.90075916","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":"Q1104776$A3AA8F87-5C2C-4431-85A5-62A364FC26B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a101ceeae7e1f0868e37466628ea91faa04628bb","datavalue":{"value":{"entity-type":"item","numeric-id":3179400,"id":"Q3179400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a9d80d80259ed6f3ab5b938009e353f4a79e7ea","datavalue":{"value":{"amount":"+0.89318997","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":"Q1104776$CD10FCDA-D156-46FB-AA05-83D96D93146F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a995296ad29113f91b725caf0e048a53ed7331","datavalue":{"value":{"entity-type":"item","numeric-id":4249894,"id":"Q4249894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8e1d3c6fe734a56dfcae310a27c8761412f5b97","datavalue":{"value":{"amount":"+0.8863179","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":"Q1104776$9D883499-0750-4163-A597-6747FD600775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5267a608e2ffb109e6f0648e6d8e8330a0b6ec1","datavalue":{"value":{"entity-type":"item","numeric-id":2915133,"id":"Q2915133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"008cacd427ec0ae9c14d5b8b13ff83458650ef46","datavalue":{"value":{"amount":"+0.8807666","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":"Q1104776$081689B2-7632-4696-8EE1-E23B5650E7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0af841dbaac1c030960b977a72d80d9d1f04996","datavalue":{"value":{"entity-type":"item","numeric-id":2708310,"id":"Q2708310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"631b0a55efff9f87aa4ea2e2a0257622ca0d89e4","datavalue":{"value":{"amount":"+0.87286115","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":"Q1104776$961A8D60-CB54-4D7D-AE77-7068643FBD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f536895003c10dac6aac53c6b63d3c3307f81ab","datavalue":{"value":{"entity-type":"item","numeric-id":2508325,"id":"Q2508325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb43f9896cd3eb170606890266cd177b45180185","datavalue":{"value":{"amount":"+0.8724703","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":"Q1104776$2A6464CC-7955-48DB-A834-8E2AB232BB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be1960e618ce37c57df97482506335b28ef4f77","datavalue":{"value":{"entity-type":"item","numeric-id":4723321,"id":"Q4723321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c76f4b197ff28141fdb0519d74d3b5507196cb0","datavalue":{"value":{"amount":"+0.8694676","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":"Q1104776$D8B47ED1-1477-40EE-8F44-09BCA1E74406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4d3dbec756cc1b460adf362b308b634ddd55232","datavalue":{"value":{"entity-type":"item","numeric-id":1327395,"id":"Q1327395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06648e158b063aef0929bccae69770fac900eaff","datavalue":{"value":{"amount":"+0.86930573","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":"Q1104776$97DD09C0-B23C-4FEF-9379-4CE083874F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58db8c06da0c5cb2a6d06b13a3b15a9c556ffcef","datavalue":{"value":{"entity-type":"item","numeric-id":5887531,"id":"Q5887531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"851f65fa4d2a2844e8a9ab8e7768ea2ce79d4755","datavalue":{"value":{"amount":"+0.86907035","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":"Q1104776$B62BD3E0-7126-4374-839E-B8961DBF4096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd1b36063f12feae781a29c64cae95057015f3e8","datavalue":{"value":{"entity-type":"item","numeric-id":3707989,"id":"Q3707989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b870cf65a940eb62d717544a63eda874b010bc5","datavalue":{"value":{"amount":"+0.86838216","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":"Q1104776$73D8B199-06E5-448C-A2B8-2122F626BDA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Delaying unification algorithms for lambda calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Delaying_unification_algorithms_for_lambda_calculi"}}}}}