Skolemisation




A means of removing quantifiers from first order logic formulas.

[Details?]





< Previous Terms Terms Containing skolemisation Next Terms >
S/Key
Skill
Skim
SkipJack
SKOL
 S-K reduction machine
skrog
SKsh
SKU
skulker