A proof-theoretic approach to certifying skolemization.

Kaustuv Chaudhuri Matteo Manighetti Dale Miller

Published in: CPP (2019)

Keyphrases

theorem proving
database
artificial intelligence
cooperative
evolutionary algorithm
theorem prover
linear logic
formal proof
geometry theorem proving
neural network
mobile devices
user interface
provably correct
proof planning