|
Author:Johannes SchoisswohlPublications |
---|
| EasyChair Preprint no. 9606 | EasyChair Preprint no. 5531 | EasyChair Preprint no. 5000 | EasyChair Preprint no. 2468 |
Keyphrasesarithmetic, automated reasoning4, automated theorem proving, AVATAR architecture, first-order logic, first-order theorem proving, gaussian variable elimination rule, induction, induction with generalization, inductive benchmarks, Inductive data types, integers, linear arithmetic, proof search, Quantified First-Order Logic, saturation based proof search2, SMT2, structural induction, superposition reasoning, term algebra, theorem prover, theorem proving, theory reasoning, unification, Unification with Abstraction, Vampire. |
|
|