{"entities":{"Q1853149":{"pageid":1863891,"ns":120,"title":"Item:Q1853149","lastrevid":71501352,"modified":"2026-04-13T22:40:57Z","type":"item","id":"Q1853149","labels":{"en":{"language":"en","value":"An interpretation of \\(\\lambda \\mu\\)-calculus in \\(\\lambda\\)-calculus."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1856485"}},"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":"Q1853149$88946059-06A2-41FD-AA7B-B9F62224542F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c265939f0b2a0205add4d0bc20d78fdf54a87174","datavalue":{"value":{"text":"An interpretation of \\(\\lambda \\mu\\)-calculus in \\(\\lambda\\)-calculus.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853149$95C371C5-C869-4AC9-AB12-3D3FB6594136","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20c5dcac2904ca7e8e51419f48a4359889cdde27","datavalue":{"value":"1042.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853149$82AC88E0-B9A5-449B-B0A5-D16D1AEA5AA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a5b396c6eb2162c8f63baf86ec90e07543252dd","datavalue":{"value":"10.1016/S0020-0190(02)00300-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853149$01E406FD-B4F9-464F-9EB9-0C4D952B325F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"647c63bfabe2cc5aa72008693495435e80f88915","datavalue":{"value":{"entity-type":"item","numeric-id":402116,"id":"Q402116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853149$7DAA8F2A-2915-46AB-9C78-9ED08FA537E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853149$F3CCE1FE-9717-4FC3-A413-FB1EDB68FA8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b5e42af6f5e314fbfeffbcec47ae99c9eed44fd","datavalue":{"value":{"time":"+2003-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1853149$EFE27239-7BAB-4A87-A93C-E7871BB3E45D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e108a4d1fc53e29e9e028e7c32b6ee15be795fb1","datavalue":{"value":"We show that any \\(\\lambda\\)-model gives rise to a \\(\\lambda \\mu\\)-model, in the sense that if we have \\(M=_{\\lambda \\mu}N\\) in the equational theory of type free \\(\\lambda \\mu\\)-calculus then \\([[M]]=_{D}[[N]]\\) holds true for some structure \\(\\langle [[-]],D\\rangle\\) induced from a \\(\\lambda\\)-model. The construction of \\(\\lambda \\mu\\)-models can be given by the use of a fixed point operator and the G\u00f6del--Gentzen translation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853149$A2A32D12-890F-4FEF-B3CD-75B416FBD834","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853149$73DA45D7-5E0A-42B6-81D8-F7D3D286E699","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"852e4157caa20d0db2e7e032bae2e9a5649c1fc3","datavalue":{"value":"1856485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853149$24C7690B-D507-4191-AADE-5261E4CD3CDB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae53b53d17717319e621a0dd3ffb5abbf97171d2","datavalue":{"value":"Formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853149$8E0591C7-87E5-4CF4-9380-DBDDF4F93E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a75f717d2e38ae725ace2fe3495528ce101ab056","datavalue":{"value":"Type free -calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853149$1435F92F-3B79-4CD9-AA68-A512B5302B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bafc2b5475258dc42613deba895c4d444dbce77","datavalue":{"value":"-model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853149$D9D4902E-B4D3-4B02-BEEA-2D58D3EED281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b84a5cb387d791376c8e20e79ca97a4edb866ad9","datavalue":{"value":"Fixed point combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853149$2FAC561B-A6B1-425A-B98C-843A2DC29F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33c9c9b1c5eed4198fc2fa0407f0cceeaeb1b0b2","datavalue":{"value":"G\u00f6del-Gentzen translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853149$B5861060-969F-4E51-AB0E-47C41F40873F","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":"Q1853149$A13BC4E4-CCF2-46ED-BE2E-6954B04FB4B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b6ac0b115ea69c6a415393c995e31fbd8fba99","datavalue":{"value":{"entity-type":"item","numeric-id":4783321,"id":"Q4783321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853149$6F5C3567-3D02-4555-91EE-EC121F31464E","rank":"normal"},{"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":"Q1853149$75A0DFBB-4E69-4588-82D0-03556C556816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f14d7967fb21e1684a2efd177087149a79f15644","datavalue":{"value":{"entity-type":"item","numeric-id":2703743,"id":"Q2703743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853149$B7BEF08A-646C-45D4-A0BA-16B5AADBEFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dd85c6a1701499def7460e89db72940d022d065","datavalue":{"value":{"entity-type":"item","numeric-id":1580653,"id":"Q1580653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853149$44DC3EE2-8564-4801-94EC-C05A98194387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afdf9460806e5069673de6989c0fa358fdeeaeaa","datavalue":{"value":{"entity-type":"item","numeric-id":4499286,"id":"Q4499286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853149$326E3761-F040-483D-9D87-75EE50D46925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffec26a22948eff98ae8a7bcbd62ff6ac9009afd","datavalue":{"value":{"entity-type":"item","numeric-id":4806298,"id":"Q4806298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853149$BBBCC2A1-A4F9-473D-B9E9-3C227196160F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853149$BD2FE978-0280-448D-A3EF-932C08F0506F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49fa835630938477c822be55302e9ff7c75f348e","datavalue":{"value":{"entity-type":"item","numeric-id":4282613,"id":"Q4282613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853149$112D5A28-0D2B-4B13-B72B-D2BD7819F137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcaeb1c8d7f99e6d943db19cd7dab3c23ba7a3ca","datavalue":{"value":{"entity-type":"item","numeric-id":4382485,"id":"Q4382485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853149$0A9FD6F7-188C-4155-841A-E73FE15B71C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853149$42392F3E-B215-42D6-B539-A04B82099660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d25189cadcfb01bfb85424fb5e34c27a9558087","datavalue":{"value":{"entity-type":"item","numeric-id":2719799,"id":"Q2719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853149$D3042960-C47C-4CD3-97CE-7B747B0ABDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db7629881c3e7bd88e597d7e4f26d7cbdf6a97ce","datavalue":{"value":{"entity-type":"item","numeric-id":4240152,"id":"Q4240152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853149$66D0B52F-8B5B-4176-9AB3-445E92A8B6B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4945285d218a7a9e68cdb6e71a8e02ce915ed720","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(02)00300-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1853149$E472A44F-C037-480C-9DD2-549390099AC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85e6e630eaa1d58aac0ed33907f658b407625679","datavalue":{"value":"W1522824251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853149$E3B27982-BBB9-4A9A-A019-846618EE7A7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e268013a2b619b7c21b2276357366cf3ebb236c","datavalue":{"value":{"entity-type":"item","numeric-id":4218109,"id":"Q4218109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a8d4de74b1d5271df59c2898ea13d00e8a907b9","datavalue":{"value":{"amount":"+0.9338945","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":"Q1853149$4EDD32B1-766B-4FB7-A1CD-6BDAE7718FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2744d86c32bc6fdeb25ff3ca1a3bf19e4b7bfd32","datavalue":{"value":{"entity-type":"item","numeric-id":3094164,"id":"Q3094164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65cd713460c3aea9283aa3adeb8242e246025db6","datavalue":{"value":{"amount":"+0.907654","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":"Q1853149$F2FB25EA-DD0E-4E13-953E-8B639C175554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24f5a0aa81fdeda03ebc6f5253102881119a9e78","datavalue":{"value":{"entity-type":"item","numeric-id":4490747,"id":"Q4490747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d03e593572338a3ad13f28ea59ef275fe86f7fad","datavalue":{"value":{"amount":"+0.9014723","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":"Q1853149$85C8070B-87FE-4613-9561-3B6B7BCDFB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6956d7da2b47b2b8591f3b093091a7c8687189e4","datavalue":{"value":{"entity-type":"item","numeric-id":1946673,"id":"Q1946673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"096fe830fe9b92c93478698a839f7e49c19fc1e0","datavalue":{"value":{"amount":"+0.89945966","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":"Q1853149$B8D97816-9983-4C58-AF9A-4C82992B4762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8879b0096f1db01355cf0fa533faf565b4888c3a","datavalue":{"value":{"entity-type":"item","numeric-id":2467219,"id":"Q2467219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b464f9a68798af2314cff8c3cb45fcd78b22f5b6","datavalue":{"value":{"amount":"+0.89785796","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":"Q1853149$2E357B64-E298-4FAD-AABB-4B8941EDC854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3b51f8a0d80d67354e45b2e72b0c69c6d1b718","datavalue":{"value":{"entity-type":"item","numeric-id":2871868,"id":"Q2871868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3da644db1bda1e0f6188d47d89df6e4a5e2ae001","datavalue":{"value":{"amount":"+0.89478904","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":"Q1853149$FE9DEEA8-F37F-400F-B7A0-1215C5073B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23009ce55f8277af134c1b6790070733fdb97bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4583170,"id":"Q4583170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60a18ed83f75e06e8c321d3157c1e17f152388cc","datavalue":{"value":{"amount":"+0.89366937","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":"Q1853149$B1F0D145-F68E-4C97-88BE-DEE50DA26AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5ee0d2331e2421ea4057be2768d496e6897fa1a","datavalue":{"value":{"entity-type":"item","numeric-id":4664060,"id":"Q4664060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1617ef12d63fffda5a3148d2994cd5c97e318a42","datavalue":{"value":{"amount":"+0.8909114","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":"Q1853149$C68F8DB3-595D-4EDD-BF0D-1AEB3E2C6A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"917ea07c6751ccad8a0a4e89c5a85116a0c53fd5","datavalue":{"value":{"entity-type":"item","numeric-id":4995379,"id":"Q4995379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"989005ecba5226f1a4ede84cc0dce19d4a4d786d","datavalue":{"value":{"amount":"+0.88818085","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":"Q1853149$9C472D42-79E8-4ED9-89D3-5B5642C539ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"461c1912c8fe6dfe758cde875c5708ec3243c51f","datavalue":{"value":{"entity-type":"item","numeric-id":4660040,"id":"Q4660040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb80ce31f15740c528041c4285073df0bb62cfa2","datavalue":{"value":{"amount":"+0.887467","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":"Q1853149$5CCC0787-9AD6-469E-A08D-FC617D3AE146","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An interpretation of \\(\\lambda \\mu\\)-calculus in \\(\\lambda\\)-calculus.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_interpretation_of_%5C(%5Clambda_%5Cmu%5C)-calculus_in_%5C(%5Clambda%5C)-calculus."}}}}}