equisatisfiable
Word Rarity
Very rare
Frequency: Zipf frequency 0.00 in modern English
29
Scrabble Score
15
Letters
6
Syllables
10
Unique Chars
Meaning
adj
Of a pair of formulas, where one formula is satisfiable whenever the other is satisfiable (either both formulas are satisfiable or both are not).
Example Sentences
- "The "isomorphic" PPTL formulas can be obtained by first an equisatisfiable translation and then an isomorphic mapping."
Etymology
From equi- + satisfiable.
Word Breakdown
- Prefix: equi