retrieval of sentence pair句对检索
3)Words and sentences retrieval词句检索
4)Search statements检索语句
5)Substring searching子串检索
6)clause searching method子句搜索方法
1.A clause searching method of deciding satisfiability of propositional clause set Φ was proposed.提出了子句搜索方法判定命题子句集Φ的可满足性,该方法查找Φ中子句的一个公共不可扩展子句C,当且仅当找到C时Φ可满足,此时C中各文字的补构成一个模型。
延伸阅读
仿写句子仿写句子是指在一定的语言环境中,根据语言表达的需要,参照题干所提供的句式,另选一个或多个句式相同、内容与上下文衔接的句子。
