http://caligraph.org/ontology/Rewriting_system

CaLiGraph

Property	Value
rdf:type	owl:Class
rdfs:label	Rewriting system
rdfs:subClassOf	System
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Rewriting_systems
is rdf:type of	Term (logic) Rewriting Rewrite order Abstract rewriting system Reduction strategy Confluence (abstract rewriting) Divergence (computer science) Reflexive closure Gröbner basis Encompassment ordering Newman's lemma Normal form (abstract rewriting) Church–Rosser theorem Critical pair (term rewriting) Director string Path ordering (term rewriting) Dershowitz–Manna ordering Orthogonality (term rewriting) Convergence (logic) Unification (computer science) Explicit substitution Buchberger's algorithm Symmetric closure Markov algorithm Jean-Pierre Jouannaud Knuth–Bendix completion algorithm Semi-Thue system Overlap (term rewriting) Word problem (mathematics)

About: clgo:Rewriting_system