Church–Rosser property

The Church–Rosser property is a confluence property of rewriting systems stating that if an expression can be reduced in different ways, all reduction paths can be further reduced to a common equivalent form.

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.