{"entities":{"Q802559":{"pageid":804407,"ns":120,"title":"Item:Q802559","lastrevid":64488639,"modified":"2026-04-11T20:13:14Z","type":"item","id":"Q802559","labels":{"en":{"language":"en","value":"Two short proofs of Kemp's identity for rooted plane trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3891377"}},"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":"Q802559$F3AABBDE-17C7-42E8-8900-48E03763ED9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4c54e6ee6e31610563fa165e2e3cfa81412fe8a","datavalue":{"value":{"text":"Two short proofs of Kemp's identity for rooted plane trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q802559$534B3925-EBAA-4B0F-8F60-F741346ED9E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"422272255cff905862b486eb4438eccd07e558e5","datavalue":{"value":"0559.05007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802559$A5822064-C163-4F1D-85E7-B96E32901832","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c9551991096ec9a99e33dada7ad99dc06a0c375","datavalue":{"value":"10.1016/S0195-6698(84)80040-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802559$4A2B5E34-43DC-44C4-B603-03B0E81DAEFB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b113bc4ac7ed430093230b872c083cde59919509","datavalue":{"value":{"entity-type":"item","numeric-id":166287,"id":"Q166287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802559$FD757206-B9A2-45BD-BA4F-F220832621E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q802559$7A56028B-4715-44FF-BACB-18ADC15D00E9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"81b59fe3a329c1d44cf7908f5d65e78ed4d9bee2","datavalue":{"value":"For positive integers n,k,p let \\(b_{n,k,p}:=the\\) number of rooted plane trees with n nodes, height \\(\\leq k\\), and root-degree \\(=p\\); \\(q_{n,k,p}:=the\\) number of rooted plane trees with n nodes, height \\(=k\\), and exactly p nodes of maximal height. The identity: \\(q_{n,k,p}=b_{n+1,k,p+1}-b_{n+1,k,p}+b_{n,k,p-1}\\) is originally due to \\textit{R. Kemp} [Erwartungswerte charakteristischer Gr\u00f6\u00dfen in geordneten B\u00e4umen, Vortrag auf der Jahrestagung der DMV, Bayreuth, September, 1982], who asked for a ''combinatorial'' proof of it. Two such proofs ar given here, one of them using factorization and rearrangements of Dyck-words, the other one using the continued-fraction approach to enumeration-problems of that kind due to \\textit{Ph. Flajolet} [Discrete Math. 32, 125-161 (1980; Zbl 0445.05014)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q802559$2E3C23D9-FDA0-4209-A253-92AC34E3559A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe20c11270a022ced6b6a582d87c0ca73a689567","datavalue":{"value":"05A19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802559$98014840-ADBB-4CE2-BCDD-592F504BB9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de0493fc6f7fe4361a54e7c2f5546e4ec52adf0","datavalue":{"value":"05C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802559$1A5FAED2-BC93-438C-8FA0-D428B7A519E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802559$9E482D9E-5325-46C8-9907-1C1C85F1C5DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87c24eb8a8c0dc72ead570b56b509152fe03e5b8","datavalue":{"value":"3891377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802559$D7E43205-F9D5-408B-9A3F-8069B59F2AE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"561d1741ef675acd86d3bbdf245f4c227d40a463","datavalue":{"value":"tree enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q802559$D3F0D4D8-966F-4E6A-88AF-7DA1B9DAD1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf9b7454fdb6869aaacf9013cc1866939de4b4f9","datavalue":{"value":"Dyck-language","type":"string"},"datatype":"string"},"type":"statement","id":"Q802559$D0552E2B-780D-4E97-93DC-9082A9DB8FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb9e9e26954afdee8fb67e3c92e5a78ebaaaf499","datavalue":{"value":"bijective combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q802559$E5D8067E-198B-4394-B436-CFE28AEF1191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c086a2380f19ea30ba5a2cd844d190dd3ea8b86","datavalue":{"value":"continued- fraction method","type":"string"},"datatype":"string"},"type":"statement","id":"Q802559$03236268-6C9F-4D00-98C9-25F7E24989CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b726f0372ec5e19168fe69cd38e43d3ae8849282","datavalue":{"value":{"entity-type":"item","numeric-id":161508,"id":"Q161508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802559$F1878878-6735-4C34-BEE8-137BD3CBB254","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":"Q802559$D5B890B7-DB51-4517-AFF3-4565E5F5E209","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"78086d932c8459e7de00cebcf9a48175432b3809","datavalue":{"value":{"entity-type":"item","numeric-id":5659554,"id":"Q5659554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802559$E7463577-917C-45E1-A4EE-2B5F2E7B522A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9fce0d48b5758fbb9b79953def7348fcc6c444","datavalue":{"value":{"entity-type":"item","numeric-id":1145147,"id":"Q1145147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802559$6E13EF3F-6F23-48FF-B7AE-6C135D60FA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bcaf193795e4a1bbc7f8a3f4b3efd01642347a6","datavalue":{"value":{"entity-type":"item","numeric-id":1259601,"id":"Q1259601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802559$0A29B40A-7A12-40F6-876C-ADFF434F3EDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3f08a9bc1f5b6bd91eefbfdc3fc4aa6534ce397","datavalue":{"value":"https://doi.org/10.1016/s0195-6698(84)80040-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q802559$62451821-F411-4C0E-8AF2-F81EBA326ADA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c97fe573a15ea8fbc3e8e4c59880b6e71a2b87a","datavalue":{"value":"W2076979740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802559$0E27DC0E-AD50-48AD-9BBD-10F49856EE6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b1813fad373bc5312eabb7019a145e7e396f71a","datavalue":{"value":{"entity-type":"item","numeric-id":4949779,"id":"Q4949779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b772abc0ad68f4a9619d4af9bc3100ec9c7bd7c","datavalue":{"value":{"amount":"+0.7375139594078064","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":"Q802559$1462B08A-B37C-41D6-B5A7-AFADCF6DBF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fb6c717eec86de2e0241245fd67b2b7de79c274","datavalue":{"value":{"entity-type":"item","numeric-id":4552181,"id":"Q4552181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c09e7956b3c8551bcdf8cecb4645a20bc4afcc73","datavalue":{"value":{"amount":"+0.7335174679756165","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":"Q802559$34849170-92BC-445F-A4EA-B9C44964F6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b0053a1dc0aac6341973c512fd2b08c2af7b0e7","datavalue":{"value":{"entity-type":"item","numeric-id":2182187,"id":"Q2182187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3ce1c15911300348406bfdfde29d6a61965f15f","datavalue":{"value":{"amount":"+0.7286535501480103","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":"Q802559$C97448EC-7F33-473C-8147-BDC4195620EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cff87d413aae4be3f8cccd7c2b438fcb300c921c","datavalue":{"value":{"entity-type":"item","numeric-id":5605761,"id":"Q5605761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62027ccb2c0b0bd0392110f706bc36c870ed9c16","datavalue":{"value":{"amount":"+0.7264903783798218","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":"Q802559$E770CFF5-9CF0-49DF-88D8-3C81650D34E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"868df18becfbb45c9f10ec9cfa353215f6e0cdaf","datavalue":{"value":{"entity-type":"item","numeric-id":1773142,"id":"Q1773142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5e0697dcb4a1748359ed1fc5dd2aa9376ee296a","datavalue":{"value":{"amount":"+0.7258093357086182","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":"Q802559$36BDCDD1-05D4-4292-9BCB-A2C1B05C26B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two short proofs of Kemp's identity for rooted plane trees","badges":[]}}}}}