Equisatisfiable

"Equisatisfiable" in a Sentence (1 examples)

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

More for "equisatisfiable"

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