@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:Word_problem_for_groups	dbo:wikiPageWikiLink	dbr:Partial_algorithm .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Partial_algorithm	owl:sameAs	dbr:Partial_algorithm ;
	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/Correctness_(computer_science)> ;
	dbo:wikiPageRedirects	<http://dbpedia.org/resource/Correctness_(computer_science)> .