{"entities":{"Q1764799":{"pageid":1775541,"ns":120,"title":"Item:Q1764799","lastrevid":73858395,"modified":"2026-04-14T17:31:15Z","type":"item","id":"Q1764799","labels":{"en":{"language":"en","value":"De Bruijn's syntax and reductional behaviour of \\(\\lambda\\)-terms: the untyped case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2136935"}},"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":"Q1764799$397D4443-F2AD-4740-BA26-579EF2AB3412","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0d5a994ef1ed8b8d9e60c73f8b08d3f283e0205","datavalue":{"value":{"text":"De Bruijn's syntax and reductional behaviour of \\(\\lambda\\)-terms: the untyped case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1764799$B1CD8094-A10F-4B5D-B0C4-74417F75CD71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00144e60e08d6d419e01003bb8b1f4afe2f1ca21","datavalue":{"value":"1101.68452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764799$90D329FC-23EC-463A-8000-2344BB615EF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789e7d13968ff4d1bb0c8502c94008354a07915","datavalue":{"value":{"entity-type":"item","numeric-id":195251,"id":"Q195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764799$B70BFA12-69EE-4272-8DEB-518A0D4B7EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95c0470d173aeeeda7b208422c076739fd98b16a","datavalue":{"value":{"entity-type":"item","numeric-id":1274457,"id":"Q1274457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764799$FAF5F47D-7908-42BD-BB6F-012ABECC983E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764799$1ABC1BDF-98FC-4568-8334-13FF9BEF66AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6fd9f57da46494686492c936ca92ef875382ca4","datavalue":{"value":{"time":"+2005-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1764799$B38E4E2C-EBF2-4E50-A160-2DA1C6AC0BE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764799$DA63A5A9-15AD-4D30-B698-81EA41FBA3CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffad6a551185a17d34d0d23fe187b5e384f90807","datavalue":{"value":"2136935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764799$4DC6F9A7-8BC7-4BF8-980F-C709A04B9068","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"563366a4c703a2451e4282bf3a5035c4e3b94e8d","datavalue":{"value":"Class reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1764799$AE20F66B-38F2-4FBD-B4CE-6039C5122C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6cb33e1f9ec5858379ca8375d5febafe6529e13","datavalue":{"value":"Canonical forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1764799$5142D665-CE07-4992-BE65-F70973D9759C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc6f71d01c5a01e246ed8d99e29f8841dff3fc2b","datavalue":{"value":"Reductional behaviour","type":"string"},"datatype":"string"},"type":"statement","id":"Q1764799$A0AAB8B7-9FCB-46F9-AA16-CBFF5AB6CCFA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764799$85822E2C-21FA-452E-B47F-3DB3EBC3DA03","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":"Q1764799$9F771761-31BE-4AA1-ABD8-CC1B80355F3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdaf0ba9c7dbe784c7e6268a2158438b468f0e36","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2004.01.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1764799$B3AB1F7A-73C8-46AF-8618-0075C347005E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"567c23c7b2e88a9c2035a1fb458e602738569072","datavalue":{"value":"W4210256011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764799$5C3758BB-523F-4382-8C97-6285098A53F9","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":"Q1764799$F26C6C6E-1F8C-4E9B-B635-0BDED7C510CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764799$A0EC55AE-39F3-4EB5-8FBD-F9BC03D44186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95ed97a69a026893fd6580defc77774329e259f9","datavalue":{"value":{"entity-type":"item","numeric-id":1041755,"id":"Q1041755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764799$700825B1-BCD0-4A3B-8811-13EC7B2DF4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a65515c2e37d29687eab299c05aa46a3d9a3df5d","datavalue":{"value":{"entity-type":"item","numeric-id":4281472,"id":"Q4281472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764799$8FBC1483-8F9A-4590-BDB9-4A5F7EE8305A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a11b849382be2fefcc37617d89bb31e4a381ef","datavalue":{"value":{"entity-type":"item","numeric-id":4522334,"id":"Q4522334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764799$A181304C-FB14-4FA3-B29C-118C32D83F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b2e99d23e5c8da91c0d21bff6d6e50e7f879117","datavalue":{"value":{"entity-type":"item","numeric-id":1763159,"id":"Q1763159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764799$6661556E-A561-4F30-9483-42B4AFA53576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3528791b2d72341145ead8443ceec77b79252da3","datavalue":{"value":{"entity-type":"item","numeric-id":1365680,"id":"Q1365680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764799$7EFC8989-E800-4B66-95A4-975E953D1BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f4fe1b8977f490196c9188240db25c416d17b9f","datavalue":{"value":{"entity-type":"item","numeric-id":4880488,"id":"Q4880488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764799$709D9797-A438-4DBC-959F-9B00AEA13C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67013d816ea198eca113bfbb3c6f6ab575f53576","datavalue":{"value":{"entity-type":"item","numeric-id":4259970,"id":"Q4259970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764799$C1A49BE9-4589-4796-80E2-F435F1B40D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dcf81f897a63d71cc9627e7e186f8ab7cb4d955","datavalue":{"value":{"entity-type":"item","numeric-id":3707989,"id":"Q3707989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764799$1E601C9C-A287-478C-A100-6B7E30DF68F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175ce5d5083c8155a0a3300509bae00b5d459802","datavalue":{"value":{"entity-type":"item","numeric-id":4299012,"id":"Q4299012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764799$3A920687-B97F-4407-AAC1-A987D3325492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e85818f5656fe54cf413d8e22228810b986efe","datavalue":{"value":{"entity-type":"item","numeric-id":1884929,"id":"Q1884929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764799$4807174A-6648-4040-9A71-2F392E8CBED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93b9ef61c0084a0591467148bf9b4a4d3b982a9","datavalue":{"value":{"entity-type":"item","numeric-id":4501151,"id":"Q4501151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764799$F65D5FA2-981C-4D6F-87ED-A0D8189575B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764799$3A5D3C12-827D-437A-B555-BB69DEF10714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cbc69cab2b7d5069acc953a5626227ed8c07a0","datavalue":{"value":{"entity-type":"item","numeric-id":1340050,"id":"Q1340050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764799$E3E51AF5-2E23-4C94-A5E0-85F85A36BD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ad066144a6504bc489d20ac28205d89300b341","datavalue":{"value":{"entity-type":"item","numeric-id":1322165,"id":"Q1322165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764799$EE69618B-761A-4392-98D4-A9634A822F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197fb31080d07279d6d4e707ba0db8b6fdc07c7c","datavalue":{"value":{"entity-type":"item","numeric-id":1357009,"id":"Q1357009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764799$FDA6C120-0F2C-4312-B6DB-50219E85B958","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b51000ca47e26871a38dcab73b63a5f0dd8890f","datavalue":{"value":"10.1016/J.JLAP.2004.01.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764799$EC6C5F1A-C89B-473F-AE5B-E94484AC20E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33fb8b47b33458b3d19808d42e46e8b503c211fd","datavalue":{"value":{"entity-type":"item","numeric-id":1763159,"id":"Q1763159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"486c8288abf8dc33781b89a19c05d6fdfc8f8633","datavalue":{"value":{"amount":"+0.9816515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1764799$C59CA5B7-99DD-4ACF-B456-92E0ECD732EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6df12bd06441d1e1b378440f506f98d13c164188","datavalue":{"value":{"entity-type":"item","numeric-id":1295368,"id":"Q1295368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9fccddb9e95896b54d76accb47846be670ce545","datavalue":{"value":{"amount":"+0.8755578","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1764799$66BB50C3-753E-4F04-AFFA-86BBB62B882F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"881c31f1bb8fe71f4c7a7d2d55854dd2ff60dab9","datavalue":{"value":{"entity-type":"item","numeric-id":5283606,"id":"Q5283606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5447309064ab5e1d47ff95fb98a4001646292f5","datavalue":{"value":{"amount":"+0.8643991","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1764799$0D0320EE-123F-45E5-B679-D7B4290DE768","rank":"normal"},{"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":"26c9dc96ce641a22a2a3f50dcd9b9aa1378c2476","datavalue":{"value":{"amount":"+0.85985714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1764799$10481985-1A51-4008-A5B0-1B544B118A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9f953e2ee4e4da0dc2baca27f2305ee38b6c1cd","datavalue":{"value":{"entity-type":"item","numeric-id":5901559,"id":"Q5901559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c93210096729e1a8b697d0fe9eed5c0be71d8f18","datavalue":{"value":{"amount":"+0.85543877","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1764799$46C5627E-749F-437C-A682-7CEE813940E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9373f3c2636b2288eda73f47e1632d4eec730a","datavalue":{"value":{"entity-type":"item","numeric-id":3194765,"id":"Q3194765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9386093e64f1ad9004b06af41f89d4d4c1c67b6e","datavalue":{"value":{"amount":"+0.8529206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1764799$16DF1428-6E66-4A6B-8F1A-718D8F05FB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a4470dbea6a40b40b3daed6ea4692ae8fc057fd","datavalue":{"value":{"entity-type":"item","numeric-id":3540177,"id":"Q3540177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe9f6049970cc93f5af9772d01e9f0b11a1fce59","datavalue":{"value":{"amount":"+0.84940314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1764799$D142ED0F-BF60-4AD4-82EE-789F10F08E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ded6dc1c98bf86743d12afb475edc0ef078641","datavalue":{"value":{"entity-type":"item","numeric-id":1340967,"id":"Q1340967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa1f263cfd3618aa75725d139528f39fceae7909","datavalue":{"value":{"amount":"+0.84768534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1764799$BA9400EE-9E43-46F3-9FDF-F122ADEC478D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c05d8ceb30fb7dee16c2d6c4f9b7a6d009e0cb","datavalue":{"value":{"entity-type":"item","numeric-id":968531,"id":"Q968531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59b333a35a586cc7f20729bb6f88bb9c7155743c","datavalue":{"value":{"amount":"+0.84718317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1764799$90EF2303-AB1B-4ABC-AD2B-A29580B7B73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b843bbe05d7ec04b9e7443f833ea1e8de9fee8eb","datavalue":{"value":{"entity-type":"item","numeric-id":3708774,"id":"Q3708774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdd92dc81e5accc29515b408f872f085a7af7046","datavalue":{"value":{"amount":"+0.8463206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1764799$CC6DFC5D-0CDE-4351-898C-E7F99B0BBFFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"De Bruijn's syntax and reductional behaviour of \\(\\lambda\\)-terms: the untyped case","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/De_Bruijn%27s_syntax_and_reductional_behaviour_of_%5C(%5Clambda%5C)-terms:_the_untyped_case"}}}}}