@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:B-Method	dbo:wikiPageWikiLink	dbr:Abstract_State_Machines .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Abstract_State_Machines	owl:sameAs	dbr:Abstract_State_Machines ;
	dbo:wikiPageWikiLink	dbr:Abstract_state_machine ;
	dbo:wikiPageRedirects	dbr:Abstract_state_machine .
dbr:CoreASM	dbo:wikiPageWikiLink	dbr:Abstract_State_Machines .
<http://dbpedia.org/resource/Egon_B\u00F6rger>	dbo:wikiPageWikiLink	dbr:Abstract_State_Machines .
dbr:Formal_methods	dbo:wikiPageWikiLink	dbr:Abstract_State_Machines .
dbr:Z_User_Group	dbo:wikiPageWikiLink	dbr:Abstract_State_Machines .