Skolem normal form
Top View
- Models and Games
- First-Order Logic Introduction
- Herbrand Property, Finite Quasi-Herbrand Models, and a Chandra-Merlin Theorem for Quantified Conjunctive Queries
- First-Order Logic - Wikipedia, the Free Encyclopedia
- Validity Checking Propositional and First-Order Logic (Part I: Semantic Methods)
- On Synthesizing Skolem Functions for First Order Logic Formulae
- Formalizing Basic First Order Model Theory
- Extracting and Validating Skolem/Herbrand Function-Based QBF Certificates
- Detlovs Podnieks Math Logic.Pdf (1.129Mb)
- Topics in Automated Theorem Proving