Reputation
1,102
Top tag
Next privilege 2,000 Rep.
Edit questions and answers
Badges
5 24
Impact
~18k people reached

Jun
15
accepted Notation for Model-Relation of formulae with free variables
May
28
revised Homomorphical Equivalence is NP-complete
Format, Capitalization
May
28
accepted Homomorphical Equivalence is NP-complete
May
28
suggested approved edit on Homomorphical Equivalence is NP-complete
May
21
answered Notation for Model-Relation of formulae with free variables
May
21
asked Notation for Model-Relation of formulae with free variables
May
13
awarded  Excavator
May
13
revised Projected graph and given graph
Grammar, Latex, Spacing
May
13
suggested approved edit on Projected graph and given graph
May
10
revised Bad proof or not?
Formatting, Latex, Math stuff
May
10
suggested approved edit on Bad proof or not?
May
9
revised Finding 1000th 5-smooth number
Beautify, Latex ...
May
9
suggested approved edit on Finding 1000th 5-smooth number
May
9
accepted Reusing Variables First Order Logics
May
8
asked Reusing Variables First Order Logics
Mar
28
awarded  Tumbleweed
Mar
21
accepted Natural Decision Problem not in PTIME
Mar
21
answered Natural Decision Problem not in PTIME
Mar
3
asked Natural Decision Problem not in PTIME
Feb
13
comment Selecting a unique pair satisfying a condition $\varphi$ with an ordering
Okay, you're right. I tried to make this problem as general as possible. But it back-fired. $A$ is finite. Furthermore, we assume that there is always a pair which satisfies $\varphi$.