User contributions for Thetna123
A user with 6 edits. Account created on 13 December 2010.
15 January 2011
- 22:1122:11, 15 January 2011 diff hist 0 Automated theorem proving →Benchmarks and competitions
- 22:1022:10, 15 January 2011 diff hist +75 Automated theorem proving →Notable people
13 December 2010
- 21:0821:08, 13 December 2010 diff hist −2 User:Thetna123/Christoph Weidenbach No edit summary current
- 21:0721:07, 13 December 2010
diff hist +447 N
User:Thetna123/Christoph Weidenbach
←Created page with 'Christoph Weidenbach is the German Computer Scientist. He is the head of research group [http://www.mpi-inf.mpg.de/departments/rg1/ Automation of Logic] in Max Plan...'