Christine Paulin-Mohring

Target entity: Christine Paulin-Mohring
Context triple: [Gérard Huet, notableStudent, Christine Paulin-Mohring]

• A. Christiane Herzog
  Christiane Herzog was a German First Lady and philanthropist known for her social engagement, particularly in support of cystic fibrosis patients, during and after her husband Roman Herzog’s presidency.
• B. Barbara Müller
  Barbara Müller was the wife of renowned German astronomer Johannes Kepler, with whom she shared a life during the early 17th century.
• C. Marianne Busch
  Marianne Busch was the first wife of American psychologist and counterculture icon Timothy Leary, with whom she shared his early academic and personal life before his rise to prominence in the 1960s.
• D. Therese Giehse
  Therese Giehse was a prominent German stage and film actress, renowned for her powerful performances in works by Bertolt Brecht and for her opposition to the Nazi regime.
• E. Johanna Hiedler
  Johanna Hiedler was an Austrian woman of the 19th century known primarily as the maternal grandmother of Adolf Hitler.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target entity: Christine Paulin-Mohring
Target entity description: Christine Paulin-Mohring is a French computer scientist and logician best known as a leading developer of the Coq proof assistant and for her contributions to type theory and formal methods.

• A. Christiane Herzog
  Christiane Herzog was a German First Lady and philanthropist known for her social engagement, particularly in support of cystic fibrosis patients, during and after her husband Roman Herzog’s presidency.
• B. Barbara Müller
  Barbara Müller was the wife of renowned German astronomer Johannes Kepler, with whom she shared a life during the early 17th century.
• C. Marianne Busch
  Marianne Busch was the first wife of American psychologist and counterculture icon Timothy Leary, with whom she shared his early academic and personal life before his rise to prominence in the 1960s.
• D. Therese Giehse
  Therese Giehse was a prominent German stage and film actress, renowned for her powerful performances in works by Bertolt Brecht and for her opposition to the Nazi regime.
• E. Johanna Hiedler
  Johanna Hiedler was an Austrian woman of the 19th century known primarily as the maternal grandmother of Adolf Hitler.
• F. None of above. chosen