Skip to content
ontologydriven
Sign out

Dictionary

Words, grammatical forms and meanings linked to the ontology.

Kruskal's tree theorem en · PROPN

Etymology

The theorem was conjectured by Andrew Vázsonyi and proved by Joseph Kruskal (1960).

Meanings

  1. A theorem stating that the set of finite trees over a well-quasi-ordered set of labels is itself well-quasi-ordered under homeomorphic embedding.

Relateds

TREE