equisatisfiable

形容词 adj.
中文释义

英文释义

形容词 adj.
  1. Of a pair of formulas, where one formula is satisfiable whenever the other is satisfiable (either both formulas are satisfiable or both are not). not-comparable
    — The "isomorphic" PPTL formulas can be obtained by first an equisatisfiable translation and then an isomorphic mapping.

词源

From equi- + satisfiable.
0 次浏览 数据来源: Wiktionary