← Back to search

Meaning of equisatisfiable | Babel Free

Adjective CEFR C2

Definitions

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

Examples

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

CEFR level

C2

Mastery
This word is part of the CEFR C2 vocabulary — mastery level.

See also

equisedative equiseparated equisetaceous equisetic equisetiform equisetoid