Author:Johannes Schoisswohl
Keyphrasesautomated reasoning2, AVATAR architecture, first-order logic, first-order theorem proving, gaussian variable elimination rule, induction, induction with generalization, proof search, saturation based proof search2, SMT, structural induction, superposition reasoning, term algebra, theorem prover, theory reasoning, Vampire. |