{"entities":{"Q5371959":{"pageid":7401533,"ns":120,"title":"Item:Q5371959","lastrevid":58537260,"modified":"2026-04-05T15:54:11Z","type":"item","id":"Q5371959","labels":{"en":{"language":"en","value":"Counting and generating terms in the binary lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6796902"}},"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":"Q5371959$B091450C-BED2-4DE0-9C23-BE29333027CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"565a38e2e65a8cb495b80e2b857edf955c3ee205","datavalue":{"value":{"text":"Counting and generating terms in the binary lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5371959$0DDE492A-591A-4BCF-8D21-937F7471191C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb9fef17cf907a386c22cb9f97259b86703f3309","datavalue":{"value":"1419.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371959$59217D71-E181-4264-B3A5-CBBAEDFA889C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"283093ec45c9d95d56f9330343ee372ad80cf3f0","datavalue":{"value":"10.1017/S0956796815000271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371959$49F25EC3-DAA5-4082-916A-30BDD05E6289","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":"Q5371959$CA501A1D-F9BA-4A89-8469-EAF223F0752B","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":"Q5371959$01A23C40-EC9D-4177-AF9D-F0764613F447","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371959$E89FD993-8CF1-46ED-8813-08120C33C61F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f19e547da68d1ccc9d6e22045cc7b4068d9919c0","datavalue":{"value":{"time":"+2017-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5371959$B606DE79-A578-4D57-B821-6517DECD1B8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36d56fed68bd2f92a2b2a47218e9884667c3813d","datavalue":{"value":"https://arxiv.org/abs/1511.05334","type":"string"},"datatype":"url"},"type":"statement","id":"Q5371959$FE19A26E-95BF-4EF5-85A1-07EEDEE60D2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371959$8B252DCF-EA37-4095-9992-E15B442F1AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371959$67A95648-F34B-4222-8968-F20C5E24083A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371959$4B5EC787-24C0-4513-80EB-F9A64C72975E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0c446b401f4a4661c6b0a51316233f20c5db7d3","datavalue":{"value":"6796902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371959$7417455B-A600-42E2-9AC4-D4448EC31044","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371959$05325407-80C4-428C-A6D6-CA165E510BC8","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":"Q5371959$4F846847-B084-4910-BAE8-E7F11F22208E","rank":"normal"}],"P223":[{"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":"Q5371959$DE75172A-872E-40DB-91C9-9F75E7D227F3","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":"Q5371959$D501895D-D637-4FD8-94D1-729391892F55","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":"Q5371959$1398BD44-D7F2-423F-8FE2-6A7257CE4085","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":"Q5371959$553D883E-22DE-4E63-8C88-A650CDB74B9A","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":"Q5371959$3025C4E9-E82A-4D34-A70E-4D3EC19B9C5C","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":"Q5371959$6E201667-7424-4897-A050-3111A63DC16D","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":"Q5371959$1FD4A1E8-173C-42DD-A560-1F31EF62AB65","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":"Q5371959$DBEBACF2-FD3C-4C6B-9E71-6A922AAF32F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd22f0cc6d347d0883b044bb9468db1ab7dd5a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4346206,"id":"Q4346206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371959$DFC290C8-2135-4291-851F-42975D64F0A1","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":"Q5371959$7E5E2859-F937-41C4-A58C-19AA3941A423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad1299f57f214c4c9659c7db19e25c6d0461799","datavalue":{"value":{"entity-type":"item","numeric-id":5900062,"id":"Q5900062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371959$3A9C105E-74B1-47BE-AD7A-B0B5F6427229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a68b278d1d7921c4ec43cd10b555619959a9023","datavalue":{"value":{"entity-type":"item","numeric-id":3932310,"id":"Q3932310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371959$42FC1FE1-FE69-4F56-9F0D-32BA9C2B9C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371959$A873BAFF-BAE6-4009-9EEA-A3813D2F0F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69fcce6a44af965cdbc113d4ce8c040baadcea7a","datavalue":{"value":{"entity-type":"item","numeric-id":3679220,"id":"Q3679220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371959$97F1B2A7-A311-486E-B427-5C22F950BA65","rank":"normal"}],"P1643":[{"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":"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":"Q5371959$EECE3F5A-ABE5-4785-AEA5-0125C4A7E305","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":"0f5314b3dcf5c62911000ae7fb12f36ddd7a6e16","datavalue":{"value":{"amount":"+0.9193333387374878","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":"Q5371959$8E08B37E-DB9A-4243-9AC0-F9727366B4BA","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":"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":"Q5371959$B7BD2DEB-35F3-4BEE-8623-E2275E767525","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":"cc08654cfb0e21250e351f8d38d0203b57fe6d6a","datavalue":{"value":{"amount":"+0.8673670291900635","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":"Q5371959$FDF68D53-84FA-4429-8DFB-343F16D5A199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f4c4289bc07fdbaf60858b8f8590841784e402","datavalue":{"value":{"entity-type":"item","numeric-id":5194688,"id":"Q5194688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ab3e71a93a656ef5a65749788f212435bf92708","datavalue":{"value":{"amount":"+0.838286817073822","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":"Q5371959$E0710D6C-1FAB-4028-810B-766F0DC60620","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5371959","badges":[]}}}}}