User Mohammad Noorani Bakerally - MathOverflow

Mohammad Noorani Bakerally

Member for 12 years, 1 month
Last seen more than 4 years ago

GitHub
Saint-Étienne, France

Network profile

9 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions

awarded

Yearling

Nov 13, 2019 at 20:19

awarded

Autobiographer

Dec 11, 2017 at 7:42

awarded

Nice Question

Feb 5, 2017 at 11:34

awarded

Notable Question

Sep 16, 2015 at 0:24

awarded

Popular Question

May 13, 2013 at 18:20

awarded

Supporter

Nov 21, 2012 at 20:35

comment

why Skolemization?

I'm asking, because Skolemization basically means removing existential quantifiers, but why??

Nov 21, 2012 at 19:48

awarded

Student

Nov 21, 2012 at 17:50

asked

why Skolemization?

Nov 21, 2012 at 17:40

Loading…