Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Harald Ganzinger · Vinony

🌐English

English Deutsch Español Français Italiano Nederlands Português Svenska العربية

EntityQ92690· pop 6· linked from 9 articles

Harald Ganzinger

German computer scientist (1950-2004)

Connections

automated theorem proving

computer science

Categories

1950 births 2004 deaths Academic staff of the Technical University of Dortmund Automated theorem proving German computer scientists Max Planck Institute directors Max Planck Institute for Informatics Technical University of Munich alumni

Sources

wikipedia.externallinksexternallink

Saarbrücken

Entity

Internet Archive

Doctor of Philosophy

Technical University of Munich

computer scientist

first-order logic

Saarland University

Technical University of Dortmund

Max Planck Institute for Informatics

Sign in to save

What links here9 pages

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Thomas Henzinger

Entitydist 0.23

Entitydist 0.25

Thomas Lengauer

Entitydist 0.26

Lev Nikolayevich Korolyov

Entitydist 0.27

Adriaan van Wijngaarden

Entitydist 0.27

Entitydist 0.28

Edsger W. Dijkstra

Entitydist 0.29

Robert Hecht-Nielsen

Entitydist 0.30

Entitydist 0.30

Entitydist 0.30

Hans-Volker Niemeier

Entitydist 0.30

Felix Gantmacher

Entitydist 0.31