Denigma

Change List for "Skolem Normal Form"

Hevok changed "Skolem Normal Form" on March 5, 2013, 10:05 p.m. Diffs are on Text Comment: Corrected code blocks.
Hevok initialized "Skolem Normal Form" on March 5, 2013, 10:04 p.m. Comment: Created entry.