Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Harald_Ganzinger> ?p ?o }
Showing triples 1 to 90 of
90
with 100 triples per page.
- Harald_Ganzinger abstract "Harald Ganzinger (31 October 1950, Werneck – 3 June 2004, Saarbrücken) was a German computer scientist who 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 wikiPageExternalLink hg.
- Harald_Ganzinger wikiPageID "10473265".
- Harald_Ganzinger wikiPageLength "2255".
- Harald_Ganzinger wikiPageOutDegree "29".
- Harald_Ganzinger wikiPageRevisionID "680563901".
- Harald_Ganzinger wikiPageWikiLink Archive.org.
- Harald_Ganzinger wikiPageWikiLink Automated_theorem_prover.
- Harald_Ganzinger wikiPageWikiLink Automated_theorem_proving.
- Harald_Ganzinger wikiPageWikiLink Category:1950_births.
- Harald_Ganzinger wikiPageWikiLink Category:2004_deaths.
- Harald_Ganzinger wikiPageWikiLink Category:Automated_theorem_proving.
- Harald_Ganzinger wikiPageWikiLink Category:German_computer_scientists.
- Harald_Ganzinger wikiPageWikiLink Category:Max_Planck_Institute_for_Informatics.
- Harald_Ganzinger wikiPageWikiLink Category:Technical_University_of_Dortmund_faculty.
- Harald_Ganzinger wikiPageWikiLink Category:Technische_Universität_München_alumni.
- Harald_Ganzinger wikiPageWikiLink Computer_scientist.
- Harald_Ganzinger wikiPageWikiLink Doctor_of_Philosophy.
- Harald_Ganzinger wikiPageWikiLink Dortmund_University_of_Technology.
- Harald_Ganzinger wikiPageWikiLink First-order_logic.
- Harald_Ganzinger wikiPageWikiLink Germany.
- Harald_Ganzinger wikiPageWikiLink Herbrand_Award.
- Harald_Ganzinger wikiPageWikiLink Internet_Archive.
- Harald_Ganzinger wikiPageWikiLink Leo_Bachmair.
- Harald_Ganzinger wikiPageWikiLink List_of_prizes,_medals_and_awards.
- Harald_Ganzinger wikiPageWikiLink Max_Planck_Institute_for_Computer_Science.
- Harald_Ganzinger wikiPageWikiLink Max_Planck_Institute_for_Informatics.
- Harald_Ganzinger wikiPageWikiLink Posthumous_recognition.
- Harald_Ganzinger wikiPageWikiLink SPASS.
- Harald_Ganzinger wikiPageWikiLink SPASS_theorem_prover.
- Harald_Ganzinger wikiPageWikiLink Saarbrücken.
- Harald_Ganzinger wikiPageWikiLink Saarland_University.
- Harald_Ganzinger wikiPageWikiLink Superposition_calculus.
- Harald_Ganzinger wikiPageWikiLink Technical_University_of_Dortmund.
- Harald_Ganzinger wikiPageWikiLink Technical_University_of_Munich.
- Harald_Ganzinger wikiPageWikiLink Technische_Universität_München.
- Harald_Ganzinger wikiPageWikiLink Werneck.
- Harald_Ganzinger wikiPageWikiLinkText "Harald Ganzinger".
- Harald_Ganzinger dateOfBirth "1950-10-31".
- Harald_Ganzinger dateOfDeath "2004-06-03".
- Harald_Ganzinger hasPhotoCollection Harald_Ganzinger.
- Harald_Ganzinger name "Ganzinger, Harald".
- Harald_Ganzinger shortDescription "German computer scientist".
- Harald_Ganzinger wikiPageUsesTemplate Template:Authority_control.
- Harald_Ganzinger wikiPageUsesTemplate Template:Deadlink.
- Harald_Ganzinger wikiPageUsesTemplate Template:Germany-compu-bio-stub.
- Harald_Ganzinger wikiPageUsesTemplate Template:Persondata.
- Harald_Ganzinger description "German computer scientist".
- Harald_Ganzinger description "German computer scientist".
- Harald_Ganzinger subject Category:1950_births.
- Harald_Ganzinger subject Category:2004_deaths.
- Harald_Ganzinger subject Category:Automated_theorem_proving.
- Harald_Ganzinger subject Category:German_computer_scientists.
- Harald_Ganzinger subject Category:Max_Planck_Institute_for_Informatics.
- Harald_Ganzinger subject Category:Technical_University_of_Dortmund_faculty.
- Harald_Ganzinger subject Category:Technische_Universität_München_alumni.
- Harald_Ganzinger hypernym Scientist.
- Harald_Ganzinger type Agent.
- Harald_Ganzinger type Person.
- Harald_Ganzinger type Scientist.
- Harald_Ganzinger type Institute.
- Harald_Ganzinger type Method.
- Harald_Ganzinger type Proof.
- Harald_Ganzinger type Scientist.
- Harald_Ganzinger type Person.
- Harald_Ganzinger type Agent.
- Harald_Ganzinger type NaturalPerson.
- Harald_Ganzinger type Thing.
- Harald_Ganzinger type Q215627.
- Harald_Ganzinger type Q5.
- Harald_Ganzinger type Person.
- Harald_Ganzinger comment "Harald Ganzinger (31 October 1950, Werneck – 3 June 2004, Saarbrücken) was a German computer scientist who 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 sameAs Harald_Ganzinger.
- Harald_Ganzinger sameAs Harald_Ganzinger.
- Harald_Ganzinger sameAs m.02qf551.
- Harald_Ganzinger sameAs Q92690.
- Harald_Ganzinger sameAs Q92690.
- Harald_Ganzinger wasDerivedFrom Harald_Ganzinger?oldid=680563901.
- Harald_Ganzinger givenName "Harald".
- Harald_Ganzinger isPrimaryTopicOf Harald_Ganzinger.
- Harald_Ganzinger name "Ganzinger, Harald".
- Harald_Ganzinger name "Harald Ganzinger".
- Harald_Ganzinger surname "Ganzinger".