In this paper, an improved paramodulation method is also presented, that prohibits the paramodulation between equalities .
文中还提出了一种改进的调解方法，其中禁止等词之间的调解。
In this paper, an improved paramodulation method is also presented, that prohibits the paramodulation between equalities .
文中还提出了一种改进的调解方法，其中禁止等词之间的调解。
应用推荐