Triple
T11695185
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Christine Paulin-Mohring |
E277974
|
entity |
| Predicate | notableStudent |
P4838
|
FINISHED |
| Object |
Yves Bertot
Yves Bertot is a French computer scientist known for his work on formal methods and the Coq proof assistant.
|
E941109
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d6aafe02d881909900d54ad7d4af84 |
elicitation | completed |
| NER | batch_69d8a47b9eb48190976a35e91e25b56b |
ner | completed |
| NED1 | batch_69ef1471cba88190a7abdcbf4f579ea9 |
ned_source_triple | completed |
| NED2 | batch_69ef537efcc48190afffaa50f28940d8 |
ned_description | completed |
| NEDg | batch_69ef511f8f688190b2806d4e8ab16511 |
nedg | completed |
Created at: April 8, 2026, 9:40 p.m.