https://en.formulasearchengine.com/index.php?action=history&feed=atom&title=Skolem_normal_formSkolem normal form - Revision history2026-06-05T18:10:15ZRevision history for this page on the wikiMediaWiki 1.43.0-wmf.28https://en.formulasearchengine.com/index.php?title=Skolem_normal_form&diff=230162&oldid=prev79.43.126.99: /* How Skolemization works */2014-11-26T16:00:54Z<p><span class="autocomment">How Skolemization works</span></p>
<a href="https://en.formulasearchengine.com/index.php?title=Skolem_normal_form&diff=230162&oldid=4719">Show changes</a>79.43.126.99https://en.formulasearchengine.com/index.php?title=Skolem_normal_form&diff=4719&oldid=prev178.202.36.173: Skolem NF does not have to be in prenex CNF. Prenex NF is sufficient. See http://books.google.de/books?id=JDLQOMKbdScC&pg=PA224&lpg=PA224&dq=skolem+prenex+normal+form&source=bl&ots=I5_veRm02B&sig=pCLUzpMcyjCZFLOFnSlyfiOdoKw&hl=de&sa=X&ei=By2yUp_kCIXV4ASz12013-12-18T23:19:20Z<p>Skolem NF does not have to be in prenex CNF. Prenex NF is sufficient. See http://books.google.de/books?id=JDLQOMKbdScC&pg=PA224&lpg=PA224&dq=skolem+prenex+normal+form&source=bl&ots=I5_veRm02B&sig=pCLUzpMcyjCZFLOFnSlyfiOdoKw&hl=de&sa=X&ei=By2yUp_kCIXV4ASz1</p>
<a href="https://en.formulasearchengine.com/index.php?title=Skolem_normal_form&diff=4719&oldid=230161">Show changes</a>178.202.36.173https://en.formulasearchengine.com/index.php?title=Skolem_normal_form&diff=230161&oldid=preven>KYLEMONGER: obvious typo, restored missing 'e'2012-01-07T02:57:41Z<p>obvious typo, restored missing 'e'</p>
<a href="https://en.formulasearchengine.com/index.php?title=Skolem_normal_form&diff=230161">Show changes</a>en>KYLEMONGER