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