{"entities":{"Q1763159":{"pageid":1773901,"ns":120,"title":"Item:Q1763159","lastrevid":69032874,"modified":"2026-04-13T03:52:01Z","type":"item","id":"Q1763159","labels":{"en":{"language":"en","value":"De Bruijn's syntax and reductional behaviour of \\(\\lambda\\)-terms: The typed case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2136082"}},"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":"Q1763159$CC94A138-7954-4E5F-A9C2-9E4066943E4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de8426f51984d782bd92f31ec2a624e0e9cd02e0","datavalue":{"value":{"text":"De Bruijn's syntax and reductional behaviour of \\(\\lambda\\)-terms: The typed case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1763159$59616CFD-0D9F-4609-B775-357D436809DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afd7831a98f2a87ff2a0bfe995e6b9fc08a2eda5","datavalue":{"value":"1090.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763159$AC03C196-07B6-4E45-B844-8473168844E6","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":"Q1763159$FF8453A9-A467-46B2-B52D-AE49C2D2AB1B","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":"Q1763159$6DD31A3C-C479-4119-8F95-0A31955D45E6","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":"Q1763159$36DBCD7B-CDA9-4AD6-B914-86697182A455","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":"Q1763159$DC363B69-3D7C-4533-AD85-38F1B9419AF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763159$A44D5D1D-5161-4D97-A9AF-D8C9C5ACB584","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b39a14b68ccaa684812d2701e80162314125b69a","datavalue":{"value":"2136082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763159$47770436-C552-475C-84F7-EAC4518F9EFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"563366a4c703a2451e4282bf3a5035c4e3b94e8d","datavalue":{"value":"Class reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763159$41F87369-FC50-4C5A-BD42-DEB7D69E610E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73d06a4412ba7c7a4b2c38ca2a6c070deb2b732a","datavalue":{"value":"Type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763159$077F5C5A-BE63-49C7-887E-A7D1161A63C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e41d5f3a27c741ed3a6a69f1f209ddbe3ef3a4c","datavalue":{"value":"Subject reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763159$5681654D-A350-4AFB-B1DB-A7148EBEF3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7dc341b432b3ca65208af3fa39cb10159417165","datavalue":{"value":"Strong normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763159$D38DAC48-D79E-4407-BD52-596602F6670E","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":"Q1763159$1E2181E5-2084-49D1-AC36-98C4A1507B31","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":"Q1763159$4E293D23-13D8-4728-9D33-8B8BD32FBFCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4850ea49e6edba29a0b7d0a0aa5ad9aec0c3e0ee","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2004.01.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q1763159$E2CDE7BE-9CAB-4021-AF57-4B5CAAAE6536","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d69a4f226e2760cd8df4cb76fb08863f9baec106","datavalue":{"value":"W2082949147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763159$A0E79904-0331-4F8D-B878-31359B769F12","rank":"normal"}],"P223":[{"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":"Q1763159$EC928A23-BEC8-4D63-9A49-9A9E85243121","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":"Q1763159$459AC78D-13A5-4433-A2EB-636B798D55B9","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":"Q1763159$EEB1CD62-6408-4354-B290-368BD3B71A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d678d23700bdc75614fd128da6b80de5c4435e","datavalue":{"value":{"entity-type":"item","numeric-id":1764799,"id":"Q1764799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763159$C145E89F-54A2-47D5-99B8-BFB78B6A8A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52270262e84696f8a598067b9875a7449203def1","datavalue":{"value":{"entity-type":"item","numeric-id":1302298,"id":"Q1302298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763159$C5C5D9E7-4C8A-4ABD-8226-3495CDB15FAF","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":"Q1763159$9C71A3DB-C116-42E6-8A90-A6A6EC6C953F","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":"Q1763159$ACF2F2C5-0E98-41BC-BB61-A166AFC100DD","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":"Q1763159$034E3782-CB0C-44C7-B6CC-CA230E5485B0","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":"Q1763159$1DEE4708-529E-4515-85AC-A110126B45B9","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":"Q1763159$8D581E3B-B1D0-4B12-BFB6-DEA6AE18391D","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":"Q1763159$64586C17-2BF5-4100-9EF6-6707D6495A82","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":"Q1763159$03775B64-300F-4221-A8DA-40CBA1DB4FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af9d21c37671b9be618523ed9cacc13864ebd66a","datavalue":{"value":{"entity-type":"item","numeric-id":4501161,"id":"Q4501161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763159$00B51036-D792-4B46-B9A7-71C913CCAE75","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":"Q1763159$988C1B13-87EA-4F68-8309-025CA22069F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af2a2b8c375bc79acc34826ba672224a0a9dbf1d","datavalue":{"value":"10.1016/J.JLAP.2004.01.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763159$AB982FC6-4D16-46BD-B05E-4707221B1E4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13029a6b13b531e3fd4463a75576676ce8fae15a","datavalue":{"value":{"entity-type":"item","numeric-id":1764799,"id":"Q1764799"},"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":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1763159$F5A081F8-0AB4-4085-BFB8-855F6579D5E1","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":"4d7d8268830ba69420cb59f93d8493de5b28facd","datavalue":{"value":{"amount":"+0.87449116","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":"Q1763159$246C212B-D50F-4971-AF56-0888A4FEAD34","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":"afd2b7313438860112213eebf4ed18f8f4cd41fd","datavalue":{"value":{"amount":"+0.8646231","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":"Q1763159$B93B9DF5-888A-444F-B4C9-77451021BD5B","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":"1db18814bc392ede8a9d04cee5e7f9625f7e645b","datavalue":{"value":{"amount":"+0.8625454","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":"Q1763159$E572C87E-2A89-4C51-96C6-B17AB1115117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ddcce6bdfc9d0d633b210e40c940274f3bb3978","datavalue":{"value":{"entity-type":"item","numeric-id":1981989,"id":"Q1981989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28a05ebd446a7ae114c51de6c93a14d2aef34bff","datavalue":{"value":{"amount":"+0.86120236","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":"Q1763159$07D1634C-2C80-4118-9525-6435DF44500D","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":"788bc19eef283296b86deab26a6df96a1c4cb85d","datavalue":{"value":{"amount":"+0.85459596","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":"Q1763159$500898E4-F94A-49C4-A7C0-29946935DD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"716097ce76445ff5dae18ad8efe9b23276673ab5","datavalue":{"value":{"entity-type":"item","numeric-id":3804171,"id":"Q3804171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8540e783fb98e4958dbabfd4b8dd019e6c5e8bb","datavalue":{"value":{"amount":"+0.85342205","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":"Q1763159$03B3107A-5A02-4DF1-A4D3-E144F6B58C7D","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":"2b2cab959d2b81a32b938c08503533cab5e48f92","datavalue":{"value":{"amount":"+0.85298955","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":"Q1763159$6ED5393B-039C-486F-8FE1-692AB8770C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c849d33f13cca487b27c42b5fb87268f8b2a0159","datavalue":{"value":{"entity-type":"item","numeric-id":2639840,"id":"Q2639840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"414e541eac00d528f55c72d57e8e8b3f172e672c","datavalue":{"value":{"amount":"+0.8520645","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":"Q1763159$0DB873A4-3F12-44B2-8063-A9A4CD953C7B","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":"b4964c638fc5b0d572b4b20ed24aa0e50719d6db","datavalue":{"value":{"amount":"+0.8512005","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":"Q1763159$1937F45A-DDCD-417A-AF3E-392B3449C5A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"De Bruijn's syntax and reductional behaviour of \\(\\lambda\\)-terms: The typed case","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/De_Bruijn%27s_syntax_and_reductional_behaviour_of_%5C(%5Clambda%5C)-terms:_The_typed_case"}}}}}