{"entities":{"Q2639840":{"pageid":2650583,"ns":120,"title":"Item:Q2639840","lastrevid":44535237,"modified":"2025-11-23T16:22:03Z","type":"item","id":"Q2639840","labels":{"en":{"language":"en","value":"An upper bound for reduction sequences in the typed \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4185580"}},"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":"Q2639840$3CA1D0B5-CBA7-4D51-91A1-256D8CAF3EA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e1dc4f8b842465b95378aa7e2e03e131c40e35b","datavalue":{"value":{"text":"An upper bound for reduction sequences in the typed \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2639840$97703A44-BDC9-4169-B87D-AE5F34DE3A6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f00590ada5a365197314439f495f47910c0ad9fa","datavalue":{"value":"0719.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639840$269A6FCD-6705-44D6-AEE1-BA71F245852E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f595520d6720d3d86b596f0e23a32d3f054f07a4","datavalue":{"value":"10.1007/BF01621476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639840$4EC9E610-A5D6-4689-8BFC-D51791EA7595","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639840$CF975AC3-8D92-47D9-A125-481A7168B243","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q2639840$330826CB-F10B-4E38-8A71-FC26009DBEDE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3ece3dc90a6118e656f89b1bd640c2ba820b018b","datavalue":{"value":"The author produces a simpler and better bound than those obtained previously, for the length of arbitrary reduction sequences of terms of the typed lambda calculus. Some of the concepts used are not defined.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639840$D6875F2C-923E-425E-AFED-7D600897146B","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":"Q2639840$1CF6B434-8406-47CC-93BB-C11B71C6621D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639840$16DA199B-0F82-4F3D-AE11-7EBE4CBA1FFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82034dd1e37de556f058219add3388a381fb14be","datavalue":{"value":"4185580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639840$7BB6682E-0BAE-421D-B215-D12D18E07270","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b77b431fc86a92792dc6a21fc772bba2088fb678","datavalue":{"value":"bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639840$4B64C74B-EB0B-4414-993B-FC57007E1A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51b336acc1a2a9943c1b7597223af4ac6fdba76c","datavalue":{"value":"reduction sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639840$F69F62D0-8A29-4A21-AE0E-E191EC00D823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639840$61AA7277-F7AA-4065-AD4F-C2D7FAE9E2B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d89967a655d20159aa875a5d9fe1d91c6683b97","datavalue":{"value":{"entity-type":"item","numeric-id":234585,"id":"Q234585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639840$143A06F0-E318-4EE8-88A8-E3629D275F59","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":"Q2639840$F6F16561-8C3A-4953-A0D9-3BBE83CB181E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2208c84b3f74a0c0e2edd20da31d985bab97d1c3","datavalue":{"value":{"entity-type":"item","numeric-id":5573380,"id":"Q5573380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639840$EEF0C712-3315-4F56-ACD5-5A3EB7AA6BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32abb58c39a4ec8c7a5998cdd99f63bc2359aa7c","datavalue":{"value":{"entity-type":"item","numeric-id":3887455,"id":"Q3887455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639840$4A3C8967-49D5-4306-859A-3276BCB9EA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11c026c450b602382d1cec20bd638ffdc192eeb","datavalue":{"value":{"entity-type":"item","numeric-id":2535386,"id":"Q2535386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639840$3A48EE2A-ED50-4420-B92B-2DB7B93DA3EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99710f2519eacf39e3e46d7120a9b9cb4b3162ec","datavalue":{"value":"https://doi.org/10.1007/bf01621476","type":"string"},"datatype":"url"},"type":"statement","id":"Q2639840$E90470DD-EB8A-400E-A143-F141E7539CDC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"684da699825b564acb737e55b5933a1f4b1596a3","datavalue":{"value":"W2023773759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639840$09855181-0B81-4C14-83E9-7792A58540EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1491f6d09198e9f252bd9971e6f856cb1eb8dd9f","datavalue":{"value":{"entity-type":"item","numeric-id":2758058,"id":"Q2758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c5c9468bb1981db8273fe08983ddc036d4c9cf","datavalue":{"value":{"amount":"+0.9453023","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":"Q2639840$2CA997BD-E37B-485A-8303-C828B112AAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"259c33c234027edd0df4415d4690700996cb5629","datavalue":{"value":{"entity-type":"item","numeric-id":4281487,"id":"Q4281487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3be89355b496db51a4747381e24fc543ae988717","datavalue":{"value":{"amount":"+0.91264725","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":"Q2639840$6930A50A-9286-4FA3-A427-8334FCBFB826","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":"23b80e9e40b74301032969a2586f25720e2c6933","datavalue":{"value":{"amount":"+0.9018865","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":"Q2639840$BD331F19-EA98-44C6-ABAA-DD0533C5833C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3544f126f3acb0ddff92d948e9a57d81389ad6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1104311,"id":"Q1104311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5d706a7c05736d3510d202d2b2ac15cca23320f","datavalue":{"value":{"amount":"+0.9013042","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":"Q2639840$E881B5B1-0F08-48DC-A95C-FEB4D0962D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0da6873d290eb87a3111f9aae504e1a935cb6b7e","datavalue":{"value":{"entity-type":"item","numeric-id":5704015,"id":"Q5704015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28f1fe4281395436f9aae539ef3ec7d99729e01c","datavalue":{"value":{"amount":"+0.8997659","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":"Q2639840$CE8040A8-5C64-42F3-9BB2-4D39CA57B6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4e46f0c184edd1b971c1e028e8fa2baed0481d","datavalue":{"value":{"entity-type":"item","numeric-id":4630299,"id":"Q4630299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbf248eab46c6689f9e42cfca42033363520d475","datavalue":{"value":{"amount":"+0.8996715","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":"Q2639840$55BD4705-0164-4617-BF74-B8040D1A2458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d3c7b8de097b4be467676211e2afc74edd39844","datavalue":{"value":{"entity-type":"item","numeric-id":4945227,"id":"Q4945227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b55c73416b5b20ecd3782ce7d05d20bc41441630","datavalue":{"value":{"amount":"+0.8971043","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":"Q2639840$93491CC6-3617-4E61-9E9F-4C1510854876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c77c2b758077c5d7a3c44544e8df1298d40c7a8","datavalue":{"value":{"entity-type":"item","numeric-id":3125171,"id":"Q3125171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3c2ab4ca2e0896c754bc71d4253ff1eccc9e88f","datavalue":{"value":{"amount":"+0.8958496","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":"Q2639840$B39F51E5-A6EE-4C9F-BB4A-CBE9EC8D5D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c511f8d32d4503b50689924ee0d16b3c80e4e41","datavalue":{"value":{"entity-type":"item","numeric-id":4511325,"id":"Q4511325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f5b438d34a828b3c53d6fc6fb486d37616b218","datavalue":{"value":{"amount":"+0.8890444","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":"Q2639840$90D3AC76-ED8C-4D09-A859-F5E6EEBC6B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dced8c87cc932bc56d55b026c9ad533474e7999","datavalue":{"value":{"entity-type":"item","numeric-id":2842839,"id":"Q2842839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"340307c39e248a049d39dde8ec5f83e285958e09","datavalue":{"value":{"amount":"+0.8888193","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":"Q2639840$D28F5F3B-8E91-4E67-9A1F-C56482EFD8A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2639840","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2639840"}}}}}