Skip to main content
Mathematics
Toobatf's user avatar
Toobatf's user avatar
Toobatf's user avatar
Toobatf
  • Member for 4 years, 1 month
  • Last seen more than a week ago
Profile Activity
Stats
87
reputation
485
reached
0
answers
4
questions
Communities
View all
About

legal researcher

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
0
Score
4
Posts
100
Posts %
0
Score
4
Posts
100
Posts %
0
Score
3
Posts
75
Posts %
0
Score
2
Posts
50
Posts %
0
Score
2
Posts
50
Posts %
Top posts
3
Algorithm for Determining Truth of First-Order Sentences in Complex Numbers
Jun 30
1
Can we imply $\exists x\phi(x)\rightarrow \exists x\psi(x)$ from $\exists x(\phi(x)→\psi(x))$
Aug 2, 2020
0
First-Order Logic with triangle formula algorithm [closed]
Jun 27
-1
Decidability in Natural Numbers with a Combined Function [closed]
Jun 30
Top network posts
View all network posts
7
Are Context-Free languages closed under XOR?