@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:SLAM_project	dbo:wikiPageWikiLink	dbr:Abstraction_model_checking .
dbr:Hybrid_system	dbo:wikiPageWikiLink	dbr:Abstraction_model_checking .
<http://dbpedia.org/resource/Widening_(computer_science)>	dbo:wikiPageWikiLink	dbr:Abstraction_model_checking .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Abstraction_model_checking	owl:sameAs	<https://global.dbpedia.org/id/8S1Un> ,
		dbr:Abstraction_model_checking ,
		<http://rdf.freebase.com/ns/m.027yppd> ;
	dbo:wikiPageWikiLink	dbr:Abstract_model_checking ;
	dbo:wikiPageRedirects	dbr:Abstract_model_checking .