Triple
T2419111
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Gérard Huet |
E52376
|
entity |
| Predicate | notableStudent |
P4838
|
FINISHED |
| Object |
Christine Paulin-Mohring
Christine Paulin-Mohring is a French computer scientist and logician best known as a leading developer of the Coq proof assistant and for her contributions to type theory and formal methods.
|
E277974
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69ab495622948190bc6bc6e4cddaf645 |
elicitation | completed |
| NER | batch_69abc96e1b3881909de57501b5d4099a |
ner | completed |
| NED1 | batch_69af5cd2e9808190aa124c6051d1fc98 |
ned_source_triple | completed |
| NED2 | batch_69af5ff0186081908c3bad308b4aba50 |
ned_description | completed |
| NEDg | batch_69af5f63bee88190b748a45dcf667a2f |
nedg | completed |
Created at: March 6, 2026, 9:42 p.m.