Triple
T2139676
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Tobias Nipkow |
E46732
|
entity |
| Predicate | notableWork |
P4
|
FINISHED |
| Object |
Types and Programming Languages (research contributions)
Types and Programming Languages (research contributions) refers to Tobias Nipkow’s influential work advancing the theory and mechanization of type systems and programming language semantics, particularly through formal verification and theorem proving.
|
E238247
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69a88a174ab48190a5db20c132e5dccf |
elicitation | completed |
| NER | batch_69abbe025d3c81908bcb33a7ff09eae8 |
ner | completed |
| NED1 | batch_69ae51b1290c8190a08850b428c99a6c |
ned_source_triple | completed |
| NED2 | batch_69ae55fdc32c8190b6ecdc9b23d64cc5 |
ned_description | completed |
| NEDg | batch_69ae55923b748190bf7a2df3ae94edc8 |
nedg | completed |
Created at: March 4, 2026, 7:44 p.m.