equisatisfiable

E1Q10U1I1S1A1T1I1S1F4I1A1B3L1E1

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).

Scrabble 29
Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

adjectiveequisatisfiable (not comparable)
  1. not comparablehuman sciencesOf 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

From equi- + satisfiable.

Full word history & related roots →
Cite this entry
APA

equisatisfiable. (n.d.). In WatkinsX Dictionary. Retrieved November 4, 2026, from https://dictionary.watkinsx.com/word/equisatisfiable

MLA

“equisatisfiable.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/equisatisfiable. Accessed November 4, 2026.

Chicago

WatkinsX Dictionary, s.v. “equisatisfiable,” accessed November 4, 2026, https://dictionary.watkinsx.com/word/equisatisfiable.

Source: equisatisfiable on Wiktionary, CC BY-SA 4.0.