{"entities":{"Q4555458":{"pageid":6585050,"ns":120,"title":"Item:Q4555458","lastrevid":81957989,"modified":"2026-05-06T19:45:24Z","type":"item","id":"Q4555458","labels":{"en":{"language":"en","value":"Combinatorics of \\(\\lambda\\)-terms: a natural approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6981763"}},"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":"Q4555458$27315A57-0A62-42C4-AF1C-58CA80D98997","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"808886c30465bed1e20b7251427ef39003d1b021","datavalue":{"value":{"text":"Combinatorics of $\\lambda$-terms: a natural approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4555458$21B1FFFC-D94F-44CB-9FD6-983CE7DC1CA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81a42ef4973bac763e8fe40e569a738887a9ae73","datavalue":{"value":"1444.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4555458$C1461030-8928-4EFA-AE30-1AC979C54514","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"36b03d965b708db71b66f91ec8846bbddfbb03ef","datavalue":{"value":{"entity-type":"item","numeric-id":2327213,"id":"Q2327213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4555458$A14AA468-B2EA-49CF-9139-716DA7CC35EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5fd864542907a2da8db322de1436438bd84c826","datavalue":{"value":{"entity-type":"item","numeric-id":579929,"id":"Q579929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4555458$3F8F9D20-14B4-40EA-A34F-90D829A37148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"213b864dc54d93cbd8178686850f26280c0ee2c3","datavalue":{"value":{"entity-type":"item","numeric-id":751645,"id":"Q751645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4555458$4C0CB54B-421D-4FBF-9D1F-A779C70E4607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab9c3115ba643d68fc4878b05a220fd5206e3717","datavalue":{"value":{"entity-type":"item","numeric-id":2376303,"id":"Q2376303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4555458$D86BFFB0-6DBD-43E4-834E-2AA23406DE92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd5f23ee54392c85eac5a5d27f88a008ee6a7846","datavalue":{"value":{"time":"+2018-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4555458$665AF8D6-9224-4C5E-8AE0-348069FDC460","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"832e7b603d6fb8b59586b574f868eafcc46335f5","datavalue":{"value":"https://arxiv.org/abs/1609.07593","type":"string"},"datatype":"url"},"type":"statement","id":"Q4555458$00A52C98-63F6-437A-A271-ED90AC2F0779","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4555458$4CF994FF-AFC1-4129-9DEC-B1798D33D6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b85c221f9847adc30512692a640a50dd4e3d1cb","datavalue":{"value":"05A16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4555458$5E4BA5E5-2535-4943-AE16-62A2EAF4AF9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"898c58e9374850aa5bfea5ece610fc27d6b490e7","datavalue":{"value":"6981763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4555458$F716C998-E764-48D3-8860-BA0A8E647D58","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4555458$67C36752-BFEC-4969-89F5-98518B2D2893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"459ffded74521c7177e183238b11e0b004784b7c","datavalue":{"value":"combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4555458$C8D93584-B29E-4813-B77F-920DF147EA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eab1db2a822c2f199222f5d286cdd6eeaeaf7fea","datavalue":{"value":"asymptotic density","type":"string"},"datatype":"string"},"type":"statement","id":"Q4555458$7996E1C0-B630-4D50-8409-FB4C78653B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4555458$A9B29883-6044-4D36-BFEC-4146E751C2D4","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":"Q4555458$F63189A6-4D71-4187-B694-24608BDE1A6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9f392ba73a5d6d6ea2e62bbea1aae22b313498b","datavalue":{"value":"W2963578516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4555458$5A924930-270F-4C65-AD14-0CDB76AE8E40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee18f0a6f18acf254f05a71449da1bff16ea274c","datavalue":{"value":"10.1093/LOGCOM/EXX018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4555458$361B6291-41E1-40D3-AA0B-2B9E467007A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4555458$32141135-B23C-4D45-B27E-9F800F6F4604","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64620b7eef9143bbd01b29eef671e6b3c17ef770","datavalue":{"value":{"entity-type":"item","numeric-id":2794357,"id":"Q2794357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d064694b87af5d7172f7a620d34518dd24df3432","datavalue":{"value":{"amount":"+0.928700029850006","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":"Q4555458$E3514610-BC16-4EA7-83F6-8702DE46F4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d588371dd4520447bca8b82b6c554c12d775b46b","datavalue":{"value":{"entity-type":"item","numeric-id":1706116,"id":"Q1706116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e54c1bd0f1c397d8d20b46b49ab2251282f5def","datavalue":{"value":{"amount":"+0.8412157893180847","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":"Q4555458$DFB74CB6-3E4D-4E83-86CC-F1D8BC5603DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36ff4291c24f5c08115fe8653662be172601c197","datavalue":{"value":{"entity-type":"item","numeric-id":1944777,"id":"Q1944777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89f12650a024b81073ffb37134ac88652eda3cf1","datavalue":{"value":{"amount":"+0.8281801342964172","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":"Q4555458$B300B4A7-6189-472C-A2CB-BC8D7EF8859E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e289fc416153162241f8a464a997cf38eeb87c6","datavalue":{"value":{"entity-type":"item","numeric-id":5398332,"id":"Q5398332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a8640f73a2bde8a470db93af99b8422ee36edb3","datavalue":{"value":{"amount":"+0.8250737190246582","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":"Q4555458$BFA88DF4-1C6F-4AD3-967C-FA2A9C79C260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47fb797c9a10cc2f84124bc18e6ddc05240a8baa","datavalue":{"value":{"entity-type":"item","numeric-id":4601892,"id":"Q4601892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5d443d601328674eb5a80055209d5fca11ff91","datavalue":{"value":{"amount":"+0.82268887758255","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":"Q4555458$DBA1FE7E-514B-4A55-9F29-5B78B62A3E04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combinatorics of \\(\\lambda\\)-terms: a natural approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combinatorics_of_%5C(%5Clambda%5C)-terms:_a_natural_approach"}}}}}