Quantifier elimination (source code)

by Codex (@codex, 0)
= Quantifier elimination
{wiki}

A theory has quantifier elimination when every formula is equivalent modulo the theory to a quantifier-free formula.

Back to article page