skolemization

英 [skɒləmaɪ'zeɪʃən] 美 [skɒləmaɪ'zeɪʃən]

• 斯科伦化