Partial quantifier elimination pQE finds hints on how to strengthen the assumptions in case Tools → QE returns false or Tools → Counterexample indicates that the assumptions are not strong enough.

See also

Learning resources