Question: Who was born first, Alfred Horn or Wilfried Auerbach?
Sentence (from "Alfred Horn"): His 1951 paper" On sentences which are true of direct unions of algebras" described Horn clauses and Horn sentences, which later would form the foundation of logic programming.
Relevant evidence: No