Semantic Guidance for Saturation Provers

DOI10.1007/11856290_4zbMath1156.68570OpenAlexW1532070529MaRDI QIDQ5302898

William W. McCune

Publication date: 15 January 2009

Published in: Artificial Intelligence and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11856290_4

Mathematics Subject Classification ID

Related Items (2)

Learning theorem proving components ⋮ Rewriting Strategies and Strategic Rewrite Programs

Uses Software

• Prover9

This page was built for publication: Semantic Guidance for Saturation Provers