Equisatisfiable

adj

adj ·Rare ·Advanced level

Definitions

Adjective
  1. 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."

Example

More examples

"The "isomorphic" PPTL formulas can be obtained by first an equisatisfiable translation and then an isomorphic mapping."

Etymology

From equi- + satisfiable.

More for "equisatisfiable"

SynonymsSentencesPronunciationTranslate

Next best steps

Find stronger synonymsSee usage examplesCheck pronunciationBrowse writing guides

Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.