Skolem normal form
Die Skolemform gehört zu den mathematischen Darstellungen der Prädikatenlogik, um Argumente zu formalisieren und auf ihre Gültigkeit zu überprüfen. Die Skolemform ist eine logische Formel mit Variablen, die keinen Quantifikator, kurz Quantor zur Existenz hat, also ohne „es existiert“. Diese Form wurde nach dem norwegischen Mathematiker Albert Thoralf Skolem (1887–1963) benannt.
Wikipage disambiguates
Branching quantifierCanonical formConjunctive normal formCurry's paradoxEquisatisfiabilityFirst-order logicGame semanticsGlossary of set theoryHerbrand structureHerbrandizationHullIndependence-friendly logicIndex of philosophy articles (R–Z)Large countable ordinalList of mathematical logic topicsLöwenheim–Skolem theoremMethod of analytic tableauxModel theoryNormal formNull (SQL)Occurs checkPrenex normal formProgram synthesisReification (linguistics)Resolution (logic)Second-order arithmeticSkolem Standard FormSkolem constantSkolem functionSkolem hullSkolem prenex formSkolem standard formSkolem termSkolem theorySkolemisationSkolemizationSkolemizeSkolemizedSkolemized FormSkolemized form
Link from a Wikipage to another Wikipage
primaryTopic
Skolem normal form
Die Skolemform gehört zu den mathematischen Darstellungen der Prädikatenlogik, um Argumente zu formalisieren und auf ihre Gültigkeit zu überprüfen. Die Skolemform ist eine logische Formel mit Variablen, die keinen Quantifikator, kurz Quantor zur Existenz hat, also ohne „es existiert“. Diese Form wurde nach dem norwegischen Mathematiker Albert Thoralf Skolem (1887–1963) benannt.
has abstract
Die Skolemform gehört zu den m ...... – sprich: "es gilt für alle ".
@de
En lògica matemàtica, la reduc ...... si ho és la fórmula original.
@ca
Una fórmula de la lógica de pr ...... a la lógica de segundo orden).
@es
У логіці першого порядку деяка ...... слідок процесу сколемізації) .
@uk
スコーレム標準形(スコーレムひょうじゅんけい、英: Skol ...... quivalence)なスコーレム標準形の論理式が存在する。
@ja
一阶逻辑的公式是Skolem 范式的,如果它的前束范式只有全 ...... 数 f 叫做 Skolem 函数。 举例说明: 其中a为常数
@zh
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,024,640,755
Link from a Wikipage to another Wikipage
id
p/s085740
@en
title
Skolem function
@en
SkolemizedForm
@en
urlname
SkolemizedForm
@en
wikiPageUsesTemplate
comment
Die Skolemform gehört zu den m ...... lf Skolem (1887–1963) benannt.
@de
En lògica matemàtica, la reduc ...... ula original és satisfactible.
@ca
Una fórmula de la lógica de pr ...... a la lógica de segundo orden).
@es
У логіці першого порядку деяка ...... слідок процесу сколемізації) .
@uk
スコーレム標準形(スコーレムひょうじゅんけい、英: Skol ...... quivalence)なスコーレム標準形の論理式が存在する。
@ja
一阶逻辑的公式是Skolem 范式的,如果它的前束范式只有全 ...... 数 f 叫做 Skolem 函数。 举例说明: 其中a为常数
@zh
label
Forma normal de Skolem
@ca
Forma normal de Skolem
@es
Forma normal de Skolem
@pt
Forma normale di Skolem
@it
Forme normale de Skolem
@fr
Skolem normal form
@en
Skolemform
@de
Нормальна форма Сколема
@uk
スコーレム標準形
@ja
斯科伦范式
@zh