{"entities":{"Q1104313":{"pageid":1115062,"ns":120,"title":"Item:Q1104313","lastrevid":66723996,"modified":"2026-04-12T12:25:18Z","type":"item","id":"Q1104313","labels":{"en":{"language":"en","value":"One-step recurrent terms in \\(\\lambda\\)-\\(\\beta\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4055569"}},"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":"Q1104313$CAFA50DE-13CC-4432-9568-7AA0D9E481CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"928530f011ec25cf7f7252b7af521802f31a0211","datavalue":{"value":{"text":"One-step recurrent terms in \\(\\lambda\\)-\\(\\beta\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1104313$86C4137B-8498-48F9-A049-9725A68182E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c49366bd3e1ae1b2bdc8b5d20cfaf4b5e00460a","datavalue":{"value":"0647.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104313$B70513A6-6027-4551-8916-5D3332E33940","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16524cf70f5f872d675bed18d230e554a097001d","datavalue":{"value":"10.1016/0304-3975(88)90079-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104313$99F13AD7-7603-4F42-A368-7C94D35D8D79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4336a4da98c7be24519983f21552d287f6acab63","datavalue":{"value":{"entity-type":"item","numeric-id":1104312,"id":"Q1104312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104313$E49ECC2A-3FB8-430C-82C7-59617A968096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9126baf050ca2a9061dbf118bb26f3c0708e62a7","datavalue":{"value":{"entity-type":"item","numeric-id":1075051,"id":"Q1075051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104313$43B1651F-FFA5-4E49-9F96-B8B95FC5C4CD","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":"Q1104313$AAD6C344-5B18-422F-AE5B-4F4B70B0F909","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":"Q1104313$48E1711E-F187-40A4-BB83-4F6215DAC4D7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"19dcf9d9eafe7cf6a10fabfd9f7f62dde5c05a40","datavalue":{"value":"A term in the \\(\\lambda\\)-\\(\\beta\\) calculus is said to be recurrent if every term reducible from it is reducible to it. A term is one-step recurrent if the result of any one step reduction of the term is reducible to the term. In these terms a conjecture of \\textit{J. W. Klop} [Reduction cycles in combinatory logic: in: ``To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism'', 193-214 (1980; Zbl 0469.03006)] becomes: Every one step recurrent term is recurrent. The authors demonstrate the failure of the conjecture by giving a one-step recurrent term which is not recurrent. In addition they obtain a necessary and sufficient condition for a one-step recurrent term to be recurrent.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104313$8E01FAC3-D226-4F45-B66F-90207764C08E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104313$A7E33B92-960D-4343-B6E6-3F6E609A3EBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cf694454c3455648bc3da746d2d8cc49e35b43f","datavalue":{"value":"4055569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104313$554CE1CA-AD3E-4169-B153-4E43A0970F55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5461f60ffe1fda1f219bcd9f22023cc44bb52c7a","datavalue":{"value":"\\(\\lambda \\)-\\(\\beta \\) calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104313$EB77A270-A188-49A3-84E0-A334281DCB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a865f46574abd65160ff20636f6f3ec860a2f81","datavalue":{"value":"recurrent term","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104313$1FBD64D5-BD21-4049-9685-AAB5130D68A6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"376f136d3715d0668145bfef82b652dbeb24818d","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104313$A7CED2BB-F450-4B94-8A09-723B987D8EDF","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":"Q1104313$8DE37191-36D5-44FF-86B7-35333063B9C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3dd976a0f9c0bd27f4c5c22eb945887a2fc2f214","datavalue":{"value":"https://doi.org/10.1016/0304-3975(88)90079-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1104313$CB092D05-75DE-4C9A-BCA6-F56E23E28F09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79026da3ae63daf07a38164fb175fee9fcd8a65e","datavalue":{"value":"W2479147788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104313$FB311FAE-49DB-49CB-AF91-1E8D487DCF37","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":"Q1104313$CD6776C3-C23A-4E47-A4D9-C90FA28C3A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"353b1243547262808cef7364a3532d4c754bff0e","datavalue":{"value":{"entity-type":"item","numeric-id":1256442,"id":"Q1256442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104313$FE4DF315-E887-4769-8FE4-DE108DA0D526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5ef3b6f00eb7ceed4f2c7af889968f2d173e014","datavalue":{"value":{"entity-type":"item","numeric-id":3897031,"id":"Q3897031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104313$0EDC9D61-76DA-4AF0-998B-76B0F3AA92C5","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":"Q1104313$0B404072-40D4-4D06-B1D2-7C3877F449C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e38650c01a390a090cb1c3efba0481bb0f38fb95","datavalue":{"value":{"entity-type":"item","numeric-id":3784043,"id":"Q3784043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104313$E01C4E95-342E-40F0-8571-E0AFDA9B93FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104313$58427678-2F38-40CC-9C4C-1CC62F035F80","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":"Q1104313$A720267E-1DC0-4B3A-AB2C-BDE5340F924B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"451b6fa554e3851f511b9caae8290501b72020ee","datavalue":{"value":{"entity-type":"item","numeric-id":3320341,"id":"Q3320341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104313$ACB14D21-CB7A-4CAD-8F1C-BE0FBEEF0C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50f4f19e8aab3c7fb25b210af3218328dac4342","datavalue":{"value":{"entity-type":"item","numeric-id":792994,"id":"Q792994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104313$DE7BD345-99A5-4DBB-AD8C-B47ED2E12D5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"725758fd1a49cb53ea68976dfc9d451c3fea2e86","datavalue":{"value":{"entity-type":"item","numeric-id":3784043,"id":"Q3784043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ade3e9bbe986beaf9e4b1a3cde110a14705572a","datavalue":{"value":{"amount":"+0.8723139762878418","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":"Q1104313$5477C8E5-F9AA-43BD-8366-1B2716ABD2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8416cbab64baf1d5d3158c3834bf3041bcc9ef","datavalue":{"value":{"entity-type":"item","numeric-id":3691635,"id":"Q3691635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bd2311d6377fa0affa2f6e4b40afbad76cb19c6","datavalue":{"value":{"amount":"+0.7463179230690002","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":"Q1104313$6EDAF199-2021-4169-9129-83E2047F7C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec9667c8fe17f391f5e890b9504a3befcdc2bd8c","datavalue":{"value":{"entity-type":"item","numeric-id":4522249,"id":"Q4522249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed7a6b23951fdcadc852ba1c501f895cba83de2e","datavalue":{"value":{"amount":"+0.7177464962005615","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":"Q1104313$FFFF0313-18FA-4DEE-A04C-3AFEF3ED04EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16931ee5196cbeb132ed462d3e31a5281ea35743","datavalue":{"value":{"entity-type":"item","numeric-id":3982064,"id":"Q3982064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32ebfd30263a3a4c0b6e52331edcb042fe3443d6","datavalue":{"value":{"amount":"+0.7088929414749146","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":"Q1104313$2CCFB1FD-B95E-4ABB-8506-596658F7A2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0ecbd58d5785e9ed383ec9bf33ddcdc368fd1e","datavalue":{"value":{"entity-type":"item","numeric-id":1286373,"id":"Q1286373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"488d1254d8d4782655cfa5c1dffa8d067fa3ad69","datavalue":{"value":{"amount":"+0.7049483060836792","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":"Q1104313$E9A20D13-EC66-4ED4-BC1C-AA2D3F0D2AA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"One-step recurrent terms in \\(\\lambda\\)-\\(\\beta\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/One-step_recurrent_terms_in_%5C(%5Clambda%5C)-%5C(%5Cbeta%5C)-calculus"}}}}}