Context: Skolemization is the process of removing the existential quantifiers in a first-order formula. The existential bounded variables are replaced with existential quantified function.
Questions: How, in practice, are these functions generated? Do we have another choice than a brute force st...
@StrongBad The pertaining conversation starts here. I do not have the power to dig out the post in question, but you probably have.
@Saturnus I do not wish you to be gone from this site and I have no idea what makes you think so (I even awarded you a +200 bounty). If me trying to give you advice gave you this impression, I am sorry about that, but you are grossly misinterpreting this. It’s also not “my site”.
The Ivory Tower
The Ivory Tower