On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs.

Shujun Zhang Naoki Nishida

Published in: FLOPS (2022)

Keyphrases

theorem proving
theorem prover
first order logic
quantifier free
machine learning
expert systems
linear programming
orders of magnitude
constraint satisfaction