A Comprehensive Framework for Saturation Theorem Proving.

Uwe Waldmann Sophie Tourret Simon Robillard Jasmin Blanchette

Published in: IJCAR (1) (2020)

Keyphrases

theorem proving
probabilistic model
inference rules
decision procedures
theorem prover
automated reasoning
automatic programming
automated deduction
term rewriting
proof planning
first order logic
model checking
logical inference