Herbrand Proofs and Expansion Proofs as Decomposed Proofs.

Published in: J. Log. Comput. (2020)

Keyphrases

theorem proving
theorem prover
formal proofs
formal proof
equational theories
machine learning
first order logic
social networks
multimedia
multiscale
deductive databases
natural deduction
automated theorem provers