equisatisfiable
Jump to navigation
Jump to search
English
[edit]Etymology
[edit]From equi- + satisfiable.
Adjective
[edit]equisatisfiable (not comparable)
- (logic) Of a pair of formulas, where one formula is satisfiable whenever the other is satisfiable (either both formulas are satisfiable or both are not).
- 2015, Xu Lu, Zhenhua Duan, Cong Tian, “Extending PPTL for Verifying Heap Evolution Properties”, in arXiv[1]:
- The "isomorphic" PPTL formulas can be obtained by first an equisatisfiable translation and then an isomorphic mapping.
Further reading
[edit]Equisatisfiability on Wikipedia.Wikipedia