AUTO2, A Saturation-Based Heuristic Prover for Higher-Order Logic
From MaRDI portal
Publication:2829278
DOI10.1007/978-3-319-43144-4_27zbMath1478.68439arXiv1605.07577OpenAlexW3105824395MaRDI QIDQ2829278
Publication date: 27 October 2016
Published in: Interactive Theorem Proving (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1605.07577
Higher-order logic (03B16) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (2)
Uses Software
Cites Work
This page was built for publication: AUTO2, A Saturation-Based Heuristic Prover for Higher-Order Logic