{"entities":{"Q4601892":{"pageid":6631475,"ns":120,"title":"Item:Q4601892","lastrevid":58289313,"modified":"2026-04-04T14:17:28Z","type":"item","id":"Q4601892","labels":{"en":{"language":"en","value":"On the number of lambda terms with prescribed size of their de Bruijn representation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6829381"}},"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":"Q4601892$FF5116C7-7707-49FB-9601-292E0AECE996","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"001181ae26bfd88eff93da13bd9c60235df1b71a","datavalue":{"value":"1434.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601892$5DFE530A-5AE3-4EAE-AEEF-3DE7F34B2340","rank":"normal"}],"P16":[{"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":"Q4601892$806A3DA9-364C-441A-BFC2-4F546404B065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc1d202a619a1ef7d240c29296a5cfab9d515fe6","datavalue":{"value":{"entity-type":"item","numeric-id":714774,"id":"Q714774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4601892$FEB40B33-34E5-4FE3-AAF5-3F54159C16FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1335161379199d9038091fb354c2f0e9ba953e5b","datavalue":{"value":{"time":"+2018-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4601892$A66E929F-D46A-4D16-94AF-3AAB69959E5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84011e1eb18fb09899739ecd5133474e62d32c96","datavalue":{"value":"https://arxiv.org/abs/1509.06139","type":"string"},"datatype":"url"},"type":"statement","id":"Q4601892$EC16A802-F4E8-4859-9207-98989EEE8CDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601892$5A9ADCBF-7D5A-4136-8E2E-89960520379C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601892$816B41BD-2D20-44A4-851F-80794D96755A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a8d12906237c0bd02fba796b2cc4906d0a76d89","datavalue":{"value":"6829381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601892$83F5EF0D-08A6-4073-A43C-553EB8F6A92E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601892$D13ACC57-B14C-45B4-8720-C6E82401158E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89ca1c13c40eb6da2aa6ec557af2cadb761afbdf","datavalue":{"value":"terms enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601892$3E78A36D-ECB5-494C-ABA5-2D42EB658F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c130d4d8ba196b05e16ed90a178ca34dcbfa704f","datavalue":{"value":"analytic combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601892$DF837B03-D6EB-42FB-BDFD-7BFB01C5EF35","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":"Q4601892$CED5F8D2-06E5-4918-8126-F72315865AB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30e031cb4b68eae3a7029378b14c3be413a2d84e","datavalue":{"value":"W2963632202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601892$4584DD88-6880-42D3-B74C-CF98719DA4A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6906b0afbaa7785b0c1e8eb08247d268da2a72d1","datavalue":{"value":{"text":"On the Number of Lambda Terms With Prescribed Size of Their De Bruijn Representation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4601892$013EB4EE-C10A-43D3-BC02-50E8CAB88F33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95e55f5fa6089ffada94aafbb9e62090a3dbf7f9","datavalue":{"value":"10.4230/LIPICS.STACS.2016.40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601892$90643A44-51AB-4F4D-B8EF-765A421DE0F9","rank":"normal"}],"P1643":[{"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":"376d0437375fcc9c5ad18e2c9d012dc0e450e15e","datavalue":{"value":{"amount":"+0.9355254769325256","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":"Q4601892$A5C7F91A-15B7-4BE2-A560-B24D1DAAB571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2ce9a4f203e55f37fb33e73f450618654cab652","datavalue":{"value":{"entity-type":"item","numeric-id":2789550,"id":"Q2789550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9891baa253ba3eb18a017ce10708404e6ee32f83","datavalue":{"value":{"amount":"+0.9045426845550536","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":"Q4601892$BC614336-E5B6-4B5E-97A6-BAB97CA905C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b238689cbefdaee319aa98a033058b49e2d86683","datavalue":{"value":{"entity-type":"item","numeric-id":5371959,"id":"Q5371959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c80698dc6a3787e79feed59d81bc9bea27588c6","datavalue":{"value":{"amount":"+0.8881464004516602","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":"Q4601892$7C10F797-E893-4339-B042-1033F5981FF1","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":"bb80ac9701e327d391ba3c13ebda0b61637a05eb","datavalue":{"value":{"amount":"+0.8551376461982727","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":"Q4601892$A75D91F1-3F30-43AA-9C10-F51B604F1578","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":"412a730c233e6b7e4cfa9df76e6098d58a03d153","datavalue":{"value":{"amount":"+0.836338222026825","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":"Q4601892$80B58055-FDC7-4EF9-8931-390AC4DAD84C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4601892","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4601892"}}}}}