Disambiguation evidence for Tobias Nipkow via surface form

"Tobias Nipkow"

Triples (8)

Triples where some other subject referred to this entity as "Tobias Nipkow".

Herbrand Award → notableRecipient →
"Tobias Nipkow"
↳ resolves to Tobias Nipkow
ⓘ
Isabelle → developer →
"Tobias Nipkow"
↳ resolves to Tobias Nipkow
ⓘ
linked to: Isabelle proof assistant
Types and Programming Languages (research contributions) → mainContributor →
"Tobias Nipkow"
↳ resolves to Tobias Nipkow
ⓘ
Gerwin Klein → doctoralAdvisor →
"Tobias Nipkow"
↳ resolves to Tobias Nipkow
ⓘ
Gerwin Klein → hasAcademicAdvisor →
"Tobias Nipkow"
↳ resolves to Tobias Nipkow
ⓘ
Wolfgang Polak → doctoralAdvisorOf →
"Tobias Nipkow"
↳ resolves to Tobias Nipkow
ⓘ
Lawrence C. Paulson → hasNotableStudent →
"Tobias Nipkow"
↳ resolves to Tobias Nipkow
ⓘ
Isabelle → developer →
"Tobias Nipkow"
↳ resolves to Tobias Nipkow
ⓘ