Satisfiable

Compactness Theorem

Implicitly Existentially Quantified

Karloff–zwick Algorithm

Löwenheim–skolem Theorem

Original Proof of Gödel's Completeness Theorem

Polynomial Time

Prenex Normal Form

Proof String

Real Numbers

Skolem Normal Form

2-satisfiability

Clique

Exists

NP

Polynomial

Problem

Sat

Satisfiability

Satisfying

String