<div>
<p>
    Quantifier elimination <code>QE</code> decides truth of real arithmetic formulas.
</p>
<p>
    QE may potentially take a long time. Reducing the number of variables that occur in formulas helps.
    Use <kbd>Edit</kbd> &rarr; <code>abbrv</code> to simplify formulas together with <code>hideL</code> and <code>hideR</code> to hide irrelevant
    assumptions and alternatives prior to QE.
</p>
<p>
See also
<ul>
    <li><kbd>Edit</kbd> for formula editing and abbreviations.</li>
    <li><kbd>Tools &