Critical pair (term rewriting)

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual Rewriting system
rdfs:label	Critical pair (term rewriting)
owl:sameAs	dbr:Critical_pair_(term_rewriting)
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Rewriting_systems
skos:prefLabel	Critical pair (term rewriting)
skos:altLabel	Critical pair (term rewriting)#Critical pair lemma

About: clgr:Critical_pair_(term_rewriting)