Disambiguation evidence for Church–Rosser property via surface form

"Church–Rosser property"

Triples (1)

Triples where some other subject referred to this entity as "Church–Rosser property".

lambda calculus → hasConcept →
"Church–Rosser property"
↳ resolves to Church–Rosser property
ⓘ