Skip to content
ontologydriven
Sign out

Dictionary

Words, grammatical forms and meanings linked to the ontology.

equisatisfiable en · ADJ

Etymology

From equi- + satisfiable.

Meanings

  1. (not-comparable) 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:

Deriveds

equisatisfiably