Triple
T9095800
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Ieke Moerdijk |
E218015
|
entity |
| Predicate | supervisedStudent |
P7251
|
FINISHED |
| Object |
Peter LeFanu Lumsdaine
Peter LeFanu Lumsdaine is a mathematician known for his work in category theory, type theory, and homotopy type theory.
|
E790613
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69ca83d9844081908e561e367fda6d45 |
elicitation | completed |
| NER | batch_69cc96b650648190a8f59cee402d12aa |
ner | completed |
| NED1 | batch_69d0b1877fd48190ad33df32bcd93e13 |
ned_source_triple | completed |
| NED2 | batch_69d0b7944adc819080b3a90878dd7203 |
ned_description | completed |
| NEDg | batch_69d0b3a2b6f481908b0528f6fa67535b |
nedg | completed |
Created at: March 30, 2026, 7:14 p.m.