Triple
T11695145
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Christine Paulin-Mohring |
E277974
|
entity |
| Predicate | familyName |
P18
|
FINISHED |
| Object |
Paulin-Mohring
Paulin-Mohring is the surname of French computer scientist Christine Paulin-Mohring, known for her work on the Coq proof assistant and contributions to formal methods.
|
E941105
|
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.