{"entities":{"Q5170720":{"pageid":7200292,"ns":120,"title":"Item:Q5170720","lastrevid":52047098,"modified":"2026-01-20T20:08:24Z","type":"item","id":"Q5170720","labels":{"en":{"language":"en","value":"How many numbers can a lambda-term contain?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6320269"}},"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":"Q5170720$2751F1FE-1562-4323-96B4-8C8183D453C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"991ac8df881087e3d1a812f9233c40babc93f41d","datavalue":{"value":{"text":"How Many Numbers Can a Lambda-Term Contain?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170720$987EC95E-92B1-4643-AA81-7ADFD8691A30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b4b5f1eac158c11040419a7a7fbd1170e69ac24","datavalue":{"value":"1416.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170720$459C66D3-31F2-45A2-A874-9F6CF2FE8DBF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"511ad4481f4872e819292b36ff8a9e21baa548ad","datavalue":{"value":"10.1007/978-3-319-07151-0_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170720$9D275153-A0C7-4BFE-98A7-CEDBA5B925BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40f8cdd386691c1fea5e73df605fd6f51a4e84c6","datavalue":{"value":{"entity-type":"item","numeric-id":894454,"id":"Q894454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170720$A5D03D95-E0DF-4548-8414-CD69573ED9C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170720$C13D8380-C714-4103-B4D5-C35A2C417D45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62d5b6bdf672ccc34d428067b7e9172e5c9711cb","datavalue":{"value":{"time":"+2014-07-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":"Q5170720$8172E4AA-543A-481D-80CF-41ED18EA5201","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170720$80D8009A-76FD-44AA-99E1-CF77DFAF92F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f105d93793923f2bb85f88bef6bead49f00900b5","datavalue":{"value":"6320269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170720$4B39D04E-E89D-4963-86AF-62761D82E5A0","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":"Q5170720$3A6E81C1-1157-4E55-A0BF-ECF294880A33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c1e62b0ea0d3d6f9908d0373e275aa38c484106","datavalue":{"value":"https://doi.org/10.1007/978-3-319-07151-0_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170720$A2DF8555-0FEE-4256-88AF-E7A4F07EC50B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6339dd6428d2754be76eb980c4ebe9155e61530","datavalue":{"value":"W2260782165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170720$96D0331E-3C40-4FCA-A73A-9E546CF1BCF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27185be08809f27f126b54c62d90cb9f57aa2c33","datavalue":{"value":{"entity-type":"item","numeric-id":5371970,"id":"Q5371970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4f767ccd06f86b74cbb5487074a8a36f72e6412","datavalue":{"value":{"amount":"+0.9268415570259094","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":"Q5170720$76E648A2-3115-4283-B53B-69F5CF5E4765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02da89f4a0fe91e9ef5b801448543c2f1fc999b1","datavalue":{"value":{"entity-type":"item","numeric-id":4032312,"id":"Q4032312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d39c973b900d232032652a7887b6cdd65642f6d","datavalue":{"value":{"amount":"+0.7380017042160034","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":"Q5170720$4D0342EB-18CE-42D8-8249-3A0E2EEDF9E9","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":"ace3b647c99b0d6db6c37bbebd55991d03facec9","datavalue":{"value":{"amount":"+0.7348728775978088","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":"Q5170720$0DF21CA7-B30B-453A-8378-361CE4134E99","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":"ebd356cec1d6e7919efb42751b10fefd64a3f016","datavalue":{"value":{"amount":"+0.7335140705108643","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":"Q5170720$E344B7A7-E6BA-45EB-82E3-6D746051BBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91441d9438f800049a77dbf5f5e1276d73874239","datavalue":{"value":{"entity-type":"item","numeric-id":4522149,"id":"Q4522149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3f9d7fd317f51436d0292706157fd8b554cf113","datavalue":{"value":{"amount":"+0.7286386489868164","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":"Q5170720$10DE27C1-88F0-452B-9E08-A483FDAD902B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5170720","badges":[]}}}}}