Triple
T2139685
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Tobias Nipkow |
E46732
|
entity |
| Predicate | notableStudent |
P4838
|
FINISHED |
| Object |
Gerwin Klein
Gerwin Klein is a computer scientist known for his work in formal verification, particularly the seL4 microkernel verification project.
|
E242445
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69a88a174ab48190a5db20c132e5dccf |
elicitation | completed |
| NER | batch_69abbe025d3c81908bcb33a7ff09eae8 |
ner | completed |
| NED1 | batch_69ae5d904cbc819088ba4086297eaf3d |
ned_source_triple | completed |
| NED2 | batch_69ae5f446c848190b4060bb248d723db |
ned_description | completed |
| NEDg | batch_69ae5eedb938819085454f0f3622ee8b |
nedg | completed |
Created at: March 4, 2026, 7:44 p.m.