@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:ISP_Formal_Verification_Tool	dbo:wikiPageWikiLink	dbr:OpenMPI .
dbr:Prelink	dbo:wikiPageWikiLink	dbr:OpenMPI .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:OpenMPI	owl:sameAs	dbr:OpenMPI ;
	dbo:wikiPageWikiLink	dbr:Open_MPI ;
	dbo:wikiPageRedirects	dbr:Open_MPI .