Triple
T6257356
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Larry Wos |
E140203
|
entity |
| Predicate | familyName |
P18
|
FINISHED |
| Object |
Wos
Wos is a surname most notably associated with Larry Wos, an American mathematician and pioneer in automated theorem proving.
|
E580566
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69c008c95c5c819084bd3dd56133d84d |
elicitation | completed |
| NER | batch_69c06366baa481908d59428cceabbe46 |
ner | completed |
| NED1 | batch_69c2443f0cb88190a32968fce0214045 |
ned_source_triple | completed |
| NED2 | batch_69c4fb839b2481909caa57f34a8837db |
ned_description | completed |
| NEDg | batch_69c2471a08448190bb8d61f20403d44b |
nedg | completed |
Created at: March 22, 2026, 4:24 p.m.