@prefix dbpprop:	<http://dbpedia.org/property/> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
dbpedia:Richard_Borcherds	dbpprop:erdosNumber	dbpedia:Erdos_number .
<http://dbpedia.org/resource/Thomas_M._Cover>	dbpprop:erdosNumber	dbpedia:Erdos_number .
dbpedia:Erdos_number	dbpprop:redirect	<http://dbpedia.org/resource/Erd%C5%91s_number> .