http://dbpedia.org/resource/Trichotomy_Conjecture
data from the linked data cloud