Formalizing Bachmair and Ganzinger's Ordered Resolution Prover.

Anders Schlichtkrull Jasmin Blanchette Dmitriy Traytel Uwe Waldmann

Published in: J. Autom. Reason. (2020)

Keyphrases

theorem proving
consequence finding
high resolution
theorem prover
low resolution
conflict detection
database
data sets
neural network
data mining
genetic algorithm
case study
multi agent
multi agent systems