Closed salmans closed 9 years ago
It looks like that the bounds on Skolem depth is only working for ordinary existential quantifiers but not Lone quantifiers introduced for functions.
It looks like that the bounds on Skolem depth is only working for ordinary existential quantifiers but not Lone quantifiers introduced for functions.