http://dbpedia.org/resource/Boone-Higman_theorem
data from the linked data cloud