@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:Kathleen_Fisher	dbo:wikiPageWikiLink	dbr:Formal_Methods .
<http://dbpedia.org/resource/Mark_Harman_(computer_scientist)>	dbo:wikiPageWikiLink	dbr:Formal_Methods .
dbr:IPsec	dbo:wikiPageWikiLink	dbr:Formal_Methods .
dbr:Guarded_Command_Language	dbo:wikiPageWikiLink	dbr:Formal_Methods .
<http://dbpedia.org/resource/Retrenchment_(computing)>	dbo:wikiPageWikiLink	dbr:Formal_Methods .
<http://dbpedia.org/resource/Laboratoire_d\u0027Informatique_de_Grenoble>	dbo:wikiPageWikiLink	dbr:Formal_Methods .
dbr:Andrew_Clive_Simpson	dbo:wikiPageWikiLink	dbr:Formal_Methods .
@prefix ns2:	<http://dbpedia.org/resource/PL/> .
ns2:I	dbo:wikiPageWikiLink	dbr:Formal_Methods .
dbr:Evert_Willem_Beth	dbo:wikiPageWikiLink	dbr:Formal_Methods .
<http://dbpedia.org/resource/Doron_A._Peled>	dbo:wikiPageWikiLink	dbr:Formal_Methods .
<http://dbpedia.org/resource/Ken_Robinson_(computer_scientist)>	dbo:wikiPageWikiLink	dbr:Formal_Methods .
dbr:Computational_criminology	dbo:wikiPageWikiLink	dbr:Formal_Methods .
dbr:Muffy_Calder	dbo:wikiPageWikiLink	dbr:Formal_Methods .
dbr:List_of_people_from_Sydney	dbo:wikiPageWikiLink	dbr:Formal_Methods .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Formal_Methods	owl:sameAs	dbr:Formal_Methods ;
	dbo:wikiPageWikiLink	dbr:Formal_methods ;
	dbo:wikiPageRedirects	dbr:Formal_methods .