TREE函數、Kruskal樹定理(英語:Kruskal's tree theorem)是逆數學的突出示例。由安德魯·瓦茲尼(英语:Andrew Vázsonyi)推測並由約瑟夫·克魯斯卡爾證明。 已隱藏部分未翻譯内容,歡迎參與翻譯。 In mathematics, Kruskal's tree theorem
Aberer, A. J.; et al. Whole-genome analyses resolve early branches in the tree of life of modern birds. Science. 2014, 346 (6215): 1320–1331 [2021-04-25]
Muscicapoidea. Fossilworks. [2019-11-17]. (原始内容存档于2016-03-09). Muscicapoidea. Tree of Life Web Project. [2019-11-17]. (原始内容存档于2021-10-08). Oliveros, Carl H
http://tolweb.org/Passeriformes/15868/2013.02.06 (页面存档备份,存于互联网档案馆) in The Tree of Life Web Project, http://tolweb.org/[Accessed[永久失效連結] 2017/12/11]. Edwards