@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:Frama-C	dbo:wikiPageWikiLink	dbr:Interactive_theorem_proving .
dbr:Proof_theory	dbo:wikiPageWikiLink	dbr:Interactive_theorem_proving .
dbr:Well-formed_formula	dbo:wikiPageWikiLink	dbr:Interactive_theorem_proving .
dbr:Formal_proof	dbo:wikiPageWikiLink	dbr:Interactive_theorem_proving .
dbr:Functional_programming	dbo:wikiPageWikiLink	dbr:Interactive_theorem_proving .
dbr:Automated_reasoning	dbo:wikiPageWikiLink	dbr:Interactive_theorem_proving .
dbr:Matita	dbo:wikiPageWikiLink	dbr:Interactive_theorem_proving .
dbr:Predicate_transformer_semantics	dbo:wikiPageWikiLink	dbr:Interactive_theorem_proving .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Interactive_theorem_proving	owl:sameAs	dbr:Interactive_theorem_proving ;
	dbo:wikiPageWikiLink	dbr:Proof_assistant ;
	dbo:wikiPageRedirects	dbr:Proof_assistant .
dbr:Tobias_Nipkow	dbo:wikiPageWikiLink	dbr:Interactive_theorem_proving .