{"entities":{"Q750415":{"pageid":752264,"ns":120,"title":"Item:Q750415","lastrevid":64055271,"modified":"2026-04-11T17:20:27Z","type":"item","id":"Q750415","labels":{"en":{"language":"en","value":"Functional completeness of the mixed \\(\\lambda\\)-calculus and combinatory logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4174891"}},"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":"Q750415$6219DB82-732F-44DF-A9FD-9EF5C523756B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60ffef9b1f2071a272ce8a1bbf89b47e88194796","datavalue":{"value":{"text":"Functional completeness of the mixed \\(\\lambda\\)-calculus and combinatory logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q750415$715104E2-9BD1-49EB-BB38-5D7F6470CF1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90a5c0557d5ad8adec2032527436cdd587617d18","datavalue":{"value":"0714.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750415$C0F9A210-0551-43CD-B2E9-D80FAEA94774","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6706980420573d0c725f16288a4191b474c2dd22","datavalue":{"value":"10.1016/0304-3975(90)90155-B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750415$E75F4DA3-A754-48E0-AEE1-CCCCBB975C00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf7e7b304afc261de9ac094852ee3a0db52eaac7","datavalue":{"value":{"entity-type":"item","numeric-id":492909,"id":"Q492909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750415$086C5EFD-2054-451E-860E-D3148B275825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66b9832b777d3d49331312d3eb8a93c8014d39e0","datavalue":{"value":{"entity-type":"item","numeric-id":444502,"id":"Q444502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750415$1870E3DB-EBFA-4F46-8ABD-C4E98D9F7450","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":"Q750415$21FBC167-8B83-452C-9627-0DEBD3144592","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q750415$5BCA5DB8-63EE-4307-9D5B-0EDB227E4C9F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"159af302d0c4a572a9bb37d3582028dd8509d3aa","datavalue":{"value":"The authors present a two-level version of combinatory logic and lambda calculus for distinguishing between early and late binding times, i.e. compile-time and run-time computations. In this paper, which is an extension of a previous one by the same authors, the two-level lambda calculus is enriched by a new combinator, \\(\\Psi\\), which makes the calculus complete, in the sense that every \\(\\lambda\\)-expression can be translated into an equivalent combinator expression.","type":"string"},"datatype":"string"},"type":"statement","id":"Q750415$B7CDE568-A1B8-4203-99C8-BF529F9BEDC6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0952533bb8ddf126d68f7cc4b1c2c4ed19555944","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750415$E3512A83-0EA7-4FCE-B7FB-826F2BD90543","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750415$E3C3C4C5-201E-41B5-8910-85E02A0C58A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750415$65024316-652C-4F24-845A-9BE081310556","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62f4d3c7abd234ab23ba78a6af3f08c986fd5b8c","datavalue":{"value":"4174891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750415$D822DE12-27D9-4201-8926-A1E65E1BF8F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q750415$96E2F647-D1FA-459B-8095-DDC288C90E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q750415$A2890CC7-514A-43D7-9D61-F76E64E9D4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q750415$82F0348D-CC58-4A4F-9376-73BD1A3FCA4A","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":"Q750415$C3901E47-DE46-4C6A-A6A7-122A8863722B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8128be7a2395e4b6b58abe3d71613f69ea9d0962","datavalue":{"value":{"entity-type":"item","numeric-id":3785893,"id":"Q3785893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750415$0A912B18-B3B1-4AC3-BC87-BA6922391064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dad30fc9d0e257246e7704bef1d150d61ddbc861","datavalue":{"value":{"entity-type":"item","numeric-id":1098274,"id":"Q1098274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750415$40E91AB4-3B6A-4D8D-AEE8-BC1E00AC22D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade0bbf9ba9257fa3f0783a85792ec650fca3b91","datavalue":{"value":{"entity-type":"item","numeric-id":1107512,"id":"Q1107512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750415$259A235A-947D-4EED-BED1-8AFBF1FE1967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8470718175ec6109a436628221c5cffb3ba70aa9","datavalue":{"value":{"entity-type":"item","numeric-id":4167525,"id":"Q4167525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750415$AACA7ADC-40BF-4C2B-AE46-3FC62608C851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10546887ee0615eb07bca2e1dc0f41e60f6caeff","datavalue":{"value":{"entity-type":"item","numeric-id":4194932,"id":"Q4194932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750415$94BAC4E2-5949-416A-9F85-F44D5110C5FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ab8605c97300167f8603b8c7feabacdf14ef526","datavalue":{"value":"https://doi.org/10.1016/0304-3975(90)90155-b","type":"string"},"datatype":"url"},"type":"statement","id":"Q750415$E724733B-59D0-4AD7-98EB-4BA2619BB43C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4f56b9543811b268528a4c312682643ce3bae3d","datavalue":{"value":"W2138472690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750415$AB3DD78E-1C94-41AC-97C0-5053D7A225EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e55ddf9e444683c89eb39731b13a4801ca828f4","datavalue":{"value":{"entity-type":"item","numeric-id":3754595,"id":"Q3754595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2e3a00afc18e7aa1736d3dc0f3bc1d8c4e07fe5","datavalue":{"value":{"amount":"+0.769251823425293","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":"Q750415$C5E3BDED-3D91-4131-A97C-53973A92DFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1669ad75f7a711b33c50c2efbd9b5cced92f92ae","datavalue":{"value":{"entity-type":"item","numeric-id":3783263,"id":"Q3783263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98215e39d484cea041aea14127692b86914122b8","datavalue":{"value":{"amount":"+0.7674476504325867","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":"Q750415$C78F7A03-5DEF-4040-B848-A5EDE1AF5D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ac0ffc4d740d2fe94fd0ede65438b70791fd7e9","datavalue":{"value":{"entity-type":"item","numeric-id":4234770,"id":"Q4234770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ccdbfb547967a0cbcd939813225cbb9b6b3a428","datavalue":{"value":{"amount":"+0.7594355940818787","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":"Q750415$C930C29A-5ABA-421F-AB09-E1C78F867507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ac2d9848e4e703b2d0a89e26f8e8232c9a4ee6","datavalue":{"value":{"entity-type":"item","numeric-id":4867412,"id":"Q4867412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fd893f89b59eea41d548b728ea05460735d5c56","datavalue":{"value":{"amount":"+0.7563173174858093","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":"Q750415$C73B9E38-98EF-47B8-80D3-5B14DA9F1777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25036cb7ecd232d6eb024f82d928c3f01c56d499","datavalue":{"value":{"entity-type":"item","numeric-id":3745827,"id":"Q3745827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b878254b80d03ac107b2520ec2a133e45d116c","datavalue":{"value":{"amount":"+0.7546926140785217","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":"Q750415$9D47A535-C8B7-437B-A4C0-A1C329E46CEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functional completeness of the mixed \\(\\lambda\\)-calculus and combinatory logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Functional_completeness_of_the_mixed_%5C(%5Clambda%5C)-calculus_and_combinatory_logic"}}}}}