Partial Regularization of First-Order Resolution Proofs.

Jan Gorzny Ezequiel Postan Bruno Woltzenlogel Paleo

Published in: GCAI (2020)

Keyphrases

first order logic
higher order
theorem proving
high resolution
consequence finding
low resolution
theorem prover
quantifier elimination
multiresolution
parameter selection
prior information
higher resolution
formal proof
mixed norm
equational theories