binary Paramodulant的意思|示意
美 / /
英 / /
二进制Paramodulant
binary Paramodulant的网络常见释义
二元调解式 如果和 有一个最一般合一式，那么推导出1和2的二元调解式（binary Paramodulant）: 其中[ ( )]表示用代替在中单个出现的结果（等式的对称性被一对倒置和角 色的规则处理）。