bn:02956809n
Noun Named Entity
Categories: Wellfoundedness, Theorems in discrete mathematics, Mathematical logic, Articles with short description, Order theory
EN
Kruskal's tree theorem  TREE  Kruskal's theorem  Kruskal theorem  Kruskal tree theorem
EN
In mathematics, Kruskal's tree theorem states that the set of finite trees over a well-quasi-ordered set of labels is itself well-quasi-ordered under homeomorphic embedding. Wikipedia
Definitions
Relations
Sources
EN
In mathematics, Kruskal's tree theorem states that the set of finite trees over a well-quasi-ordered set of labels is itself well-quasi-ordered under homeomorphic embedding. Wikipedia
Mathematical sentence Wikidata
IS A
NAMED AFTER
PROVED BY