Conquering the Meredith Single Axiom
Larry Wos
Mathematics and Computer Science Division
Argonne National Lab oratory
Argonne IL
e mail wos mcs anl gov
May
Abstract
For more than three and one half decades b eginning in the early s a heavy
emphasis on pro of nding has b een a key comp onent of the Argonne paradigm whose
use has directly led to signi cant advances in automated reasoning and imp ortant con
tributions to mathematics and logic