- 2001 [1994]
Skolemization on PlanetMath.org
Skolemization by
Hector Zenil, The
Wolfram Demonstrations Project. Weisstein, Eric W. "
SkolemizedForm". MathWorld...
-
first two,
based respectively on
games of
imperfect information and on
Skolemization, are
mainly used in the
definition of IF
sentences only. The former...
- is a
construction that is dual to the
Skolemization of a formula.
Thoralf Skolem had
considered the
Skolemizations of
formulas in
prenex form as part of...
- equisatisfiable.
Examples of
translations that
preserve equisatisfiability are
Skolemization and some
translations into
conjunctive normal form such as the Tseytin...
- axiomatized, in line 1 to 3.
While ordinary Skolemization preserves satisfiability,
reverse Skolemization, i.e.
replacing universally quantified variables...
- respectively. Two
different sets of
rules can be used; both
employ a form of
Skolemization for
handling existential quantifiers, but
differ on the
handling of...
- formulas;
arbitrary formulas must
first be
converted to this form
through Skolemization. The
resolution rule
states that from the
hypotheses A 1 ∨ ⋯ ∨ A k ∨...
-
Herbrandization – a validity-preserving
normal form of a formula, dual to
Skolemization Herbrand's
theorem on
ramification groups Rollo Davidson (1944–1970)...
-
predicate T-schema Back-and-forth
method Barwise compactness theorem Skolemization Lindenbaum–Tarski
algebra Löb's
theorem Arithmetical set
Definable set...
- \lnot \mathrm {Loves} (x,y)]\lor [\exists z\mathrm {Loves} (z,x)]} .
Skolemize the
statement Move
quantifiers outwards:
repeatedly replace P ∧ ( ∀ x...
