Discussió:Eliminació de quantificadors
   | Aquest article, o una part, prové d'una traducció de l'article sota llicència CC-BY-SA-3.0 i/o GFDL: «Quantifier elimination» (anglès). Consulteu l'historial de la pàgina original per a conèixer la llista d'autors. |