Misplaced Pages

Stephan Schulz: Difference between revisions

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactively← Previous editNext edit →Content deleted Content addedVisualWikitext
Revision as of 18:52, 15 September 2008 editSebwite (talk | contribs)Autopatrolled, Extended confirmed users, Pending changes reviewers13,543 editsmNo edit summary← Previous edit Revision as of 19:34, 15 September 2008 edit undoJosefUrban (talk | contribs)44 editsNo edit summaryNext edit →
Line 12: Line 12:
}} }}


'''Stephan Schulz''' is an ] ] working in the field of '''Stephan Schulz''' is a ] ] working in the field of
]. ].
He is best known for the development of the high performance ]. He is best known for the development of the high performance ].

==External links==
*
*

Revision as of 19:34, 15 September 2008

This redirect may meet Misplaced Pages's criteria for speedy deletion as an article about a real person that does not credibly indicate the importance or significance of the subject. Note that this criterion applies only to articles about people themselves, not about their books, albums, shows, software, etc. See CSD A7.%5B%5BWP%3ACSD%23A7%7CA7%5D%5D%3A+Article+about+a+real+person%2C+which+does+not+%5B%5BWP%3ACCS%7Ccredibly+indicate+the+importance+or+significance%5D%5D+of+the+subjectA7

If this redirect does not meet the criteria for speedy deletion, or you intend to fix it, please remove this notice, but do not remove this notice from pages that you have created yourself. If you created this page and you disagree with the given reason for deletion, you can click the button below and leave a message explaining why you believe it should not be deleted. You can also visit the talk page to check if you have received a response to your message.

Note that this redirect may be deleted at any time if it unquestionably meets the speedy deletion criteria, or if an explanation posted to the talk page is found to be insufficient.

Nominator: Please consider placing the template:
{{subst:db-significance-notice|Stephan Schulz|header=1}} ~~~~
on the talk page of the author.

Note to administrators: this redirect has content on its talk page which should be checked before deletion.

Administrators: check links, talk, history (last), and logs before deletion. Please confirm before deletion that the page doesn't seem to be intended as the author's userpage. If it does, move it to the proper location instead. Consider checking Google.
This page was last edited by JosefUrban (contribs | logs) at 19:34, 15 September 2008 (UTC) (16 years ago)
Stephan Schulz
File:StephanSchulz.jpgStephan Schulz
NationalityGerman
Known forE equational theorem prover
Scientific career
FieldsComputer Technology

Stephan Schulz is a German computer scientist working in the field of Automated reasoning. He is best known for the development of the high performance E equational theorem prover.

External links