Triple
T2419110
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Gérard Huet |
E52376
|
entity |
| Predicate | notableStudent |
P4838
|
FINISHED |
| Object |
Thierry Coquand
Thierry Coquand is a French logician and computer scientist known for his work on type theory, constructive mathematics, and the development of the calculus of constructions.
|
E265289
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69ab495622948190bc6bc6e4cddaf645 |
elicitation | completed |
| NER | batch_69abc96e1b3881909de57501b5d4099a |
ner | completed |
| NED1 | batch_69aebf5397508190b755e522060041c0 |
ned_source_triple | completed |
| NED2 | batch_69aec488a4448190b2e9bf40a0fea5ee |
ned_description | completed |
| NEDg | batch_69aec3cf3d8881908d0e5d72f625634c |
nedg | completed |
Created at: March 6, 2026, 9:42 p.m.