Wikipedia:Articles for deletion/Stephan Schulz
to E equational theorem prover (he is sort of ) though I have no idea if that topic is notable
— User:Springnuts, 08:13, 10 December 2009 (UTC)
Stance: merge
Cited policy: WP:1E (Wikipedia:Notability)