Certification of Nonclausal Connection Tableaux Proofs.

Michael Färber Cezary Kaliszyk

Published in: TABLEAUX (2019)

Keyphrases

decision procedures
theorem proving
modal logic
third party
theorem prover
automated reasoning
functional dependencies
mathematical proofs
equational theories
formal proofs
formal proof
proof procedure
proof search
inference rules
genetic algorithm
data mining
neural network