Triple
T22446428
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Xavier Leroy |
E554873
|
entity |
| Predicate | usedToolInResearch |
P91992
|
FINISHED |
| Object | Coq proof assistant |
—
|
NE NERFINISHED |
Provenance (3 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69e11e5113208190ab58c6b595f9d1d0 |
elicitation | completed |
| NER | batch_69f15b4803908190990280ebd258cb03 |
ner | completed |
| PD | batch_69e898ad961c819098fd1e46129bddcc |
pd | completed |
Created at: April 16, 2026, 8:47 p.m.