{"entities":{"Q2958385":{"pageid":2969104,"ns":120,"title":"Item:Q2958385","lastrevid":85194914,"modified":"2026-06-03T06:14:02Z","type":"item","id":"Q2958385","labels":{"en":{"language":"en","value":"Expressibility in the lambda calculus with \\(\\mu\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6679825"}},"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":"Q2958385$6A7B497F-ADA0-4964-9FB5-F3786D6A6299","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e1bff734c6f157b39f2fbb584f09575bac22b1f","datavalue":{"value":"1356.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958385$C64BB3F2-FB09-46EE-8018-5BE94F77DDDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"226f031fbae3e27660d7d9a4703c5ba4b6d13509","datavalue":{"value":{"entity-type":"item","numeric-id":409314,"id":"Q409314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958385$39CB5832-5DF6-4883-A454-91E568812B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac6c8aedbd8435f80c439baf323109f528da0c14","datavalue":{"value":{"entity-type":"item","numeric-id":2819666,"id":"Q2819666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958385$1240414E-A369-43F2-80E0-9D007340C043","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9849d71e29537eeb70c12e6244018ee5a71fc837","datavalue":{"value":{"time":"+2017-02-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":"Q2958385$C7F8217C-7272-4870-8772-4469B5F88638","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e5e9a77e6e5a1b85695c01e3105275a508a40d3","datavalue":{"value":"https://arxiv.org/abs/1304.6284","type":"string"},"datatype":"url"},"type":"statement","id":"Q2958385$E93CBD3C-E3F8-4BCA-B26D-D1CE9C528823","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958385$E625FA28-E009-4EAB-9E33-6CDE6625F66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958385$F1F68BDA-1E2D-44C8-8486-FEB116B4F4B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb355986153c557bd7c56abd8c39a026b0db9488","datavalue":{"value":"6679825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958385$DE456A12-4294-4616-A18E-B73A4B372225","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958385$0F485A52-00E8-4D79-9F34-606FF3BD9784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95570521805d3232a9e0a4d382118999ea437a5d","datavalue":{"value":"lambda-calculus with letrec","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958385$C9D0A812-4C8B-4448-8209-4A9B9C57676E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2e391cabed8f7913d2b42ecdfbcde8c8de26c37","datavalue":{"value":"unfolding semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958385$33BCA1E5-EBDA-4526-98C8-A78ACF3A8AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f37a1d32fa9a84373b2e4a3979ab305cb544ce7b","datavalue":{"value":"regularity for infinite lambda-terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958385$96A0A95C-68AE-4C12-A381-04788C421EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7479604c59b0cb446be091db48422d842bba25a0","datavalue":{"value":"binding-capturing chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958385$EC67A177-D5A3-4191-8CDD-F18AD32B3F5E","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":"Q2958385$34F39467-D362-4B9C-8B55-5F925917BDC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98675b314771ff86a9268d81f29fb5dd83c063e2","datavalue":{"value":"10.4230/LIPICS.RTA.2013.206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958385$C6527F20-A420-4066-B28B-E9643005C098","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e76ab0295fc0467218a9f23e19a5b632991a5cc2","datavalue":{"value":{"entity-type":"item","numeric-id":1383145,"id":"Q1383145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eee942f27efb1c67081ad1bd0525555c57dc69ce","datavalue":{"value":{"amount":"+0.7419508695602417","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":"Q2958385$4BBA9CDB-427D-46A4-AB56-0CB15F7B8F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db0d8ca38a8240505d958b8e0e65b93a4ececb7f","datavalue":{"value":{"entity-type":"item","numeric-id":2819667,"id":"Q2819667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb7b1b84f0d958b30655351e8df878e2093a0a59","datavalue":{"value":{"amount":"+0.7275194525718689","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":"Q2958385$83415E40-53B9-4341-A2FD-A374628CE91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87ce453567755ea46448cee187e068fa4145be01","datavalue":{"value":{"entity-type":"item","numeric-id":4890393,"id":"Q4890393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d1ca134918df3f0ad85c679e2235a8cd4c2959f","datavalue":{"value":{"amount":"+0.7140081524848938","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":"Q2958385$85467413-9B6F-4C0D-A756-219595BD47AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"716097ce76445ff5dae18ad8efe9b23276673ab5","datavalue":{"value":{"entity-type":"item","numeric-id":3804171,"id":"Q3804171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b25f9b720f76f9f55b5284860128d4282d70b89","datavalue":{"value":{"amount":"+0.709054172039032","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":"Q2958385$39863D20-884B-4A42-9210-C45247CA2FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2f16b5b949416f005f34c01f700fef534201659","datavalue":{"value":{"entity-type":"item","numeric-id":3837724,"id":"Q3837724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d4f8d662249c9ed7bac73f09812bd076583d9c5","datavalue":{"value":{"amount":"+0.7047004103660583","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":"Q2958385$2A34EE09-C671-4997-AFD6-F6C8EC997CB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expressibility in the lambda calculus with \\(\\mu\\)","badges":[]}}}}}