« first day (1959 days earlier)   

12:07 AM
@Saturnus wait, what is going on?
 
0
Q: How to generate Skolem function in practice

Pierre T.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...

 
 
5 hours later…
5:26 AM
@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”.
 
 
6 hours later…
11:13 AM
@Wrzlprmft I remember that, but that was a while ago. Thanks for the link.
 
 
11 hours later…
9:52 PM
It appears that this year in our PhD programme we have 3 applicants for 7 funded positions. We should definitely improve the advertising.
 

« first day (1959 days earlier)