{"entities":{"Q2789550":{"pageid":2800288,"ns":120,"title":"Item:Q2789550","lastrevid":83258213,"modified":"2026-05-07T06:54:02Z","type":"item","id":"Q2789550","labels":{"en":{"language":"en","value":"Counting terms in the binary lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6547936"}},"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":"Q2789550$0058B4E7-6563-4700-A38E-8F12AA43BBEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64b18ed54e3f1c3fe507a8b811d895708b23337f","datavalue":{"value":"1352.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789550$1EC52502-0656-40E9-B2EF-8887F3A88712","rank":"normal"}],"P16":[{"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":"Q2789550$B1746329-4761-4B55-9868-BB8DDC7E8BA1","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":"Q2789550$605EA48C-0056-4DDC-A677-1B450653F100","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40a47289abfd31f69fe37ba4c6b3070ad16edf97","datavalue":{"value":{"time":"+2016-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2789550$C0668635-9DFA-4688-9064-F064E2BC5374","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9842a6a598bdf3f72648779183c51b108e7da9a6","datavalue":{"value":"https://arxiv.org/abs/1401.0379","type":"string"},"datatype":"url"},"type":"statement","id":"Q2789550$F4081CE8-CF77-41B7-A0DA-663F72E278FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec5022724057e0b2746cbf3d258f568bc96b4050","datavalue":{"value":"https://hal.inria.fr/hal-01077251v2/document","type":"string"},"datatype":"url"},"type":"statement","id":"Q2789550$3F2DF611-E4D5-45C6-AF00-CCF349EC2219","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789550$311D9282-8E1A-4EEA-B080-8CD0105CC14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789550$EECF5B12-9AAD-47E2-8B2E-E373CDE79512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789550$D4ACA8DA-4ED9-45AA-8403-480EFF60D8A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf2aff1a476e4d6963e2e42ed3a5eea3f5190977","datavalue":{"value":"6547936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789550$F9B062ED-E839-4BA6-A7D0-6E05408BCAA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2789550$9DDCB4BF-49A3-4EC2-A7E5-930182AD4455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"459ffded74521c7177e183238b11e0b004784b7c","datavalue":{"value":"combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2789550$0E3E1637-B2EF-40DF-A114-FE37EE380153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2789550$4F4D9A47-9562-4B3D-9436-72DD94AC6305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c16444795064370b8a53c511750702b14ec356a","datavalue":{"value":"test","type":"string"},"datatype":"string"},"type":"statement","id":"Q2789550$B2A9B492-7D0F-4CBB-A588-E45FD0EF7605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304eaec3a36d9676f8a1c277abce52f3d0735686","datavalue":{"value":"random generator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2789550$FAD98B10-59A9-4488-8D48-C4256C3E008F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4df73210227f5dfce7acc604ba8e77684da5f9d","datavalue":{"value":"ranking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2789550$8E9AA57D-35CC-41B6-AE05-CB4F989A9044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12f402dde6dae81ce28cca4f1a0868ba4448a8db","datavalue":{"value":"unranking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2789550$13CE50D7-14DE-4D37-B310-9D8730F818DB","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":"Q2789550$ADA521EC-72B3-43AA-A0F1-BE8FFE004A61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28e12e1aeb3ad4ccf509fcdc50e79694a465520a","datavalue":{"value":{"text":"Counting terms in the binary lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2789550$35A64276-35FE-4E37-80E2-7DE28EC8A49F","rank":"normal"}],"P1643":[{"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":"17e899892c85ca3fbc2d7dcfdf29e20b5539c2ef","datavalue":{"value":{"amount":"+0.9496476650238036","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":"Q2789550$9CC63A90-1E1F-40E1-8196-4A16AFDE7863","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":"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":"Q2789550$BC6284C3-33F0-4C4C-9B08-6017C4AFEBC3","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":"92f9134d8f388e2f11cf69605ba9c91a0a1266dc","datavalue":{"value":{"amount":"+0.869006335735321","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":"Q2789550$0AD7D422-7C0E-4D14-8D43-D2EC886BA2D0","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":"ef2cda75f8e903e2ef3851acab864d8a31b710d1","datavalue":{"value":{"amount":"+0.8267397880554199","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":"Q2789550$EABDB993-3DF9-433E-846F-8661CDECCFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a256567501ac2eb6a7ede02e6becffafe9839463","datavalue":{"value":{"entity-type":"item","numeric-id":5448306,"id":"Q5448306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1635d87abd8dfdc1d27261c86eefe0932118a654","datavalue":{"value":{"amount":"+0.8058523535728455","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":"Q2789550$4A3AF8C2-F85A-4EC3-843E-6F0CE4F47345","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counting terms in the binary lambda calculus","badges":[]}}}}}