Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Harald_Ganzinger> ?p ?o. }
Showing items 1 to 60 of
60
with 100 items per page.
- Harald_Ganzinger abstract "Harald Ganzinger (October 31, 1950, Werneck – June 3, 2004, Saarbrücken) was a German computer scientist that together with Leo Bachmair developed the superposition calculus, which is (as of 2007) used in most of the state-of-the-art automated theorem provers for first-order logic.He received his Ph.D. from the Technical University of Munich in 1978. Before 1991 he was a Professor of Computer Science at University of Dortmund. Then he joined the Max Planck Institute for Computer Science in Saarbrücken shortly after it was founded in 1991. Until 2004 he was the Director of the Programming Logics department of the Max Planck Institute for Computer Science and honorary professor at Saarland University. His research group created the SPASS automated theorem prover.He received the Herbrand Award in 2004 (posthumous) for his important contributions to automated theorem proving.".
- Harald_Ganzinger birthDate "1950-10-31".
- Harald_Ganzinger birthYear "1950".
- Harald_Ganzinger deathDate "2004-06-03".
- Harald_Ganzinger deathYear "2004".
- Harald_Ganzinger wikiPageExternalLink 217.
- Harald_Ganzinger wikiPageExternalLink ~hg.
- Harald_Ganzinger wikiPageID "10473265".
- Harald_Ganzinger wikiPageRevisionID "544754949".
- Harald_Ganzinger dateOfBirth "1950-10-31".
- Harald_Ganzinger dateOfDeath "2004-06-03".
- Harald_Ganzinger hasPhotoCollection Harald_Ganzinger.
- Harald_Ganzinger name "Ganzinger, Harald".
- Harald_Ganzinger subject Category:1950_births.
- Harald_Ganzinger subject Category:2004_deaths.
- Harald_Ganzinger subject Category:Automated_theorem_proving.
- Harald_Ganzinger subject Category:Dortmund_University_of_Technology_faculty.
- Harald_Ganzinger subject Category:German_computer_scientists.
- Harald_Ganzinger subject Category:Max_Planck_Institute_for_Computer_Science.
- Harald_Ganzinger subject Category:Technical_University_Munich_alumni.
- Harald_Ganzinger type Alumnus109786338.
- Harald_Ganzinger type CausalAgent100007347.
- Harald_Ganzinger type ComputerScientist109951070.
- Harald_Ganzinger type ComputerUser109951274.
- Harald_Ganzinger type GermanComputerScientists.
- Harald_Ganzinger type Intellectual109621545.
- Harald_Ganzinger type LivingThing100004258.
- Harald_Ganzinger type Object100002684.
- Harald_Ganzinger type Organism100004475.
- Harald_Ganzinger type Person100007846.
- Harald_Ganzinger type PhysicalEntity100001930.
- Harald_Ganzinger type Scholar110557854.
- Harald_Ganzinger type Scientist110560637.
- Harald_Ganzinger type TechnicalUniversityMunichAlumni.
- Harald_Ganzinger type Whole100003553.
- Harald_Ganzinger type YagoLegalActor.
- Harald_Ganzinger type YagoLegalActorGeo.
- Harald_Ganzinger type Agent.
- Harald_Ganzinger type Person.
- Harald_Ganzinger type Person.
- Harald_Ganzinger type Q215627.
- Harald_Ganzinger type Q5.
- Harald_Ganzinger type Agent.
- Harald_Ganzinger type NaturalPerson.
- Harald_Ganzinger type Thing.
- Harald_Ganzinger type Person.
- Harald_Ganzinger comment "Harald Ganzinger (October 31, 1950, Werneck – June 3, 2004, Saarbrücken) was a German computer scientist that together with Leo Bachmair developed the superposition calculus, which is (as of 2007) used in most of the state-of-the-art automated theorem provers for first-order logic.He received his Ph.D. from the Technical University of Munich in 1978. Before 1991 he was a Professor of Computer Science at University of Dortmund.".
- Harald_Ganzinger label "Harald Ganzinger".
- Harald_Ganzinger label "Harald Ganzinger".
- Harald_Ganzinger sameAs Harald_Ganzinger.
- Harald_Ganzinger sameAs m.02qf551.
- Harald_Ganzinger sameAs Q92690.
- Harald_Ganzinger sameAs Q92690.
- Harald_Ganzinger sameAs Harald_Ganzinger.
- Harald_Ganzinger wasDerivedFrom Harald_Ganzinger?oldid=544754949.
- Harald_Ganzinger givenName "Harald".
- Harald_Ganzinger isPrimaryTopicOf Harald_Ganzinger.
- Harald_Ganzinger name "Ganzinger, Harald".
- Harald_Ganzinger name "Harald Ganzinger".
- Harald_Ganzinger surname "Ganzinger".