@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:Software_architecture	dbo:wikiPageWikiLink	dbr:Formal_method .
dbr:Type_system	dbo:wikiPageWikiLink	dbr:Formal_method .
dbr:B-Method	dbo:wikiPageWikiLink	dbr:Formal_method .
dbr:Mechatronics	dbo:wikiPageWikiLink	dbr:Formal_method .
dbr:Production_equipment_control	dbo:wikiPageWikiLink	dbr:Formal_method .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Formal_method	owl:sameAs	dbr:Formal_method ;
	dbo:wikiPageWikiLink	dbr:Formal_methods ;
	dbo:wikiPageRedirects	dbr:Formal_methods .
<http://dbpedia.org/resource/Refinement_(computing)>	dbo:wikiPageWikiLink	dbr:Formal_method .
dbr:Universal_Systems_Language	dbo:wikiPageWikiLink	dbr:Formal_method .
dbr:Computability_theory	dbo:wikiPageWikiLink	dbr:Formal_method .
dbr:Formal_language	dbo:wikiPageWikiLink	dbr:Formal_method .
dbr:Xavier_Leroy	dbo:wikiPageWikiLink	dbr:Formal_method .
<http://dbpedia.org/resource/Egon_B\u00F6rger>	dbo:wikiPageWikiLink	dbr:Formal_method .
dbr:Behavior_tree	dbo:wikiPageWikiLink	dbr:Formal_method .
dbr:Formal_science	dbo:wikiPageWikiLink	dbr:Formal_method .
dbr:IRT_Flushing_Line	dbo:wikiPageWikiLink	dbr:Formal_method .
dbr:IBM_Laboratory_Vienna	dbo:wikiPageWikiLink	dbr:Formal_method .
dbr:Formal_system	dbo:wikiPageWikiLink	dbr:Formal_method .
dbr:Digital_Live_Art	dbo:wikiPageWikiLink	dbr:Formal_method .
<http://dbpedia.org/resource/RCOS_(computer_sciences)>	dbo:wikiPageWikiLink	dbr:Formal_method .