Noun
equisatisfiability (uncountable) (logic, of two formulas) The condition of being equisatisfiable.