Disambiguation evidence for Church–Rosser property via surface form
"Church–Rosser theorem"
Triples (1)
Triples where some other subject referred to this entity
as "Church–Rosser theorem".
Church–Rosser property
→
alsoKnownAs
→
"Church–Rosser theorem"
ⓘ
↳ resolves to Church–Rosser property