{"entities":{"Q1886326":{"pageid":1897068,"ns":120,"title":"Item:Q1886326","lastrevid":69191634,"modified":"2026-04-13T05:22:57Z","type":"item","id":"Q1886326","labels":{"en":{"language":"en","value":"On the \\(\\lambda Y\\) calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2116242"}},"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":"Q1886326$52D3BBD0-1BDF-480A-9105-E283721F1348","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2dea1475be416eb549dc0d5d715379c513ecc585","datavalue":{"value":{"text":"On the \\(\\lambda Y\\) calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1886326$12295DF7-8F5B-401D-9F7C-028D9B9D0207","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e121f2d1c9f175c35a055ebabf27d745e7c1c0a","datavalue":{"value":"1068.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886326$872F1E47-B4CC-48C8-AB8E-3EB847CA2ADE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886326$AA8245FA-C563-44F7-9ABA-2F27EB5D4850","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"037fcf95f864ae0e38f5b6894c4f594ea5ca568c","datavalue":{"value":{"time":"+2004-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1886326$B3EC1EBC-954B-4C3A-B904-8CB2701EFB69","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ac00cba130f0725ad1c6500122d5fe2335e5baa1","datavalue":{"value":"In this short and elegant article, the \\(\\lambda Y\\) calculus, which extends the simply typed \\(\\lambda\\)-calculus by the fixed-point combinator \\(Y\\) of type \\((A \\to A) \\to A\\) for any type \\(A\\), is investigated. The following theorems are shown: (1) Higher-type fixed-point combinators are not definable from lower-type fixed-point combinators. This result was obtained as well by Werner and Damm using a different method. (2) It is decidable whether a given term has a normal form and whether a term has a head normal form. (3) It is undecidable whether two \\(\\lambda Y\\) terms convert. This is done by encoding register machines in the \\(\\lambda Y\\)-calculus. Furthermore, a decision procedure is given for the special case of two \\(\\lambda Y\\) terms containing only \\(Y\\) of type \\((0 \\to 0) \\to 0\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886326$2939653E-DF47-4C5E-AEE4-DF366D6F3947","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"df6d145faee35a3a1d4d9e701f68880611a87159","datavalue":{"value":{"entity-type":"item","numeric-id":587965,"id":"Q587965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886326$D36A8919-F405-489F-88B4-D3EF035D9484","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886326$9D874C70-A112-417B-91FB-F6A474B02DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886326$617DFAE6-7A9C-42EE-943B-C71AC4B4238E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886326$0DF6AF1A-6B45-4E27-AC24-17D4D0B4E5EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01417e63daa6d25fc32a30a34b5ec2d3f11f6dbb","datavalue":{"value":"2116242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886326$2F6EF39E-B81B-45DB-885A-032E59AB7F37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886326$40DB4698-2D79-4C2B-B75F-AEEA0024EE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a17f4abd0ccf36cd771011f558b26a8a63670d23","datavalue":{"value":"\\(Y\\)-combinator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886326$436436C4-6C85-46D9-9D75-CF6146B237FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2402c49a3ad74ec21b7e4e88e39845b8ed09a63","datavalue":{"value":"fixed-point operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886326$87199672-9EDF-4BFA-B653-41366D777858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886326$16A4A59B-A74F-4323-9089-671322283AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886326$304DE65D-B18B-42B7-94EC-8EC642D2A848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c170dba52a27a1d92153168bf7d0c0bbc0753d61","datavalue":{"value":"weak normalisability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886326$7A0B29A7-2521-44A1-8573-899C67DA10B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49f28626f4fc83e6a9c2f1d3faf85f2d9005e3a5","datavalue":{"value":"higher-type fixed-point operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886326$E6F5195E-6D20-460B-B52D-21965488FFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8442a7a4aa9bde166792df560549f38929af659e","datavalue":{"value":"B\u00f6hm trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886326$804E0715-24B9-4F12-B2FC-438E875D92C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7928c1c3157011dec56fb4f8a8cd86d60ac43236","datavalue":{"value":"register machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886326$F4F2A026-D526-438F-9E5A-5C4E997748C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed31a4165b5bd145424a4e7b9d2ddad3df63e8d3","datavalue":{"value":{"entity-type":"item","numeric-id":754194,"id":"Q754194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886326$486A084F-771F-4589-B717-5D57D03385CD","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":"Q1886326$61256DC0-1868-442F-B587-67BF825F72BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11d0a0e7c34be84c4562396d6b77c74376129f3b","datavalue":{"value":"https://doi.org/10.1016/j.apal.2004.04.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q1886326$14341587-F9EC-48EF-AD84-44B9AF5D3722","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbb1740798a7f340e8de31bb67eee3a06f4769d9","datavalue":{"value":"W2078285934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886326$DD0EAE41-8647-426E-9485-3BD82454334D","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":"Q1886326$C8FA1B28-D505-41D4-9CAD-125E18280589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182f6aeae8e461858467edb47327dd08bccc8e33","datavalue":{"value":{"entity-type":"item","numeric-id":3702504,"id":"Q3702504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886326$153EBEA1-B2EA-4738-9449-423EDC03998A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886326$D94080C7-46EF-45EC-9D49-2F7F4EBEEC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5a5a548de29292f3076e3c387192aa95b4bb026","datavalue":{"value":{"entity-type":"item","numeric-id":1161273,"id":"Q1161273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886326$8B0247E7-5D3F-4FBE-823A-8AC87F77490E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886326$8A8BA28A-E121-4C18-8172-D3BC2688DFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9a03ca7f35c079c210036c3416fa8438e5201","datavalue":{"value":{"entity-type":"item","numeric-id":4513619,"id":"Q4513619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886326$3CD25807-4919-4D51-AD9A-94EA46E7323F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5043892a0e511359188ed62fdaa6bd089f0b3629","datavalue":{"value":{"entity-type":"item","numeric-id":1314363,"id":"Q1314363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886326$1876190F-0E2E-478E-8EA3-DA1F11D805AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774822eedcef03842f356259260ade0204086937","datavalue":{"value":{"entity-type":"item","numeric-id":3947643,"id":"Q3947643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886326$F5282885-07CF-42B8-A4D1-1FF750BB4C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2154643ef8aaa1e21d05f63af7d65d00ecc24cc5","datavalue":{"value":{"entity-type":"item","numeric-id":4263805,"id":"Q4263805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886326$511FD128-D947-47E5-AAC5-94B2F9EB2A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26048430544b4408d3c2a677551b8dd435df413","datavalue":{"value":{"entity-type":"item","numeric-id":5585417,"id":"Q5585417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886326$CF1D0D0A-E884-4CA0-803E-9BD06F970B40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe4a08c5de6b3a4423d22541f5bed7a23f4bd1b2","datavalue":{"value":"10.1016/J.APAL.2004.04.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886326$F43ABC95-A37D-4E1E-9410-726869D2AA00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"825dad58807155219556cbafdb1e037cecb12e15","datavalue":{"value":{"entity-type":"item","numeric-id":3702504,"id":"Q3702504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"757c1a986788c8dd664a974bfae2370c12b31a25","datavalue":{"value":{"amount":"+0.8447235226631165","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":"Q1886326$E7A0F61D-22EB-48E3-80FC-97810BCE686A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff874242278059df7bb32d66a2041e08307fbf6c","datavalue":{"value":{"entity-type":"item","numeric-id":4922079,"id":"Q4922079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d730230780e704301267c6f194d36949e3c5680","datavalue":{"value":{"amount":"+0.8305201530456543","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":"Q1886326$F61304C5-5030-4D6A-95DE-A412AC64F986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a7f9888ba20a2a3e573b42a83312fd49bbb5350","datavalue":{"value":{"entity-type":"item","numeric-id":2973243,"id":"Q2973243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b05c2363094a75333328f3d4a55419df2d1c332","datavalue":{"value":{"amount":"+0.7543357610702515","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":"Q1886326$488C8772-AA85-4BF4-9D82-FAB16A7F5A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d809c196c39f2e163ea8fcf30b346cc6e52b3f","datavalue":{"value":{"entity-type":"item","numeric-id":4855295,"id":"Q4855295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4af6d4a4a954ada3d788a3caeb5d25d97ba0198a","datavalue":{"value":{"amount":"+0.7536961436271667","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":"Q1886326$9B403BE9-827E-404F-AEE0-C04AB8459CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0bc1f4262c020a297002138e11c4f957db4662a","datavalue":{"value":{"entity-type":"item","numeric-id":688729,"id":"Q688729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25c5c96bae6ee8ca3c1d77b2c71ad7632b281b9d","datavalue":{"value":{"amount":"+0.7531082034111023","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":"Q1886326$48B59028-2D85-4EA5-979B-99E855585B30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the \\(\\lambda Y\\) calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_%5C(%5Clambda_Y%5C)_calculus"}}}}}