Triple
T6370831
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Church–Rosser property |
E143338
|
entity |
| Predicate | namedInHonorOf |
P12247
|
FINISHED |
| Object |
Alonzo Church and J. Barkley Rosser
Alonzo Church and J. Barkley Rosser were American logicians whose work in lambda calculus and proof theory led to the formulation of the influential Church–Rosser theorem in mathematical logic and computation theory.
|
E34828
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69c008d8c61081908bcaf61510d881ed |
elicitation | completed |
| NER | batch_69c068277f6c81908e6a55e006f0c229 |
ner | completed |
| NED1 | batch_69c6386f361c819098dbe01b0cb07b06 |
ned_source_triple | completed |
| NED2 | batch_69c63a0a4a108190b474555d8cb1540c |
ned_description | completed |
| NEDg | batch_69c6395e934c81909bfa10ee1b8e517f |
nedg | completed |
Created at: March 22, 2026, 4:33 p.m.