Login / Signup
Formalization of Bachmair and Ganzinger's Ordered Resolution Prover.
Anders Schlichtkrull
Jasmin Christian Blanchette
Dmitriy Traytel
Uwe Waldmann
Published in:
Arch. Formal Proofs (2018)
Keyphrases
</>
theorem proving
consequence finding
high resolution
low resolution
theorem prover
machine learning
high quality
knowledge representation
formal model
automated theorem proving
ordered sets
real time
decision trees
artificial neural networks
higher resolution