{"entities":{"Q762137":{"pageid":763986,"ns":120,"title":"Item:Q762137","lastrevid":64184349,"modified":"2026-04-11T18:11:35Z","type":"item","id":"Q762137","labels":{"en":{"language":"en","value":"Une nouvelle C\\(\\beta\\)-r\u00e9duction dans la logique combinatoire"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3887651"}},"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":"Q762137$154E6619-3CC8-4484-B325-EF959DAAD292","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09d39c58219ba57574e6e71a86326599e2179cfc","datavalue":{"value":{"text":"Une nouvelle C\\(\\beta\\)-r\u00e9duction dans la logique combinatoire","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q762137$9F7B2059-8488-48C3-BEC2-4EA7B2088FD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"819812681cbcfb705cae5cd79a74f6de2133c756","datavalue":{"value":"0557.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762137$B624FBF9-ED59-41E9-BDAB-254025E8361E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc3cd1f5332f70e9fa05b4bbe7b2f525f869ab41","datavalue":{"value":"10.1016/0304-3975(84)90132-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762137$F7688504-E82B-4B8C-A0B2-62001ACF4BD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"877dbbc9d4edae4be0006cd2ca1a1869156c20c2","datavalue":{"value":{"entity-type":"item","numeric-id":762136,"id":"Q762136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762137$73A41E45-2A0A-47E2-8A74-31B79F33A7DC","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":"Q762137$B62D413A-8163-4D59-84BF-1A2EADAF69FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q762137$760CC016-3E19-441A-B214-0E55A8623787","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1bad3fcd4416104da821d927fc28d84b4212ceb7","datavalue":{"value":"In this paper we give a new reduction in combinatory logic analogous to \\(\\lambda\\) \\(\\beta\\)-reduction. Such problem has been studied by Curry, Hindley and Seldin. Curry's reduction based on abstraction algorithm \\((abc_{\\beta}f_{\\beta})\\) does not solve the problem completely. Hindley in his unpublished notes gives a new definition of equivalence between CL-reduction and \\(\\lambda\\) \\(\\beta\\)-reduction. The CL-reduction that we give is based on Hindley's characterisation of \\(C\\beta\\)-reduction described in his later work. It consists of finding an abstraction algorithm [ ]\\({}^ 0\\) and a reduction in combinatory logic \\(\\succ^ 0\\) satisfying certain properties.    We define [ ]\\({}^ 0\\) and \\(\\succ^ 0\\) and prove the theorem that the couple ([ ]\\({}^ 0,\\succ^ 0)\\) has these properties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q762137$36935BC5-BC85-497A-8EC0-E63F506C7451","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762137$78CA62D4-76BA-49E6-BCF2-DAB544F06F59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"375e61a19f284ae9016835e9e65bf12fae5870f3","datavalue":{"value":"3887651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762137$63780CE0-1E7D-472A-846B-011109384AD8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9fad5ea3ef81852868273c60f2bedea36d26389","datavalue":{"value":"lambda-beta-reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q762137$794B289C-5F40-4EF4-B297-D1CCED360B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q762137$F536233E-06A2-42B8-B4C6-EE3E29B95231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc9c8ba1b474c6dbe3c79bf1fd1d31db64152f0","datavalue":{"value":"abstraction algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q762137$0B7FAD1C-B09C-4B3A-A5F6-F96B4D47BF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q762137$7B4624D2-E293-412B-AD77-89659E86D5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e494affa9d3d657d1a15280efc333814937ee20","datavalue":{"value":"CL-reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q762137$A2674F74-823A-4DDE-B1F4-56893E806249","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":"Q762137$AAA261A8-4AC2-4268-8565-0752C5E35CE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b8a762a20d5d056f1a6e60cb4c490ff9f285ec0","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90132-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q762137$216F22D5-01D5-4175-AF7C-C623D5E4EC9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0ca336f9562b0f164db77df5aba46253d371369","datavalue":{"value":"W2020478268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762137$8AF503ED-C409-4F79-843D-79E25F652167","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762137$00EACE78-E73B-4342-B4E3-0BDEC5206C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762137$2CE854DF-877D-4C4F-BB25-0D3DE82DAA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762137$41152E62-30B1-4463-8BD8-0BC0F4551FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00b98f1b8d3e198f13c8d4c7f34bacaca6a772f","datavalue":{"value":{"entity-type":"item","numeric-id":5532528,"id":"Q5532528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762137$09DF0DCB-85D8-4A21-BCA1-0BF8BE276E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8da94acaf95b26157aa8db77f1b3b250a394510","datavalue":{"value":{"entity-type":"item","numeric-id":4133942,"id":"Q4133942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762137$D2B5F3F4-B609-400A-8739-F46827AF38A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf2fab5b363b105785b75a93ff3c3004c472786","datavalue":{"value":{"entity-type":"item","numeric-id":654911,"id":"Q654911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"974851af26c9d7be533aa76a40d3613a0489d1fc","datavalue":{"value":{"amount":"+0.897163450717926","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":"Q762137$9FB81654-B74C-4ABC-9B31-2A9C27232C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab27d8a541602ffb3d78a9ee028720b387b8131c","datavalue":{"value":{"entity-type":"item","numeric-id":1014284,"id":"Q1014284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9491e7278163c8d3af402c155fd18f3ce6f235f6","datavalue":{"value":{"amount":"+0.8674837946891785","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":"Q762137$A1298ED7-7ECB-48F5-B7D5-5F4AFA772C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12bf3750f462336c15c02823e9abf186e9c40d9e","datavalue":{"value":{"entity-type":"item","numeric-id":505454,"id":"Q505454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f52688380372367a79f686450974b19f66b51b5","datavalue":{"value":{"amount":"+0.8673741221427917","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":"Q762137$25420ECA-EFA4-4CB4-8D02-20CF87B4F8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6764809eea490267221140d4cc8215e4cd5a998","datavalue":{"value":{"entity-type":"item","numeric-id":1120559,"id":"Q1120559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34a71f3fa6bc4bf4b776e274fbe7a766d5b2e0d5","datavalue":{"value":{"amount":"+0.8214696645736694","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":"Q762137$06BABCEF-A2B7-42B1-80BA-207B47E8F30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8ed1bd30c5f4a428aeeb17d784ba5a2718718bf","datavalue":{"value":{"entity-type":"item","numeric-id":1389686,"id":"Q1389686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2aa6a556739698c28c18d71399f164b8875ac41","datavalue":{"value":{"amount":"+0.7986953854560852","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":"Q762137$BE8CAB63-49FE-4EEF-925A-012F72CDFD46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Une nouvelle C\\(\\beta\\)-r\u00e9duction dans la logique combinatoire","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Une_nouvelle_C%5C(%5Cbeta%5C)-r%C3%A9duction_dans_la_logique_combinatoire"}}}}}