{"entities":{"Q396960":{"pageid":398727,"ns":120,"title":"Item:Q396960","lastrevid":61524225,"modified":"2026-04-10T23:56:08Z","type":"item","id":"Q396960","labels":{"en":{"language":"en","value":"Enumeration of generalized BCI lambda-terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6330361"}},"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":"Q396960$CA6E1354-7EED-4D82-B896-800487923623","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e72cc6e42636c2984591fd663909aeddd59382d","datavalue":{"value":{"text":"Enumeration of generalized BCI lambda-terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q396960$C7B9CB98-73FB-477F-A250-82392D051A0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c18254a03463cf0f2760e65524717c0107d7642","datavalue":{"value":"1295.05040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396960$235D78CA-08FD-47E2-9FB3-28C3E5C657B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef3fdaaac0e110cbc4c911ad49e4f3b8502cfbd1","datavalue":{"value":{"entity-type":"item","numeric-id":391392,"id":"Q391392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396960$8F9E2C8E-4CEB-4A72-97BF-0246072977B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2f9f0b94cc510bc7f520f1fa4df4eed82481530","datavalue":{"value":{"entity-type":"item","numeric-id":396959,"id":"Q396959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396960$76145DB1-DF1D-4AC2-B9B7-597E49DE43EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3af5ee0a5e949ebe2696f3512690250d73c4bcdc","datavalue":{"value":{"entity-type":"item","numeric-id":391393,"id":"Q391393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396960$7DB21791-58FC-424C-AC75-CFF77F2210FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e549d6f3c94e54bcde904397ecde45a0745bc58c","datavalue":{"value":{"entity-type":"item","numeric-id":213142,"id":"Q213142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396960$A5A684DA-9F24-4475-B424-EC29A0EFBFEA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ebc7441ecfd9ecfa38d48ddc4b2adb39ac7d7000","datavalue":{"value":{"entity-type":"item","numeric-id":161296,"id":"Q161296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396960$B8C3FF71-E433-43A9-A37C-F00AA33FEFE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"014386d1e7349618004d8e2aa9650d7520cb60bd","datavalue":{"value":{"time":"+2014-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q396960$8C04E2A5-217D-466F-80EC-9DE66482B0F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c5ccf5caf8333ec04391689f2cccf5df2fe358d","datavalue":{"value":"https://arxiv.org/abs/1305.0640","type":"string"},"datatype":"url"},"type":"statement","id":"Q396960$DCBC32DB-CC8F-4A6C-AF76-C13655D3EAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"26b0837fa68b9dfc8982dfa866acf802c36b7ecc","datavalue":{"value":"http://www.combinatorics.org/ojs/index.php/eljc/article/view/v20i4p30","type":"string"},"datatype":"url"},"type":"statement","id":"Q396960$CAE3E613-4185-4A55-884B-04FF2229404A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b92077fd04c2dc0d5bec01bfc117c75879257204","datavalue":{"value":"Summary: We investigate the asymptotic number of elements of size \\(n\\) in a particular class of closed lambda-terms (so-called \\(\\mathrm{BCI}(p)\\)-terms) which are related to axiom systems of combinatory logic. By deriving a differential equation for the generating function of the counting sequence we obtain a recurrence relation which can be solved asymptotically. We derive differential equations for the generating functions of the counting sequences of other more general classes of terms as well: the class of \\(\\mathrm{BCK}(p)\\)-terms and that of closed lambda-terms. Using elementary arguments we obtain upper and lower estimates for the number of closed lambda-terms of size \\(n\\). Moreover, a recurrence relation is derived which allows an efficient computation of the counting sequence. \\(\\mathrm{BCK}(p)\\)-terms are discussed briefly.","type":"string"},"datatype":"string"},"type":"statement","id":"Q396960$A212CD47-22F1-4A0D-ABC9-932324FEB4C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b85c221f9847adc30512692a640a50dd4e3d1cb","datavalue":{"value":"05A16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396960$A9F830C4-98A0-4CB8-9F14-4C5D6257A390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396960$BF07083B-4818-4656-95A8-F916C957C0BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65c4749510289ed08400baa15689bac33a5b82e4","datavalue":{"value":"6330361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396960$F398AD75-A6DF-4794-876B-EAC7C37354C5","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":"Q396960$B2F6467F-49BA-456D-8AF4-84493C0E1509","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09ea594816818355af14b33ce8c3c2cd6cbc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":5194754,"id":"Q5194754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd788b72b57e4346a8cf5b891d89b11857f391b1","datavalue":{"value":{"amount":"+0.8935890793800354","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":"Q396960$2CEE3F44-F85D-44D9-ACBA-D08E4914E664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3843956019e7dba47ae2847170618da3b248f4f","datavalue":{"value":{"entity-type":"item","numeric-id":391429,"id":"Q391429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fad6f59212acc47b2f23c043b042d0820d176bfe","datavalue":{"value":{"amount":"+0.8162729740142822","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":"Q396960$04DB8387-DD25-4C08-84AA-0312BFD4D075","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":"056f3a775b51fb907dceb19794865b22c1130977","datavalue":{"value":{"amount":"+0.8137511014938354","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":"Q396960$9CC8EA60-CB51-4BA0-8A45-F027A45A222A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5801feb6c01293161e9f5886428d312de6f98ff9","datavalue":{"value":{"entity-type":"item","numeric-id":4555458,"id":"Q4555458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fc002181267e1e3fc50bf6b2241e04188cc4af8","datavalue":{"value":{"amount":"+0.8103545308113098","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":"Q396960$132AD00C-13C0-475D-9E99-37E43BB3E04B","rank":"normal"},{"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":"9f3a9464024d591f428500e3eab42456b6bb86df","datavalue":{"value":{"amount":"+0.8070833086967468","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":"Q396960$7B2C4D53-9F3A-4D0E-9E9E-2A510ACE8CA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Enumeration of generalized BCI lambda-terms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Enumeration_of_generalized_BCI_lambda-terms"}}}}}