SKOLEMISATION


Meaning of SKOLEMISATION in English

A means of removing quantifier s from first order logic formulas.

[Details?]

FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.