资料来源 : Free On-Line Dictionary of Computing

skolemisation
     
        A means of removing {quantifier}s from {first order logic}
        formulas.
     
        [Details?]