equisatisfiable
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
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
