renamings

英

美

(renaming 的复数) v. 重命名（rename的ing形式）
renaming的复数

双语例句

• The proof is based on the splitting technology and the fact that the complexities of renamings of formulas in MAX ( 1) are polynomial time.
  我们证明了：MAX~+（k）中公式的改名问题在多项式时间内可以判定，并给出相应的算法。
• Finally, we quote application of the literal renaming to illuminate the power of the renamings for prepositional proof systems.
  最后，我们给出了一个文字改名的应用，以此来说明改名问题在证明系统中起到的重要作用。
• The renamings has played a significant role in simplifying resolution proofs of some hard formulas and constructing the efficient satisfiability algorithms.
  改名规则在创建有效的满足性算法和简化某些消解难例的证明中起到了重要作用。