{"entities":{"Q1314345":{"pageid":1325095,"ns":120,"title":"Item:Q1314345","lastrevid":43022451,"modified":"2025-07-16T23:39:27Z","type":"item","id":"Q1314345","labels":{"en":{"language":"en","value":"Constructive proofs of the range property in lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 501163"}},"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":"Q1314345$75540BCF-F360-4A98-8B6E-DF1EE55D9133","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34c74da8a8b2281e6f63d6ef899e5d103333f7dc","datavalue":{"value":{"text":"Constructive proofs of the range property in lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1314345$52B19393-91A7-4745-AC9F-18C722DE9660","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c966932651ed0cd6363144c2d9c60b47fe8d63a4","datavalue":{"value":"0796.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314345$4F903DE6-CB1F-496F-AE65-4BFE90AF7902","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e568afd5df95333efa1e8797ec2f23276707154","datavalue":{"value":"10.1016/0304-3975(93)90083-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314345$583C9051-4B03-4D3C-A5A0-45C445F33083","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":"Q1314345$77A7CF03-21AE-4A31-9D9D-61798FFFE89E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a07e8af38f76d1e005ebe63136b3f3c24a5ff2b8","datavalue":{"value":{"time":"+1994-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1314345$96F75771-A400-47D4-AEEF-FCFA99E8F0BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d2dc310afb1dfd05efc8aa6c27fdfca1a087dcc","datavalue":{"value":"http://hdl.handle.net/2066/17244","type":"string"},"datatype":"url"},"type":"statement","id":"Q1314345$B52CC902-9E39-45CF-B9A9-A9AA5D5ADCA4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4e9816d023b4481d3ea84f3708e71df2cdff76c4","datavalue":{"value":"The range property, conjectured in 1968 by B\u00f6hm, says that the range of a combinator \\(F\\), that is the set of all terms \\(F A\\) modulo \\(\\beta\\)- convertibility, is either a singleton or an infinite set. This paper recalls first the classical (nonconstructive) proofs and then gives two constructive proofs. The first one adds to B\u00f6hm's idea of using a fixed point the coding of lambda-terms by natural numbers. The second is based on Ershov numerations. This leads to a generalization of the range theorem due to Statman.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314345$82F12178-EC14-4D8B-A090-8200665C2F4B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"be9393a59da8a8d1ea400e796ca1cda2084f6804","datavalue":{"value":{"entity-type":"item","numeric-id":1208424,"id":"Q1208424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314345$52C08A41-071B-4380-B235-CF0819D73DB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314345$C448F256-B40E-4C25-964D-5342A205787F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314345$27253D89-A2B2-4121-A1A1-D2D31A517196","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9f19d51da6b0d56f35df9638bc6ae4b09970867","datavalue":{"value":"501163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314345$DD92EC65-5D84-4C0B-89DF-689506D800C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4de494625184b930669e5ca8da40c6a932984cfe","datavalue":{"value":"range property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314345$0E10BB7E-E15C-47CF-8A02-F01668922357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa5cf20d91579c00c246f8db39a395ca8d9faa68","datavalue":{"value":"range of a combinator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314345$94C9B02B-0093-4756-996A-3C852005CE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93922606c0d3d810f706f852859cc871fda84dc4","datavalue":{"value":"constructive proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314345$FDA62CEF-11E6-47A9-A22E-4416237E26A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c94c264688c0a25a4d8925f3612eee5f16d79b79","datavalue":{"value":"coding of lambda-terms by natural numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314345$827AFAAA-5707-40B0-B41C-773A317950A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7731c86630aa98c9642850c027bcc3ebdafb2e6","datavalue":{"value":"Ershov numerations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314345$A15CC767-8A2C-4EB5-B8DE-9B94C110A467","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77409c9e904108aefa46d70345016e61363f1c7a","datavalue":{"value":{"entity-type":"item","numeric-id":801049,"id":"Q801049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314345$B6B3CEFD-458F-4E25-9961-E3FFE1405CA6","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":"Q1314345$27BE1EDF-59EF-4442-8F62-2EB0F2377705","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae5e6f249908477e7c915774aa808a2b0871c5e2","datavalue":{"value":"W2009056279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314345$FFEE6998-126E-4393-8DAF-42C5596E05B2","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":"Q1314345$8F6FC01E-409A-4180-98D7-D327E5A940E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2b382496704c69d4ddd122d1fda39bebf3ce71","datavalue":{"value":{"entity-type":"item","numeric-id":4939699,"id":"Q4939699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314345$F9597EF3-D270-48A1-B5BD-DF7F9D5D8762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed53823d817192b4d96d4668449095e3a41e54d","datavalue":{"value":{"entity-type":"item","numeric-id":4764617,"id":"Q4764617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314345$394ECAB8-B82B-4D1B-AE05-CAE820D764B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf8f59cc1b038d12c22ab3708ce592e8e055a5a","datavalue":{"value":{"entity-type":"item","numeric-id":4175261,"id":"Q4175261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314345$00CEE061-0E84-4FCA-829E-7B826FC2DB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cfe51e4a56c419fab3f775e8cb35a2aba8b5f0b","datavalue":{"value":{"entity-type":"item","numeric-id":4152532,"id":"Q4152532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314345$452FC702-E2EA-4F66-9177-49396E2604D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffac7d9aa47d7e3194789ac7b17d644b3b3dbea","datavalue":{"value":{"entity-type":"item","numeric-id":4053617,"id":"Q4053617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314345$2DA4F7FA-6C22-4876-A30D-6823B3C1802E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314345$501B25D1-AFB1-4D89-8343-DDEE8BC9E19C","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":"Q1314345$E06622AF-E2C1-4BC6-89FA-AFC830460B06","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6b5739f4349cb27149fd80b25b99d36f862b4c52","datavalue":{"value":"Q127646303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314345$526B3CE9-890C-4F26-B5DE-F6F8299DF58C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad894f0e4fcd4cc03c848bf583b58ab56e3b8f5c","datavalue":{"value":{"entity-type":"item","numeric-id":2753786,"id":"Q2753786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4436c2b32008809392ef165399a2fe06991ad604","datavalue":{"value":{"amount":"+0.90704155","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":"Q1314345$1F806586-9DE3-41BD-BF9C-9B473EF6FA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa0c1fb9e9faf442b00d73c7d597ffd692849bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1765154,"id":"Q1765154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00fa87551dcc75cc0ef98e7c583a956489284ebd","datavalue":{"value":{"amount":"+0.89249086","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":"Q1314345$AB98B568-FA1A-401D-AD1A-4FAA2D8D5BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46bc48e0a5622b12e33e9e2944a8468a2bfedc3f","datavalue":{"value":{"entity-type":"item","numeric-id":930864,"id":"Q930864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49897cf5b7e6d6e61cac5070e975e53b25f5afcf","datavalue":{"value":{"amount":"+0.88565385","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":"Q1314345$A4B4EAF0-28C3-492C-98BA-FBCECD69B085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a80cb360fcb456f9cc62e2ecc80bf7ee3d1fddd0","datavalue":{"value":{"entity-type":"item","numeric-id":5170815,"id":"Q5170815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a203c2cde0869d0ba90dfe1b4bc414159148aeea","datavalue":{"value":{"amount":"+0.8818989","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":"Q1314345$F117C102-78AF-4538-8117-38FCDA9482D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab8523f9fbdd0cb5d75658db58f361aefd862698","datavalue":{"value":{"entity-type":"item","numeric-id":4903716,"id":"Q4903716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987818ab52bf3a29b9dbfcf1ec527cbaad04a7d0","datavalue":{"value":{"amount":"+0.87808883","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":"Q1314345$D830A2A4-0908-4B7A-AA22-C3781114831A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f14727e509164381912437e4f79bedcd8cf66a0c","datavalue":{"value":{"entity-type":"item","numeric-id":5109521,"id":"Q5109521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"081dc6abe3cadcb0f31f079d4284bcee3c6586f1","datavalue":{"value":{"amount":"+0.877488","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":"Q1314345$C730AAE4-5789-45A8-A716-4ADDC804C31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"452b25f8262b4dc37f73326ee7da67099a47a43d","datavalue":{"value":{"entity-type":"item","numeric-id":4012884,"id":"Q4012884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71939b2166515dc5824214e56f5f37cc246fde6e","datavalue":{"value":{"amount":"+0.8763572","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":"Q1314345$F1C00D82-7BD9-4EF5-8163-BB74E2DBCB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27da39c224984c42dd01ffb42f69f521aac50eac","datavalue":{"value":{"entity-type":"item","numeric-id":1891931,"id":"Q1891931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8da52f2c0da3ac2751a24a025eed561e4ed9286d","datavalue":{"value":{"amount":"+0.8741605","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":"Q1314345$BDBA5C5A-7C80-4FBB-91A8-B0C566B3F05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5253d63068f0492e8edf6f9c1394dd180fa6fd4","datavalue":{"value":{"entity-type":"item","numeric-id":5327450,"id":"Q5327450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45a1bc6d8e58feb62663e0e3f03dc1b90cefd8d5","datavalue":{"value":{"amount":"+0.87071323","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":"Q1314345$79AA3B6A-200B-41DF-83E7-C8F8BB013D76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1314345","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1314345"}}}}}