{"entities":{"Q1335136":{"pageid":1345875,"ns":120,"title":"Item:Q1335136","lastrevid":70169787,"modified":"2026-04-13T12:55:10Z","type":"item","id":"Q1335136","labels":{"en":{"language":"en","value":"Eta-conversion for the languages of explicit substitutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 645136"}},"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":"Q1335136$9E7CDDF4-BAAD-411B-B50C-ABBDAD8432AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c087159a865db7104257fec3ce206df997b4383","datavalue":{"value":{"text":"Eta-conversion for the languages of explicit substitutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1335136$3E8E285F-0A66-47F6-801A-7CB095D63C7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"173908707722f8da46800113ac592b1e77d415ee","datavalue":{"value":"0810.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1335136$4F6CCA91-D157-47E1-A7A7-60DBC346507A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ffa83b93322ea6af5e58add2b55427dc4d1e578","datavalue":{"value":"10.1007/BF01188746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1335136$B09D9785-2634-4F3F-A947-F9B61D7B91B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c50f42ac443d41828b557f6076f88056505c203d","datavalue":{"value":{"entity-type":"item","numeric-id":918955,"id":"Q918955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1335136$58E3A486-A8A3-4F75-9610-8C200D5F2BDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1335136$C5E494BF-8360-4E31-9653-E82281E9B02D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5c9e4c93221b65868a4d2090be3649841672715","datavalue":{"value":{"time":"+1994-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1335136$C5ACB2E0-8D90-44BC-9299-DA93BBB844AB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e683991cd44b321996a076a7c1eea6d8b8a817f6","datavalue":{"value":"This paper shows that the \\(\\lambda \\sigma\\)-calculus (i.e. the \\(\\lambda\\)- calculus with explicit substitutions) remains both confluent and ground confluent when a rule corresponding to the \\(\\eta\\)-reduction rule is added.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1335136$9044F6F7-5441-49D4-81C7-30E0191B5A8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1335136$A32A641B-5603-4E7F-ABD0-01D1FD000A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1335136$587E0078-3089-47DF-896A-A8C26F668A38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c65cdb261af535076a945574db22bda59b2c39a","datavalue":{"value":"645136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1335136$81FC706E-BCCF-472F-9723-24836EB7AE49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e53fa248a6a9e69cec45f86e3db61e2ec8ce302d","datavalue":{"value":"eta-conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1335136$807EE839-AE8A-4030-9C4F-9C89308E391A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1335136$5341B8BD-3BED-4228-A0DE-8FF3749460E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f60a716b8f270ce436ae59a102e11f7b24ce25d","datavalue":{"value":"\\(\\lambda\\)-calculus with explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1335136$E198B115-9B39-4477-ABAB-FB9D23AFC1D1","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":"Q1335136$7B5C6795-C4A4-4E7C-9E0E-1274D2DEC258","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1335136$D6F67339-21B2-49B8-870D-BC2AE5BF116A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1335136$D65C46EB-4D78-4D1C-B5F3-622061F2C61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde243ec86dae468c3d1c31e07be920dbdc3455c","datavalue":{"value":{"entity-type":"item","numeric-id":4175528,"id":"Q4175528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1335136$729691AE-B945-4086-A265-3704D5DFCE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8128be7a2395e4b6b58abe3d71613f69ea9d0962","datavalue":{"value":{"entity-type":"item","numeric-id":3785893,"id":"Q3785893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1335136$8A4209D3-2F7F-49BF-BDEA-3969553B3313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39a720b69b73a77620c7218acc700c3c632bdb8a","datavalue":{"value":{"entity-type":"item","numeric-id":918956,"id":"Q918956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1335136$1DD9CCC9-0CF7-4857-B481-555882605DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1335136$EFACC1F1-0CCD-43A5-935B-95343BF5BD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1335136$CA0C5CA1-AA5B-4B24-B166-DEECA0B2C4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1335136$96F56938-9EB8-4304-922F-94820E5E5164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1335136$F089E7F8-F771-49DB-99C2-5108888C3893","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f82e5b988bb801e0ab9d86c70551bb6be8c0111","datavalue":{"value":"https://doi.org/10.1007/bf01188746","type":"string"},"datatype":"url"},"type":"statement","id":"Q1335136$029FD44D-1A98-4213-9261-7822E0B0004F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2beec38d213c43d30942ce46355298e57849fe2d","datavalue":{"value":"W4235981359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1335136$CA47AB67-8A12-41FB-8311-5A4A916338CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"480c0614934e5b21883d08503090daee4faedc69","datavalue":{"value":{"entity-type":"item","numeric-id":1894580,"id":"Q1894580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd37ab6fb6d95199a1d4b011bb7364c70a54906","datavalue":{"value":{"amount":"+0.95374906","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":"Q1335136$69D1B0D9-93CD-4AFC-ABB2-C49D42B2C9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121b581597cd9ecd3713331f07d43f51b6cf0a39","datavalue":{"value":{"entity-type":"item","numeric-id":1779307,"id":"Q1779307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21ddf02d3996fe86fa4b8ae852f54c9fc145064a","datavalue":{"value":{"amount":"+0.85979986","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":"Q1335136$B247F9FF-839C-4A0E-B02D-38232BD9A32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326608c52a7f9ddd7af16aef468eb4ea6c3e7685","datavalue":{"value":{"entity-type":"item","numeric-id":4916203,"id":"Q4916203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a0e10f9dcbb5e5da55d2ff468059ad16d877f46","datavalue":{"value":{"amount":"+0.8543078","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":"Q1335136$AD50488A-9B64-4733-95C7-55E6CF3BE9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc12142e4580d527336e89a640a4b2932993a8ed","datavalue":{"value":{"entity-type":"item","numeric-id":4941993,"id":"Q4941993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a92dd224e6c0a010a2334ec5d39530c87f693ef","datavalue":{"value":{"amount":"+0.8452362","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":"Q1335136$556F6672-4F37-4D29-AB20-E8A496659996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb23e5f10a2a9a9b3345b7ab134967cf0804ca12","datavalue":{"value":{"entity-type":"item","numeric-id":4501671,"id":"Q4501671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9d7ca7b0b463e42cd7f4f9f47e2df21c42407e7","datavalue":{"value":{"amount":"+0.8431369","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":"Q1335136$2B264B87-59CD-4442-BA73-28F69C10A88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b831ee8c09ba3e9977779ca68ccb1cc211fba6","datavalue":{"value":{"entity-type":"item","numeric-id":1575247,"id":"Q1575247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0087467dcc76a08ee84071322e0c83cc0a2d9e30","datavalue":{"value":{"amount":"+0.8420828","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":"Q1335136$8F245E41-FC75-43CD-BA2D-6F8E5D1FA81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5800b1986a740948cb96d2357d40e375be11acd1","datavalue":{"value":{"entity-type":"item","numeric-id":3521109,"id":"Q3521109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5db02804a6850d6aecb998a4e8b1567ca5cbbde2","datavalue":{"value":{"amount":"+0.8323619","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":"Q1335136$F51503EF-E6A1-40E3-BCD6-315564F2E6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a63bc6525bd8e4a20264ced9646fe549c4a0daef","datavalue":{"value":{"entity-type":"item","numeric-id":2743636,"id":"Q2743636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da895ac39fe25d939511076c0eaa18f25980f31f","datavalue":{"value":{"amount":"+0.8282276","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":"Q1335136$2A0174DC-D58A-4E74-94FA-FF524E5717B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aaf29c179a999a4f06873cdeda74204a8c79ec9","datavalue":{"value":{"entity-type":"item","numeric-id":3653146,"id":"Q3653146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e55941a229875db863269b944b37b284149d734f","datavalue":{"value":{"amount":"+0.827225","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":"Q1335136$14C774BB-DBA1-4E3D-9D95-1A80B1B0AB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"268a7a1389d90c8337ebeaae3326824bf72a6d3e","datavalue":{"value":{"entity-type":"item","numeric-id":4364376,"id":"Q4364376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a15c925dc2b92602e3d4223a91e5117b2b5d3e2","datavalue":{"value":{"amount":"+0.8270439","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":"Q1335136$05328248-E84B-4D62-871C-31F21071AA28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Eta-conversion for the languages of explicit substitutions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Eta-conversion_for_the_languages_of_explicit_substitutions"}}}}}