@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
<http://dbpedia.org/resource/Semantics_(computer_science)>	dbo:wikiPageWikiLink	dbr:Program_semantics .
dbr:Unifying_Theories_of_Programming	dbo:wikiPageWikiLink	dbr:Program_semantics .
dbr:List_of_academic_fields	dbo:wikiPageWikiLink	dbr:Program_semantics .
dbr:Theory_of_computation	dbo:wikiPageWikiLink	dbr:Program_semantics .
dbr:Outline_of_academic_disciplines	dbo:wikiPageWikiLink	dbr:Program_semantics .
dbr:Mathematical_logic	dbo:wikiPageWikiLink	dbr:Program_semantics .
dbr:Branches_of_science	dbo:wikiPageWikiLink	dbr:Program_semantics .
<http://dbpedia.org/resource/Knaster\u2013Tarski_theorem>	dbo:wikiPageWikiLink	dbr:Program_semantics .
dbr:Theoretical_computer_science	dbo:wikiPageWikiLink	dbr:Program_semantics .
dbr:Outline_of_formal_science	dbo:wikiPageWikiLink	dbr:Program_semantics .
dbr:Peter_Mosses	dbo:wikiPageWikiLink	dbr:Program_semantics .
dbr:Formal_methods	dbo:wikiPageWikiLink	dbr:Program_semantics .
dbr:Object-oriented_programming	dbo:wikiPageWikiLink	dbr:Program_semantics .
dbr:Computer_science	dbo:wikiPageWikiLink	dbr:Program_semantics .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Program_semantics	owl:sameAs	dbr:Program_semantics ;
	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/Semantics_(computer_science)> ;
	dbo:wikiPageRedirects	<http://dbpedia.org/resource/Semantics_(computer_science)> .