@prefix dbpprop:	<http://dbpedia.org/property/> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
<http://dbpedia.org/resource/Haskell_%28programming_language%29>	dbpprop:influenced	dbpedia:Isabelle_theorem_prover .
dbpedia:Isabelle_theorem_prover	dbpprop:redirect	<http://dbpedia.org/resource/Isabelle_%28theorem_prover%29> .