# Fame.am profile — machine-readable export
# Canonical URL: https://fame.am/person/harald-ganzinger
# Generated: 2026-08-14T17:12:17.551Z

schema: https://schema.org/Person
url: "https://fame.am/person/harald-ganzinger"
name: "Harald Ganzinger"
slug: "harald-ganzinger"
description: "Harald Ganzinger was a German computer scientist who together with Leo Bachmair developed the superposition calculus, which is used in most of the state-of-the-art automated theorem provers for first-order logic."
tagline: "German computer scientist (1950-2004)"
gender: "male"
country:
  name: "Germany"
  isoCode: "DE"
category:
  name: "Academics"
  slug: "academics"
profileType:
  name: "Academic"
  slug: "academic"
  entityType: "https://www.wikidata.org/entity/Q39631"
birthDate: "1950-10-31"
deathDate: "2004-06-03"
livingStatus: "DECEASED"
scores:
  popularity:           33.81
  momentum:             0
  historical:           5.268250666666667
  currentAttention:     0
  sourceConfidence:     35
  profileCompleteness:  55
  trendDirection:       "FALLING"
ranks:
  global:   null
  country:  null
  category: null
sources:
  - url: "https://de.wikipedia.org/wiki/Harald_Ganzinger"
    title: "Harald Ganzinger"
    type:  "WIKIPEDIA"
  - url: "https://ar.wikipedia.org/wiki/%D9%87%D8%A7%D8%B1%D8%A7%D9%84%D8%AF_%D8%AC%D8%A7%D9%86%D8%B2%D9%8A%D9%86%D8%AC%D8%B1"
    title: "هارالد جانزينجر"
    type:  "WIKIPEDIA"
  - url: "https://arz.wikipedia.org/wiki/%D9%87%D8%A7%D8%B1%D8%A7%D9%84%D8%AF_%D8%AC%D8%A7%D9%86%D8%B2%D9%8A%D9%86%D8%AC%D8%B1"
    title: "هارالد جانزينجر"
    type:  "WIKIPEDIA"
  - url: "https://vo.wikipedia.org/wiki/Harald_Ganzinger"
    title: "Harald Ganzinger"
    type:  "WIKIPEDIA"
  - url: "https://en.wikipedia.org/wiki/Harald_Ganzinger"
    title: "Harald Ganzinger"
    type:  "WIKIPEDIA"
  - url: "https://mg.wikipedia.org/wiki/Harald_Ganzinger"
    title: "Harald Ganzinger"
    type:  "WIKIPEDIA"
  - url: "https://www.wikidata.org/wiki/Q92690"
    title: "Wikidata"
    type:  "WIKIDATA"

# bio (long form, separated for readability)
bio: |
  Imported from discovery source: wikidata-dump