Keskeiset käsitteet
Induction in saturation-based theorem proving automates inductive reasoning for first-order properties.
Tiivistelmä
この論文は、飽和ベースの定理証明における帰納法を用いた自動化に焦点を当てています。著者らは、帰納推論を含む新しいアプローチを提案し、整数や再帰関数定義などのデータ型に対する帰納法の効果的な適用方法を示しています。さらに、多くの問題が解決されることを実験結果で示し、その有用性を裏付けています。
Tilastot
University of Manchester
EasyChair
100 applications of induction