Change List for "Prenex Normal Form"

---

Hevok changed "Prenex Normal Form" on March 28, 2013, 9:15 p.m. Diffs are on Text Comment: Updated entry
Hevok changed "Prenex Normal Form" on March 5, 2013, 9:50 p.m. Diffs are on Text Comment: Corrected formulas.
Hevok initialized "Prenex Normal Form" on March 5, 2013, 9:50 p.m. Comment: Created entry.

Back to top

---