便是平的最一般合一。 2.4.2.4 归结式定义 2.30 若由子句 C 中的两个或多个文字构成的集合存在最一般合一置换 6 ,则称 C.为 C 的因子。若 C.单位子句,则称它为 C 的 ...
確定! 回上一頁