equisatisfiable
adjEtymology From equi- + satisfiable.
1
Human sciences, Logic, Mathematics, Philosophy, Sciences 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:
- Derived terms
- equisatisfiably