Author:Johannes Schoisswohl

Keyphrases

automated reasoning, AVATAR architecture, first-order theorem proving, induction, induction with generalization, saturation based proof search, structural induction, superposition reasoning, term algebra, Vampire.