Triple

T1255161
Position Surface form Disambiguated ID Type / Status
Subject lambda calculus E26971 entity
Predicate hasConcept P531 FINISHED
Object 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.
 E143338 NE FINISHED

Provenance (5 batches)

Stage Batch ID Job type Status
creating batch_69a49487a9c48190ba9b05348fd1b53f elicitation completed
NER batch_69a4bfa5a4cc819093ed686619b572d8 ner completed
NED1 batch_69ac93cb76248190a23acb2e76ecfa8d ned_source_triple completed
NED2 batch_69ac952f74d48190b075919e0acd513d ned_description completed
NEDg batch_69ac9453f4488190a13ebabf3c8e07a5 nedg completed
Created at: March 1, 2026, 7:47 p.m.