Keyword:Skolemization

Publications
A Generic Deskolemization Strategy Johann Rosain, Richard Bonichon, Julie Cailler and Olivier Hermant In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic Matthias Baaz and Anela Lolic In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Robust, Semi-Intelligible Isabelle Proofs from ATP Proofs Steffen Juilf Smolka and Jasmin Christian Blanchette In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving