User contributions for 178.202.36.173

Results for 178.202.36.173 talk block log logs
Jump to navigation Jump to search
Search for contributionsExpandCollapse
⧼contribs-top⧽
⧼contribs-date⧽

19 December 2013

  • 00:1900:19, 19 December 2013 diff hist +11,267 N Skolem normal form 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
Retrieved from "https://en.formulasearchengine.com/wiki/Special:Contributions/178.202.36.173"