Word.ws English Dictionary

equisatisfiable

equisatisfiable adjective: of a pair of formulas, where one formula is satisfiable whenever the other is satisfiable (either both formulas are satisfiable or both are not).

Adjective

equisatisfiable (not comparable)

  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).
    • The "isomorphic" PPTL formulas can be obtained by first an equisatisfiable translation and then an isomorphic mapping.2015, Xu Lu, Zhenhua Duan, Cong Tian, “Extending PPTL for Verifying Heap Evolution Properties”, in arXiv

Origin of equisatisfiable

From equi- + satisfiable.

Words formed from equisatisfiable

Questions about equisatisfiable

What does equisatisfiable mean?
Equisatisfiable means of a pair of formulas, where one formula is satisfiable whenever the other is satisfiable (either both formulas are satisfiable or both are not).
What part of speech is equisatisfiable?
Equisatisfiable is an adjective.

Words near equisatisfiable in the dictionary

  1. equiregularity
  2. equires
  3. equiripple
  4. equirotal
  5. equisatisfiability
  6. equisatisfiable
  7. equisatisfiably
  8. equisedative
  9. equiseparated
  10. equiseta
  11. equisetaceous

Source and license

Adapted from Wiktionary: equisatisfiable (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “equisatisfiable.” Word.ws, https://word.ws/equisatisfiable. Based on Wiktionary, CC BY-SA 4.0.