基本解释[計] 期柯倫同根派生 Skolem相关词英汉例句Skolem theorem 斯科倫定理Skolem function Skolem函數, 斯柯倫函數Skolem normal form 斯尅勒姆標準形Skolem standard form 斯柯倫範式Skolem更多例句