基本解释[计] 期柯伦同根派生 Skolem相关词英汉例句Skolem theorem 斯科伦定理Skolem function Skolem函数, 斯柯伦函数Skolem normal form 斯克勒姆标准形Skolem standard form 斯柯伦范式Skolem更多例句