下面哪个技术跟中文分词无关（）：

当P为F，Q为F，R为T时，（P ∨ Q） ↔ R的真值是 （）

Teacher(father(Zhan))的个体是 （）

本原问题所对应的节点称为 （）

状态空间的三元组（S，F，G）代表（）

本原问题所对应的节点称为（）

置换是一个形如{ t1/x1, t2/x2, …, tn/xn }的有限集合：xi可以是

以下不是正确置换的是

对于谓词公式P，如果至少存在一个解释使得公式P在此解释下的真值为T，则称公式P是

设P和Q是两个谓词公式，D是它们共同的个体域，若对于D上的任何一个解释P和Q都有相同的真值，则称P和Q在D上

消去存在量词时，当（）时，用skolem函数