{"entities":{"Q1802059":{"pageid":1812801,"ns":120,"title":"Item:Q1802059","lastrevid":68991906,"modified":"2026-04-13T03:35:19Z","type":"item","id":"Q1802059","labels":{"en":{"language":"en","value":"A proof of the substitution lemma in de Bruijn's notation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 218913"}},"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":"Q1802059$AC028FA0-C449-4A75-B674-EB02E863BCE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce7362912e46ffae482222d3c0cabb481e248b2d","datavalue":{"value":{"text":"A proof of the substitution lemma in de Bruijn's notation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1802059$3274FD00-4E6D-4DCC-97EA-B8D4B9054BF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40095e21a2c136b9a15eadf75b05709efd90b909","datavalue":{"value":"0770.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802059$AF8CF0D1-C910-4290-8CF1-A946B359468E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e04c0ed9b5e176e276440c04f6f30c160849c94f","datavalue":{"value":"10.1016/0020-0190(93)90198-I","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802059$53F766B3-6433-4C6F-88B2-9E079EE9AF2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"097f0ebaabd67a454cdd22d959d921df424ab8f0","datavalue":{"value":{"entity-type":"item","numeric-id":251446,"id":"Q251446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802059$3C4C9C89-98EA-46FE-BFD3-4C7D09F122B0","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":"Q1802059$1C47B5B6-7BA6-4569-86A3-E2C0D82A16BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84bd89f27c8cb1358368760527e3f52344795b6d","datavalue":{"value":{"time":"+1993-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":"Q1802059$9BC74CA4-2A69-4F80-9F71-DFAE93DBF04A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a3963c8c24cb43f335f91895a5aa348a95df669c","datavalue":{"value":"The paper proves the substitution lemma using de Bruijn's notation [\\textit{N. de Bruijn}, Lambda-calculus notation with nameless dummies, a tool for automatic formula manipulation, Indag. Math. 34, 381-392 (1972; Zbl 0253.68007.], DBN for short, DBN, which is an alternative representation of the \\(\\lambda\\)-calculus, represents variables with non-negative integers in order to avoid the need for \\(\\alpha\\)-conversion.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802059$4A05EADF-FACF-410A-BA65-9E7DA88FEFAA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802059$95D90AC2-97BF-473E-97FD-89D867AF9F67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cccf8ca1df42c4ad269e87fb12901976636a197e","datavalue":{"value":"218913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802059$F3FB9B77-3731-4BDA-AB87-96352D65C39D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9389ae12e01d8af4be45480dad1535b85784a6","datavalue":{"value":"substitution lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802059$8DE30E24-DA2E-4AC8-B4D7-EB02CECEE40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7d0d7a5c1aa270bddf5bb926a6771d2b24eac4b","datavalue":{"value":"de Bruijn's notation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802059$69CD2230-C4E7-406F-9AF9-7ECAFB1B82A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802059$74A91B0D-87E6-4010-B295-E4EF27131749","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":"Q1802059$FA1B8547-0F87-4570-9296-F2574327BD1E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8b2a8cb69d5f71ee9a7ceed695d44a09578341a6","datavalue":{"value":"Q124873174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802059$5ED22F54-02FA-4DB9-A264-F81D07BD0274","rank":"normal"}],"P223":[{"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":"Q1802059$3D7332E5-9E43-45BE-9004-090964E7B069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5c0a322641e0fb0bfcedb9760d56ea332ad04e","datavalue":{"value":{"entity-type":"item","numeric-id":3745827,"id":"Q3745827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802059$9804661B-1CCB-4369-BAD7-DE1E4062656D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802059$1D5D4513-66AF-4095-A098-5B8A350CF51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93870916f985296994d3e934a3bbc33cc4056cee","datavalue":{"value":{"entity-type":"item","numeric-id":3801105,"id":"Q3801105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802059$B14F0EA2-C87D-4478-BDF2-41059B15F3E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"478d8ed755349b2df9ff53222b309ea0b9166358","datavalue":{"value":"https://doi.org/10.1016/0020-0190(93)90198-i","type":"string"},"datatype":"url"},"type":"statement","id":"Q1802059$E2BFD6F5-25A2-424A-AE9E-7B4FDF84F54D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9dd983ea1736716425483a2a72e42386371153c8","datavalue":{"value":"W2010072737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802059$A172336B-B4F6-4156-9677-33098591AB08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7966d37cf45feb9f02ddf1884e5ff95d56ca176c","datavalue":{"value":{"entity-type":"item","numeric-id":2752527,"id":"Q2752527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c887e39660cc96131ca49cbcc5321d5a214241bc","datavalue":{"value":{"amount":"+0.7605289220809937","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":"Q1802059$D56F5348-4FFE-460E-B7DA-39C0ACF2F8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1094a171e497adb3af5195b276e215819972ae96","datavalue":{"value":{"entity-type":"item","numeric-id":3523176,"id":"Q3523176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cda7501a4654fa499f959743ec7c7da1518a72f","datavalue":{"value":{"amount":"+0.7494291663169861","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":"Q1802059$D1BC6359-D1F1-437C-B8BC-DFFE319C4489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d33197d73b85136d1a5f0f40200996a0082e844d","datavalue":{"value":{"entity-type":"item","numeric-id":4256148,"id":"Q4256148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e448adc8ce27e6d3385d243805f0b39d7b73643f","datavalue":{"value":{"amount":"+0.745632529258728","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":"Q1802059$CDD632EB-5FC6-4076-9638-91CDD72779E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35903bf791755b3140a6a8f50829fa057b767870","datavalue":{"value":{"entity-type":"item","numeric-id":5248982,"id":"Q5248982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"360d10aa35d16befae08ba294f0c4ef9164a079f","datavalue":{"value":{"amount":"+0.7429544925689697","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":"Q1802059$FA1523DC-3DF0-4A9E-80B6-1912CD80E05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99bf599bc35b72cf5355d10b0df15a41a68fadb9","datavalue":{"value":{"entity-type":"item","numeric-id":1129257,"id":"Q1129257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78e867f0107034e0ea158968399c9f852e24cf4e","datavalue":{"value":{"amount":"+0.733494758605957","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":"Q1802059$AF52D148-7CC8-4C63-AE8D-C901E612953F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof of the substitution lemma in de Bruijn's notation","badges":[]}}}}}