Source: https://upload.wikimedia.org/wikipedia/commons/thumb/5/52/Ulrich_Kohlenbach.jpg/50px-Ulrich_Kohlenbach.jpg

Ulrich Wilhelm Kohlenbach (born July 27, 1962 in Frankfurt am Main) is a German mathematician and professor of algebra and logic at the Technische Universität Darmstadt. His research interests lie in the field of proof mining.Kohlenbach was President of the German Association for Mathematical Logic and for Basic Research in the Exact Sciences (DVMLG) from 2008 to 2012 and President of the Association for Symbolic Logic from 2016 to 2018.

Description provided by Wikipedia.

Search predictions are possible search terms you can use that are related to the terms you’re typing and what other people are searching for.

This is the list of all entities in this result page. Click an entity to go directly to the entity box.

- Ulrich Kohlenbach German mathematician

Authority control is a method of creating and maintaining index terms for bibliographical material in a library catalogue. The links produced by the authority control template on Wikipedia go to authority control data in worldwide library catalogues.

**Desc:**Ulrich Wilhelm Kohlenbach is a German mathematician and professor of algebra and logic at the Technische Universität Darmstadt. His research interests lie in the field of proof mining.**Wiki:**https://en.wikipedia.org/wiki/Ulrich_Kohlenbach**Type:**Person, Thing**Result Score:**14.09

This process used 24 ms for its computations It spent 4 ms in system calls .