3 May
2001
3 May
'01
9:33 p.m.
On Thu, 3 May 2001 Critterrathman@aol.com wrote: (snip)
BTW, what is this "Skolem constant" that's referred to in the error message that I received?
A combination of http://www.sdsc.edu/~tbailey/teaching/cse151/lectures/chap09a.html and http://cs.wwc.edu/~aabyan/Logic/normal.html may answer that for you. (-: (It was too long ago now for me to remember much, and I'm not sure where my notes are, so I daren't attempt an explanation myself!) -- Mark