{"entities":{"Q2743636":{"pageid":2754375,"ns":120,"title":"Item:Q2743636","lastrevid":41959115,"modified":"2025-05-19T16:22:09Z","type":"item","id":"Q2743636","labels":{"en":{"language":"en","value":"Unification via the \\(\\lambda s_e\\)-style of explicit substitutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1652326"}},"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":"Q2743636$91D1CD29-E90E-4809-A7CB-BEF75017E250","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23cdc7a3e7bccd300fe667c288ba448568a7a6d7","datavalue":{"value":"0987.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743636$ED1A645C-90C1-4412-BADE-E8E954FCBB60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb39c66b74dd471ce57c28215b275dfb915aaaa4","datavalue":{"value":{"entity-type":"item","numeric-id":529653,"id":"Q529653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743636$F7C56351-DD03-4B71-A56D-745DD536DE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789e7d13968ff4d1bb0c8502c94008354a07915","datavalue":{"value":{"entity-type":"item","numeric-id":195251,"id":"Q195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743636$55AD86D9-93A6-40BE-8A2C-7C83C997DF41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c27c7c0f05a747a24a0ab4d7e53da6cd04b7e8f","datavalue":{"value":{"time":"+2002-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2743636$450C4387-C4FB-45CC-9405-8AB6C0535074","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743636$4197F897-F39C-4ECD-AD20-D38557AEA2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743636$211D2D08-97E6-4954-97A5-34DFEDC34BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743636$7EBADD15-7726-4C39-AE48-A233B93E377E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b48fa54db6e4a81af2bd1aa87107798d0e4d8fcd","datavalue":{"value":"1652326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743636$F1813A86-7CA6-42B2-9E1D-6022806977C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bd5e640143d97b736be60c5040f4374a126b75b","datavalue":{"value":"higher-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743636$A3B4B2C3-AA0B-43A3-A10B-6D02F3D6A9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48eea116bddf8a4aa136f21923c9bdf061e63c53","datavalue":{"value":"explicit substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743636$095D7620-52A9-46F8-8566-9C879A017359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743636$48CE7A38-E90A-4875-98FD-13E0CBCC4612","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":"Q2743636$F96C8B10-AA73-4E0B-B275-EC5BADDFDAAA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2d83d128ce563d7b78acacf7a6bfce8b6d6a670","datavalue":{"value":"https://doi.org/10.1093/jigpal/9.4.489","type":"string"},"datatype":"url"},"type":"statement","id":"Q2743636$DB94572F-A1D8-4505-B663-E426C5FE3E63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc9fd33c1875f59ade470c4202d3321b3460544a","datavalue":{"value":"W2040894779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743636$667369D9-AEC2-4DB4-8464-29186DFA7E02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"401d825db1cc37ddf1591c13483511e4848a82a8","datavalue":{"value":"10.1093/JIGPAL/9.4.489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743636$C75C4669-363B-492E-BC1B-5954735CED9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f728207bd0d1ddde091bd467e1110cbfe45883f2","datavalue":{"value":{"entity-type":"item","numeric-id":2480966,"id":"Q2480966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10abb9d98bf5707f7df7eac015da39d8aea37f10","datavalue":{"value":{"amount":"+0.8828573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2743636$12B64758-12AB-46F8-AEDC-0ABCB5970A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d377109860b2b897950d761b686913ca7226cdb","datavalue":{"value":{"entity-type":"item","numeric-id":5693576,"id":"Q5693576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ea1bf1fe83475aa7f56a2d17e27788cdece1291","datavalue":{"value":{"amount":"+0.87791985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2743636$C39DBC86-3540-4E79-A08D-67C50CF8135B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b83adc57d446961d7028ba721626edd9a826ebe","datavalue":{"value":{"entity-type":"item","numeric-id":4364370,"id":"Q4364370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"229b4b58a638677ad4eecd299c9a2a099b3140ec","datavalue":{"value":{"amount":"+0.87224174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2743636$ED95E173-E942-4775-AE99-72A0E8C95FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f938600cd78da4b1c1ce3ebd991cc44c96d4d4","datavalue":{"value":{"entity-type":"item","numeric-id":1854337,"id":"Q1854337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"233500307b6bc1f0f6c0b30d34d38e88b6d949a4","datavalue":{"value":{"amount":"+0.8701346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2743636$21E3742D-B887-4599-81F4-70E11B78B2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46bbc8a230c9a4e07da2c4f8d5569aab782686d7","datavalue":{"value":{"entity-type":"item","numeric-id":1823936,"id":"Q1823936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fdff86bc73c66f60471e1d8a9cc53d6f2b9a812","datavalue":{"value":{"amount":"+0.83592844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2743636$55C5A88D-13B2-49B0-89C4-C1C24B0D5A98","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":"2c672f126c0194afa958aa1912197ffc6cd34329","datavalue":{"value":{"amount":"+0.8134219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2743636$3C873DE0-B6AB-472B-B666-EEB2EC5FE887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd29c2c601a7efad8109709c45c578bb5cf69f20","datavalue":{"value":{"entity-type":"item","numeric-id":4938612,"id":"Q4938612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1007fb9f0b5f18a1dbf1faaaac5b14617d413303","datavalue":{"value":{"amount":"+0.81023365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2743636$5525085B-DEEC-4040-AB22-038E016EB3B1","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":"c10906747e533d86fb133709fb8e1240f2d47895","datavalue":{"value":{"amount":"+0.8066821","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2743636$FCEDB3B2-22C1-4967-AB1E-944EC4B87370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9de9904b1680079334c8d0b4c210fb8a4b76d092","datavalue":{"value":{"entity-type":"item","numeric-id":2305407,"id":"Q2305407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a1cedbf7b19d58cbf81cafde07a57b016f4153f","datavalue":{"value":{"amount":"+0.800113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2743636$1381C330-DF48-40DF-81F3-524C6CFAD726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173aee9d2a48e7f455741b1c3b087943876bf963","datavalue":{"value":{"entity-type":"item","numeric-id":1060023,"id":"Q1060023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3ac63e80a9894cccd8b6c3b6165d20136e988ea","datavalue":{"value":{"amount":"+0.79992795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2743636$255B6801-A469-4BC8-B677-FC72FD6E9CD9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743636$FDF109B4-96B6-4FD4-90DF-3944673EFE67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c9bf83e647d6b8713579d1940057a23abd72df0","datavalue":{"value":{"text":"Unification via the \\(\\lambda s_e\\)-style of explicit substitutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2743636$94C96E81-A26C-43BF-BCE8-22055186874F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1e43cfde6fc69a86ecb3d4f26d94ded0a196aed3","datavalue":{"value":"In this paper the authors adapt the higher-order unification method of \\textit{G. Dowek, T. Hardin} and \\textit{C. Kirchner} [Inf. Comput. 157, 183-235 (2000)] to a \\(\\lambda s\\)-style calculus of explicit substitutions [\\textit{F.Kamareddine} and \\textit{A. R\u00edos}, Lect. Notes Comput. Sci. 982, 45-62 (1995)]. The method of Dowek et al. [loc. cit.] is based on a different substitution calculus, in \\(\\lambda \\sigma\\)-style [\\textit{M. Abadi, L. Cardelli, P.-L. Curien} and \\textit{J.-J. L\u00e9vy}, J. Funct. Program. 1, 375-416 (1991; Zbl 0941.68542)]. Explicit substitutions enable to reduce the problem of higher-order unification to first-order unification. As mentioned by the authors the advantage of using \\(\\lambda s\\) instead of \\(\\lambda \\sigma\\) are mainly consequences of the differences between both calculi: 1. Only one sort of objects is needed: terms. There is no need of substitution objects like in \\(\\lambda \\sigma\\). 2. Detection of redexes depends on the search for solutions of simple arithmetic constraints. Moreover, the presentation using \\(\\lambda s\\) is for me clearer than the one using \\(\\lambda \\sigma\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743636$71BFBB8D-B2E2-448F-B542-C91005B4BB7D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"46e9cef7d36b7ae4173018bf7537ade343bbebe2","datavalue":{"value":{"entity-type":"item","numeric-id":1840459,"id":"Q1840459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743636$192E44EC-392C-48EA-A5B7-5155380B0694","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2743636","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2743636"}}}}}