Harald Ganzinger
Harald Ganzinger (31 October 1950, Werneck – 3 June 2004, Saarbrücken) was a German computer scientist who together with 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 the Herbrand Award in 2004 (posthumous) for his important contributions to automated theorem proving.
primaryTopic
Harald Ganzinger
Harald Ganzinger (31 October 1950, Werneck – 3 June 2004, Saarbrücken) was a German computer scientist who together with 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 the Herbrand Award in 2004 (posthumous) for his important contributions to automated theorem proving.
has abstract
Harald Ganzinger (31 October 1 ...... to automated theorem proving.
@en
هارالد جانزينجر (بالإنجليزية: ...... ر (قائمة الجوائز والميداليات).
@ar
Wikipage page ID
10,473,265
page length (characters) of wiki page
Wikipage revision ID
1,021,982,061
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
hypernym
sameAs
comment
Harald Ganzinger (31 October 1 ...... to automated theorem proving.
@en
هارالد جانزينجر (بالإنجليزية: ...... ر (قائمة الجوائز والميداليات).
@ar
label
Harald Ganzinger
@de
Harald Ganzinger
@en
هارالد جانزينجر
@ar