http://dbpedia.org/resource/Robert_Laver

data from the linked data cloud