http://dbpedia.org/resource/Kamp's_theorem

data from the linked data cloud