About: Rewrite order

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:thumbnail	wiki-commons:Special:FilePath/Triangle_diagram_of_rewrite_rule_application_svg.svg?width=300
dbo:wikiPageWikiLink	dbr:Closure_(mathematics) dbr:Theoretical_computer_science dbr:Binary_relation dbr:Irreflexive_relation dbr:Automated_reasoning dbr:Expression_(mathematics) dbr:Reflexive_closure dbr:Rewriting dbr:Symmetric_closure dbr:Substitution_(logic) dbr:Term_(logic) dbr:Transitive_relation dbr:Reflexive_relation dbr:Computer_algebra dbr:Converse_relation dbr:Transitive_closure dbc:Order_theory dbc:Rewriting_systems dbr:Context_(term_rewriting) dbr:Endless_loop dbr:Well-founded dbr:Termination_(rewriting) dbr:File:Triangle_diagram_of_rewrite_rule_application_svg.svg
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Math dbt:Mset dbt:Reflist dbt:Yes
dct:subject	dbc:Order_theory dbc:Rewriting_systems
rdfs:label	Rewrite order (en)
owl:sameAs	freebase:Rewrite order yago-res:Rewrite order wikidata:Rewrite order dbpedia-global:Rewrite order
prov:wasDerivedFrom	wikipedia-en:Rewrite_order?oldid=1227423352&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Triangle_diagram_of_rewrite_rule_application_svg.svg
foaf:isPrimaryTopicOf	wikipedia-en:Rewrite_order
is dbo:wikiPageRedirects of	dbr:Reduction_ordering dbr:Reduction_preorder dbr:Rewrite_closure dbr:Rewrite_preorder dbr:Rewrite_relation dbr:Simplification_ordering
is dbo:wikiPageWikiLink of	dbr:Encompassment_ordering dbr:Rewriting dbr:Reduction_ordering dbr:Reduction_preorder dbr:Rewrite_closure dbr:Rewrite_preorder dbr:Rewrite_relation dbr:Simplification_ordering
is foaf:primaryTopic of	wikipedia-en:Rewrite_order