Triple
T9095802
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Ieke Moerdijk |
E218015
|
entity |
| Predicate | supervisedStudent |
P7251
|
FINISHED |
| Object |
Jaap van Oosten
Jaap van Oosten is a Dutch logician and mathematician known for his work in constructive mathematics, realizability, and categorical logic.
|
E793605
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69ca83d9844081908e561e367fda6d45 |
elicitation | completed |
| NER | batch_69cc96b650648190a8f59cee402d12aa |
ner | completed |
| NED1 | batch_69d0e3017a7c8190a7182acc7831d09b |
ned_source_triple | completed |
| NED2 | batch_69d0e72c3d088190953a5929f8b861d8 |
ned_description | completed |
| NEDg | batch_69d0e57272cc819085a1fd3e356d7c46 |
nedg | completed |
Created at: March 30, 2026, 7:14 p.m.