{"entities":{"Q1706116":{"pageid":1716857,"ns":120,"title":"Item:Q1706116","lastrevid":73360800,"modified":"2026-04-14T15:35:30Z","type":"item","id":"Q1706116","labels":{"en":{"language":"en","value":"Enumerating lambda terms by weighted length of their de Bruijn representation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851657"}},"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":"Q1706116$BF1E096E-67E7-4F44-8A1C-742022CE9CFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c30a22b9714a39c2071dfa535d34f42374649a8e","datavalue":{"value":{"text":"Enumerating lambda terms by weighted length of their de Bruijn representation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1706116$6309F935-03BA-47E5-89AD-685C8EFEFC6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a6c7bdbf952a08f3bc8d0bce9be416e0f984828","datavalue":{"value":"1382.05006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706116$EE8593F1-9E6A-49FD-9062-071DC1F21E19","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":"Q1706116$114CA358-1541-4CD1-95FD-06366BA76822","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":"Q1706116$2C029C32-9815-48F0-91BC-3BF59DEB9765","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":"Q1706116$67B64347-C423-4FB6-807F-403F08DA52F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$0924706F-4953-49AA-9D38-D39D0C823B02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1706116$8C25FAE2-72CF-44C1-A4F2-EA030BE04674","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de04aaab41ec7aa57974859a18e9366ceedd99f0","datavalue":{"value":"https://arxiv.org/abs/1707.02101","type":"string"},"datatype":"url"},"type":"statement","id":"Q1706116$2F5AF822-D934-4B56-A478-F10EDC812C3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b85c221f9847adc30512692a640a50dd4e3d1cb","datavalue":{"value":"05A16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706116$D4FF827F-1894-4E7B-BEE7-6EA38BA5DC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706116$E1F6F7EE-C694-4E3E-833A-6F9940B7F7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706116$D3F40202-D93D-4F5B-8BC6-D397E18D86D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06040f8ffb951ea74fdb1bd76a77ef83a89eb5f1","datavalue":{"value":"6851657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706116$F1A53365-7640-4685-8579-AA1F2A30F808","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba7807554b4e752cff9abae6d545f852939ba63","datavalue":{"value":"lambda term","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706116$44123B06-DB5D-4E9F-BE27-523AFFFE449C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34895ef0789d9770c700806e7a4844204045ec07","datavalue":{"value":"asymptotic enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706116$534184C1-EB98-4F8F-BA36-98AAA716E164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cd04b2cc505cb409797e572750d2f2642129dfb","datavalue":{"value":"generating function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706116$4CBDDF75-D6C2-4941-8D5A-6F6D72F6E072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ad6ea5849db3dc8806966af198d318325f318b2","datavalue":{"value":"infinitely nested radical","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706116$B07B1032-1841-4B56-B764-E9308A35508F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e96d26d8335cbb3fa721a77860d3b0953c297af6","datavalue":{"value":"Boltzmann sampling","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706116$01843B20-BE7E-4210-9EB6-A94E70AD3E9D","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":"Q1706116$C8D8009A-B137-455B-8738-078D0AD2EB8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e7b1409e9976492f53f744ebdac1bde0833ad5a","datavalue":{"value":"W2964227342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706116$04C82423-08EC-4073-A183-6F2C54C25987","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd586d92053abc0bb1bf3c558de1e0427fc7df2c","datavalue":{"value":{"entity-type":"item","numeric-id":4912847,"id":"Q4912847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$7DBD75D6-D679-4B84-9621-3667070CDD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b8f69189173aa4ba19756ce3c57a9c34200a3e","datavalue":{"value":{"entity-type":"item","numeric-id":2794357,"id":"Q2794357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$26181196-8BB2-42FB-B236-3B4F0D92ABF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5807a46c1ac435283dfa37f8c476fd428ce57309","datavalue":{"value":{"entity-type":"item","numeric-id":2948454,"id":"Q2948454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$F7466B95-39AC-4704-8854-9E1EB2918B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9da3ea4484ae579e08b430dd38149d1d811ccc9e","datavalue":{"value":{"entity-type":"item","numeric-id":1745901,"id":"Q1745901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$24822377-CB56-42E6-92B8-1AC25B86948D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a783e0287883b68fa212a38e520ab3ce242c015","datavalue":{"value":{"entity-type":"item","numeric-id":396960,"id":"Q396960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$D9CCEE41-EF7B-47F3-94A7-C48C5A9D0886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b7eced053de1f14f1e8f5dd6ed91a27ebea1d0","datavalue":{"value":{"entity-type":"item","numeric-id":391429,"id":"Q391429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$2F70B7E6-DE8D-4108-9858-0FEDFE94D599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50b5d2fd7b9bb1c9a40ed26912c577529c27ee9a","datavalue":{"value":{"entity-type":"item","numeric-id":2973215,"id":"Q2973215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$2627393F-B3ED-474C-9AF4-E9ECCFFFE31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1360706626b3c31ebbd738530c27b5514e053277","datavalue":{"value":{"entity-type":"item","numeric-id":5717773,"id":"Q5717773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$473C3D4E-9351-41DC-87C9-11F706FDEABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d9bc990b5c0b577b1e0c08847e484518183947","datavalue":{"value":{"entity-type":"item","numeric-id":4977555,"id":"Q4977555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$42E06231-D983-4C9E-9B16-23CCF4B6BBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$8A357F50-C225-4625-A896-9CF7D94BE1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2919a6c0dde2d00f7d1b6c0cad90b37968b1ac","datavalue":{"value":{"entity-type":"item","numeric-id":4670353,"id":"Q4670353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$1BCDF684-F8FD-4239-BE15-5D35B076ED04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2952ac915f2cca31818fefbfaf85498ff6aa1f","datavalue":{"value":{"entity-type":"item","numeric-id":4913764,"id":"Q4913764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$D53C97E6-64F4-4B9A-B423-C9B70C209C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505eacab685ee7eca673b649524dec0e4712be7b","datavalue":{"value":{"entity-type":"item","numeric-id":1014285,"id":"Q1014285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$205A9315-0E1D-4F5B-A2F8-86257DF12F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2072feab5883182c99b295e119a3cf91c6b65ca","datavalue":{"value":{"entity-type":"item","numeric-id":5279893,"id":"Q5279893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$E2E393A4-8A7F-4C3C-A52A-A57D492EAD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e992fdac545c09ed0723ce6c4b81879caf7dd9f","datavalue":{"value":{"entity-type":"item","numeric-id":4670356,"id":"Q4670356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$742B8E79-8BBA-4F9F-9F38-DE7EA0376D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76988eeb330b74201f9a4ad033a0fa0935f14c68","datavalue":{"value":{"entity-type":"item","numeric-id":3496337,"id":"Q3496337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$4C8CC708-5252-48A8-A432-0BF286475642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ef8fac80d379bd80260f843138869332bd9384","datavalue":{"value":{"entity-type":"item","numeric-id":3549563,"id":"Q3549563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$64FE13A1-8BDC-4520-B6BF-06CAF2C923BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a3294d06143708480fc9b8c7aa87db85ba39967","datavalue":{"value":{"entity-type":"item","numeric-id":2884007,"id":"Q2884007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$83994791-FB15-4692-AE0F-AEFD29DAE237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c27e95920722006b35feb8247f4399d569c7532","datavalue":{"value":{"entity-type":"item","numeric-id":3583801,"id":"Q3583801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$421920CB-232F-4590-BB6A-7A718558C2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f295e7ff1351709dd7ac59c0bf9a79c555515647","datavalue":{"value":{"entity-type":"item","numeric-id":5485333,"id":"Q5485333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$749CA566-0714-46C1-9C72-F6796E670D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f7e1e2d97a4f6d7ec30ad153934802c1e9cceef","datavalue":{"value":{"entity-type":"item","numeric-id":426921,"id":"Q426921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$881D79F6-B7BC-428A-9BAF-B1451155ADAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dcfd81736df900843283409e617fcbc4070d10d","datavalue":{"value":{"entity-type":"item","numeric-id":408542,"id":"Q408542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$931F5689-46F5-4213-BC3A-524634AED3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"decc6afb7880f0f78ae07205d7e2c66e6a6c1d38","datavalue":{"value":{"entity-type":"item","numeric-id":727977,"id":"Q727977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$988D736B-5234-4A26-A837-613E7DF31EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddda8fccef5d9ba1a7c730a5d3f441afc72a71d6","datavalue":{"value":{"entity-type":"item","numeric-id":4601892,"id":"Q4601892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$7A25E784-1171-4F4D-B30A-DE11D346424C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50675d80dc6312b94a500549b4e06e58043f00cf","datavalue":{"value":{"entity-type":"item","numeric-id":5300586,"id":"Q5300586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$109458E8-72D3-4EB2-AA6A-DFD442814A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f28e6ac180fbb12c5e7eede9b680e1ad565b929","datavalue":{"value":{"entity-type":"item","numeric-id":2789550,"id":"Q2789550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$19E6119B-E698-455D-A85A-8A23BED347A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ddb8400e0e4fe44c62fc549cdf01587605b639","datavalue":{"value":{"entity-type":"item","numeric-id":5398332,"id":"Q5398332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$5A25DAEA-CC38-4C58-ABCD-965F0F3BB4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b84581b07e17601c708bcb205ed3d42afae6000","datavalue":{"value":{"entity-type":"item","numeric-id":5371959,"id":"Q5371959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$9B0CEFB9-4DB1-4E51-916D-2E3F4651232E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d85c8274f323be4e02f54bdd4aeb2fe3747279d","datavalue":{"value":{"entity-type":"item","numeric-id":3656767,"id":"Q3656767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$9DD7E66A-0E34-4163-9450-D971E024FD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58e490830422733799ff095386c99de6c58ddee7","datavalue":{"value":{"entity-type":"item","numeric-id":4344226,"id":"Q4344226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$63754492-955C-436B-9440-56957941CBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e022a9aea9657fd3c0ad2ce8ab7a082905772c","datavalue":{"value":{"entity-type":"item","numeric-id":1944777,"id":"Q1944777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$87E3B671-B70D-45A1-864A-C3A4B9030AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7593dec941b14d5328631b2776c1291287766ecc","datavalue":{"value":{"entity-type":"item","numeric-id":727973,"id":"Q727973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$5315135B-DF29-40BC-9969-A82165B32844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f15985f160d464bb9306c6d11694bcc530d09e38","datavalue":{"value":{"entity-type":"item","numeric-id":2834337,"id":"Q2834337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$6367D7AA-EB0B-44D6-B2C2-8205882FFEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1fc4101531f896a0900ec940b64360c766aaea0","datavalue":{"value":{"entity-type":"item","numeric-id":4705331,"id":"Q4705331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$79FB92C9-E0E1-4C70-837D-7DE9D1EFF288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad909d8578ecd7d69f4c903af79373c9751b6780","datavalue":{"value":{"entity-type":"item","numeric-id":5448306,"id":"Q5448306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$FDCD5044-C55D-4779-901B-0A47187790BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"becbade5ee70d5880743d40745123d93a925414e","datavalue":{"value":{"entity-type":"item","numeric-id":4452853,"id":"Q4452853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$CB55665A-F9CC-402E-9AF9-7002E9E30D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47195668a8e034aabd63830883767aa2b0530745","datavalue":{"value":{"entity-type":"item","numeric-id":4345363,"id":"Q4345363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$449EB3F7-B0A6-43CB-8902-DB04D09C8AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f69517e2ba8832b89f057b3828426d22f4370af","datavalue":{"value":{"entity-type":"item","numeric-id":4372920,"id":"Q4372920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706116$2F96B8C1-6421-4D0D-8A7D-484B31012F8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6edf17ee8bcb9483366e4ab3243c8a402a1bda17","datavalue":{"value":"10.1016/J.DAM.2017.12.042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706116$212158C9-C24E-469D-B609-2FEDF81795B9","rank":"normal"}],"P1643":[{"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":"d681aaf7a76a7a241a1bba7457e0b562899c6387","datavalue":{"value":{"amount":"+0.9107013","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":"Q1706116$12788F26-1817-4131-915A-7CE9BF9586AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a47687c87be237844a1c45b9e203ce13fb881d4","datavalue":{"value":{"entity-type":"item","numeric-id":5074776,"id":"Q5074776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85545d05c682f6a5ec0ff67c94180065527aa37d","datavalue":{"value":{"amount":"+0.8693386","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":"Q1706116$C77C3983-4EDF-4237-A935-C9F529578950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a49235c79a7298e75864c1abf108d4f0b508e4e","datavalue":{"value":{"entity-type":"item","numeric-id":4800135,"id":"Q4800135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db37b4d290dfbdade36ed3d22ef57eff42d23e6","datavalue":{"value":{"amount":"+0.8629494","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":"Q1706116$B63C98D7-A892-4FAF-8DFE-90F81F0B7555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f105925f5ee941cb243ac7c604b53771672e05c8","datavalue":{"value":{"entity-type":"item","numeric-id":3453110,"id":"Q3453110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67dc189ae9df719bac591463abd5fd5a24d0a11e","datavalue":{"value":{"amount":"+0.8626219","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":"Q1706116$C7C76F65-4497-49E6-9F6A-076E6922E58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee025cfff4cfec5f73ae7c744a26167524c6a856","datavalue":{"value":{"entity-type":"item","numeric-id":5210975,"id":"Q5210975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0733430ba631be4a4dddd23962929e1a880c5ece","datavalue":{"value":{"amount":"+0.8534867","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":"Q1706116$D0DC572E-7C9E-4A99-A295-E24B89856F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a1322880d7b7a118dce8988908c0fa38c3d7f90","datavalue":{"value":{"entity-type":"item","numeric-id":1318841,"id":"Q1318841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f2afaca732c30aa73a4ea935e4d40cb064667d","datavalue":{"value":{"amount":"+0.83212304","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":"Q1706116$DBD461BB-D7C2-402C-8BA1-75CF59275E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe9464681c009a49d141a270674d4fd76c40df6","datavalue":{"value":{"entity-type":"item","numeric-id":4664682,"id":"Q4664682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71dd6d5abad8130c2a5248b74e36abdfdb8b6f2b","datavalue":{"value":{"amount":"+0.82565224","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":"Q1706116$15F74BDB-51C4-4BA3-9FC6-E5907BE5DE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e63cb8a1491aa1e25d825482225f0ab4aca8c2ee","datavalue":{"value":{"entity-type":"item","numeric-id":3826385,"id":"Q3826385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41a9b9fa88f9452d8a151d2b51039603336d19e2","datavalue":{"value":{"amount":"+0.82229894","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":"Q1706116$DEAA71AC-5C1E-4073-9F3E-F2096EA69E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2686996afcec86609c00789b16d90c41180a0e7e","datavalue":{"value":{"entity-type":"item","numeric-id":2910938,"id":"Q2910938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df46f22f24304611660ce4a3317d740efb898d4","datavalue":{"value":{"amount":"+0.81979007","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":"Q1706116$7A91C44C-8016-45A9-9898-17FE5DB3FED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae50feb558df77f83c597fd9b9051275dfd7684","datavalue":{"value":{"entity-type":"item","numeric-id":5472206,"id":"Q5472206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8bccd2562763c399a18b2aef175376add1a7f70","datavalue":{"value":{"amount":"+0.8166107","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":"Q1706116$83CEF473-5A6B-4EF1-869E-200DE81339B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Enumerating lambda terms by weighted length of their de Bruijn representation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Enumerating_lambda_terms_by_weighted_length_of_their_de_Bruijn_representation"}}}}}