{"entities":{"Q5210975":{"pageid":7240546,"ns":120,"title":"Item:Q5210975","lastrevid":91832666,"modified":"2026-06-05T00:11:12Z","type":"item","id":"Q5210975","labels":{"en":{"language":"en","value":"Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7152755"}},"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":"Q5210975$187A926C-C876-4B6A-99FA-519B3F2FD142","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c0ab89ed2dfed08ad21b23180f277f6be584670","datavalue":{"value":"1431.05014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210975$0CA6E582-00CB-4068-A361-2DCA59A67F03","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":"Q5210975$E4E17735-765B-4015-8D9B-ACA1761B524D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d6023efcefa14de7ea6a76cee39bfbf2e6727b6","datavalue":{"value":{"entity-type":"item","numeric-id":2088691,"id":"Q2088691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210975$D9120B8B-0AAD-4748-981F-9B747481E394","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a6a5b5fdeb4bedfada8cbabb8db67346705498a","datavalue":{"value":{"time":"+2020-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5210975$FD3A6C6B-7F5D-4188-A0C6-7C032CA60C2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5115a3590024fb0bd9f2da303944902b90594cac","datavalue":{"value":"https://arxiv.org/abs/1903.05243","type":"string"},"datatype":"url"},"type":"statement","id":"Q5210975$E7EB3116-98BB-44D9-8F04-DCD419887954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"672eba5d95c5cd15224e91e390d7d2309a07668c","datavalue":{"value":"https://www.combinatorics.org/ojs/index.php/eljc/article/view/v26i4p47","type":"string"},"datatype":"url"},"type":"statement","id":"Q5210975$EFF5E7CD-4EFD-4985-8800-0D41D1CB89A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b85c221f9847adc30512692a640a50dd4e3d1cb","datavalue":{"value":"05A16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210975$010FC6C1-75F7-4FD4-8001-BD2496A16A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de0493fc6f7fe4361a54e7c2f5546e4ec52adf0","datavalue":{"value":"05C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210975$4E034984-08DE-41CC-986E-F8004DC6D9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06501b652e368cc105ad78a5eac217e38c314cda","datavalue":{"value":"60F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210975$A5A01D95-608F-49F4-9BDF-EA99F46486A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6c3978772257ddf3488fe076d71ab93b50a61bd","datavalue":{"value":"7152755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210975$5DBAED8D-40F3-40EB-A348-92784942AB39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59e7cb4b39fce9bb2395286f3b9196de9dd3a066","datavalue":{"value":"lambda-terms with a bounded number of De Bruijn levels","type":"string"},"datatype":"string"},"type":"statement","id":"Q5210975$68C1D84A-656A-4DC5-836D-91B66E8A545A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98ac886dcb1221f2e34cbdccac2ea17b881e9052","datavalue":{"value":"lambda-terms with a bounded De Bruijn index","type":"string"},"datatype":"string"},"type":"statement","id":"Q5210975$5277BCE3-179F-4E76-9175-ECF8514E8363","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":"Q5210975$B748DA87-9E76-47B5-93D3-EFFAB9E55B11","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":"Q5210975$233F98CC-AEDC-4145-9C06-78F0AFBBA78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"542f8bcb14083ba08541cb6ad7e40ab35a2fc36b","datavalue":{"value":{"entity-type":"item","numeric-id":5195109,"id":"Q5195109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210975$EBEB0915-91B6-4A68-97C9-517D84074670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3568179c32fdca287c2b4ad516835f0eacc008f2","datavalue":{"value":{"entity-type":"item","numeric-id":4555458,"id":"Q4555458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210975$D69FD129-500B-4AEA-A3D6-540B584ED0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23d3c9ac1cb0706a0013fcafa27e3cbeb0a54511","datavalue":{"value":{"entity-type":"item","numeric-id":4603430,"id":"Q4603430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210975$07900B0F-2319-4B9F-9774-31CD97F17F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9bede3f4443490f4a218c9ed8aef1d95b3244d3","datavalue":{"value":{"entity-type":"item","numeric-id":3133193,"id":"Q3133193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210975$EE5F5FFB-2114-4F6E-9E07-653C4537C7C4","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":"Q5210975$9ED9B856-8328-419B-B6C3-09D6D0B3DB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8be9e405b66250551af62b1aff8084b733ee11","datavalue":{"value":{"entity-type":"item","numeric-id":5194688,"id":"Q5194688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210975$CFE9CDB7-81A0-4C77-8523-C18760582BF0","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":"Q5210975$B89A3E1D-A2BA-4C40-9A93-33C4176B81F6","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":"Q5210975$F0ACB978-C65F-4519-A82E-9DADDC81DBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c95f88b4babbea24c23f616b328f1f6b3b7853e","datavalue":{"value":{"entity-type":"item","numeric-id":5194754,"id":"Q5194754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210975$E21E2EFD-CE7A-4D9C-942E-352DAC25EA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d960ad1ff9fb11185a4dad7572b16ac41a39d35","datavalue":{"value":{"entity-type":"item","numeric-id":1706116,"id":"Q1706116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210975$0647A3AB-CE87-4CAE-9223-9804FB78C902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b0d6cc7aea48f7239578592d968788220715c11","datavalue":{"value":{"entity-type":"item","numeric-id":2959895,"id":"Q2959895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210975$F1E9FF40-460C-4F0F-A3CE-D8BBBB38DE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"befa2ab9e42579d316b1db7dc9e47ec4dd737815","datavalue":{"value":{"entity-type":"item","numeric-id":1671157,"id":"Q1671157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210975$598EFF47-CDEA-43F6-8305-C22C023E1712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210975$425F37FF-B862-4E04-B5F2-1B30F4BD97DE","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":"Q5210975$8B5DF530-E68D-46F2-9762-44EC74BD0C39","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":"Q5210975$B13A2242-EF83-49E5-BB62-CDDFADE83CED","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":"Q5210975$8ED5229B-3DAD-43E4-8C3D-6209E5B63695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a07f0f080533998bb773125dec29b580d75490c","datavalue":{"value":{"entity-type":"item","numeric-id":5194612,"id":"Q5194612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210975$073B0B38-AFAE-4717-A0CE-EA037C08BE75","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":"Q5210975$8B2B47EB-9AEB-472E-A91C-9828AA656D25","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":"Q5210975$5DD3663E-4626-47DC-9BA3-0A2C3F9AF0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359575db54845453a4a339108e0033b3d139ef29","datavalue":{"value":{"entity-type":"item","numeric-id":4993547,"id":"Q4993547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210975$6586B715-AED1-4313-BF91-059FC5BC4EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a1bb5311ed42b564a9cb9d6d979bf4b345ba1b","datavalue":{"value":{"entity-type":"item","numeric-id":5224690,"id":"Q5224690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210975$DC9ABEE7-2B04-4DEF-BF61-B001A759EED9","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":"Q5210975$36A3D0E5-BBBD-4F07-A5CF-D9968967B6A0","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":"Q5210975$380D285D-E532-4030-A37A-603685EF4669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb4376d02e6980f8751fdbbe7122c9d2965efe18","datavalue":{"value":{"entity-type":"item","numeric-id":4217597,"id":"Q4217597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210975$3F8B7463-E7F9-4186-82BD-08787A027698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96a212d94041651846427629c9da54a7590a399e","datavalue":{"value":{"entity-type":"item","numeric-id":1266390,"id":"Q1266390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210975$A47AFE95-E2B5-40C7-85B2-43E2B14B1658","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":"Q5210975$056635BE-3128-4593-94BE-18F7B3F67EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8bd8c1433b334d5563b2f966c5aedcaf2ada96d","datavalue":{"value":{"entity-type":"item","numeric-id":4526148,"id":"Q4526148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210975$8C799E37-1079-4FB7-8C7A-7911EEA4E58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c81b131d03aa06a197356fdb2709864a0ec93b8","datavalue":{"value":{"entity-type":"item","numeric-id":2988360,"id":"Q2988360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210975$20B1149B-F825-4F27-A950-DD8245C74715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6207e5d62d3bca9cc63559ddc081b2f00fac7bd2","datavalue":{"value":{"entity-type":"item","numeric-id":2409739,"id":"Q2409739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210975$09E51697-D75C-4282-92E5-7DCF827A3A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"253e202097eb04d53b6255a0067675cd0192bfda","datavalue":{"value":{"entity-type":"item","numeric-id":5371978,"id":"Q5371978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210975$682378BD-461B-453A-9EAC-AA337B004EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359eca2e90f6b111159ca12a6325d0a82b11ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":3196354,"id":"Q3196354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210975$46B273D1-4623-4C20-9B8D-FAA0F9E54D89","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"7661ad797276920a3456c3139c9320df42b11e45","datavalue":{"value":"bafkreif2ji7avqnxkp2i3rsmrpzxpmilex4manq2gjffb2bddfl5tit7mq","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210975$61095E9A-E696-4685-9EE0-44DD99B28C04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f9ed16e69f20ff75a40558f74eb3063da908514","datavalue":{"value":{"entity-type":"item","numeric-id":4993547,"id":"Q4993547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69b3a1bf97b639dbb51341c68df6b7caafb960b2","datavalue":{"value":{"amount":"+0.9096071720123292","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":"Q5210975$3A2BAECD-EFD2-436D-A6DD-89134EF7DEDF","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":"0b2f99704f851f70a1771370ed9d5b74d7e1e6d1","datavalue":{"value":{"amount":"+0.8551622033119202","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":"Q5210975$0A9925A6-195F-47CA-AD27-C842AF0FA88A","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":"78b1b2fd5fdaa082db8ba69fbe0019d0ef17b0de","datavalue":{"value":{"amount":"+0.8038939237594604","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":"Q5210975$FAA77156-5914-4F87-AE7C-03059C2BDA8A","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":"a3d478b950b9f7e396e2efa94c9255952858cd25","datavalue":{"value":{"amount":"+0.8033494353294373","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":"Q5210975$A3387834-53B5-456C-85D3-4FF4556D7218","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":"caeb1aae3830ac8daa1e52a8fdc2e46bf7316e16","datavalue":{"value":{"amount":"+0.7941293120384216","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":"Q5210975$9D8ECB79-BAE5-4A23-8F00-E57323FB1E92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Distribution_of_variables_in_lambda-terms_with_restrictions_on_De_Bruijn_indices_and_De_Bruijn_levels"}}}}}