@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix wikipedia-en:	<http://en.wikipedia.org/wiki/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
wikipedia-en:Rewrite_order	foaf:primaryTopic	dbr:Rewrite_order .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
dbr:Rewrite_order	owl:sameAs	wikidata:Q19599552 .
@prefix yago-res:	<http://yago-knowledge.org/resource/> .
dbr:Rewrite_order	owl:sameAs	yago-res:Rewrite_order .
@prefix dbpedia-global:	<https://global.dbpedia.org/id/> .
dbr:Rewrite_order	owl:sameAs	dbpedia-global:sCzF ,
		<http://rdf.freebase.com/ns/m.010rbmq5> ,
		dbr:Rewrite_order .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbr:Rewrite_order	rdfs:label	"Rewrite order"@en .
@prefix dct:	<http://purl.org/dc/terms/> .
@prefix dbc:	<http://dbpedia.org/resource/Category:> .
dbr:Rewrite_order	dct:subject	dbc:Order_theory ,
		dbc:Rewriting_systems ;
	foaf:depiction	<http://commons.wikimedia.org/wiki/Special:FilePath/Triangle_diagram_of_rewrite_rule_application_svg.svg> .
@prefix prov:	<http://www.w3.org/ns/prov#> .
dbr:Rewrite_order	prov:wasDerivedFrom	<http://en.wikipedia.org/wiki/Rewrite_order?oldid=1227423352&ns=0> ;
	foaf:isPrimaryTopicOf	wikipedia-en:Rewrite_order .
@prefix dbo:	<http://dbpedia.org/ontology/> .
dbr:Rewrite_order	dbo:thumbnail	<http://commons.wikimedia.org/wiki/Special:FilePath/Triangle_diagram_of_rewrite_rule_application_svg.svg?width=300> ;
	dbo:wikiPageWikiLink	dbr:Automated_reasoning ,
		<http://dbpedia.org/resource/Termination_(rewriting)> ,
		dbc:Rewriting_systems ,
		<http://dbpedia.org/resource/Context_(term_rewriting)> ,
		dbr:Theoretical_computer_science ,
		dbr:Well-founded ,
		dbr:Transitive_closure ,
		dbr:Converse_relation ,
		<http://dbpedia.org/resource/Substitution_(logic)> ,
		dbr:Reflexive_relation ,
		<http://dbpedia.org/resource/File:Triangle_diagram_of_rewrite_rule_application_svg.svg> ,
		dbr:Endless_loop ,
		dbr:Computer_algebra ,
		dbc:Order_theory ,
		dbr:Irreflexive_relation ,
		dbr:Transitive_relation ,
		<http://dbpedia.org/resource/Closure_(mathematics)> ,
		dbr:Rewriting ,
		dbr:Reflexive_closure ,
		dbr:Symmetric_closure ,
		<http://dbpedia.org/resource/Expression_(mathematics)> ,
		dbr:Binary_relation ,
		<http://dbpedia.org/resource/Term_(logic)> .
@prefix dbp:	<http://dbpedia.org/property/> .
@prefix dbt:	<http://dbpedia.org/resource/Template:> .
dbr:Rewrite_order	dbp:wikiPageUsesTemplate	dbt:Mset ,
		dbt:Cite_book ,
		dbt:Yes ,
		dbt:Reflist ,
		dbt:Math .
dbr:Rewrite_closure	dbo:wikiPageWikiLink	dbr:Rewrite_order ;
	dbo:wikiPageRedirects	dbr:Rewrite_order .
dbr:Reduction_ordering	dbo:wikiPageWikiLink	dbr:Rewrite_order ;
	dbo:wikiPageRedirects	dbr:Rewrite_order .
dbr:Rewriting	dbo:wikiPageWikiLink	dbr:Rewrite_order .
dbr:Encompassment_ordering	dbo:wikiPageWikiLink	dbr:Rewrite_order .
dbr:Reduction_preorder	dbo:wikiPageWikiLink	dbr:Rewrite_order ;
	dbo:wikiPageRedirects	dbr:Rewrite_order .
dbr:Rewrite_preorder	dbo:wikiPageWikiLink	dbr:Rewrite_order ;
	dbo:wikiPageRedirects	dbr:Rewrite_order .
dbr:Rewrite_relation	dbo:wikiPageWikiLink	dbr:Rewrite_order ;
	dbo:wikiPageRedirects	dbr:Rewrite_order .
dbr:Simplification_ordering	dbo:wikiPageWikiLink	dbr:Rewrite_order ;
	dbo:wikiPageRedirects	dbr:Rewrite_order .