Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Ulrich_Kohlenbach> ?p ?o }
Showing triples 1 to 77 of
77
with 100 triples per page.
- Ulrich_Kohlenbach abstract "Ulrich Wilhelm Kohlenbach (* July 27, 1962 in Frankfurt am Main) is a German professor of mathematics and a researcher in logic. He graduated ('Abitur') from Lessing-Gymnasium (High School) in 1980 and completed his studies of mathematics, philosophy, and linguistics with a master degree ('Diplom') from the University of Frankfurt. In 1990, he received his Ph.D. under H. Luckhardt and passed his Habilitation ('venia legendi') in mathematics five years later at the University of Frankfurt. In 1998, he became an associate professor at the University of Aarhus in Denmark where he worked until 2004. Kohlenbach is now a full professor at the Technische Universität Darmstadt. He is married to Gabriele Bahl-Kohlenbach with whom he has a daughter.His research interests lie in the field of "proof mining"(see also ).".
- Ulrich_Kohlenbach birthDate "1962-07-27".
- Ulrich_Kohlenbach birthYear "1962".
- Ulrich_Kohlenbach thumbnail Ulrich_Kohlenbach.jpg?width=300.
- Ulrich_Kohlenbach wikiPageExternalLink ~kohlenbach.
- Ulrich_Kohlenbach wikiPageID "18204005".
- Ulrich_Kohlenbach wikiPageLength "2096".
- Ulrich_Kohlenbach wikiPageOutDegree "18".
- Ulrich_Kohlenbach wikiPageRevisionID "659737811".
- Ulrich_Kohlenbach wikiPageWikiLink Category:1962_births.
- Ulrich_Kohlenbach wikiPageWikiLink Category:20th-century_German_mathematicians.
- Ulrich_Kohlenbach wikiPageWikiLink Category:21st-century_German_mathematicians.
- Ulrich_Kohlenbach wikiPageWikiLink Category:Goethe_University_Frankfurt_alumni.
- Ulrich_Kohlenbach wikiPageWikiLink Category:Living_people.
- Ulrich_Kohlenbach wikiPageWikiLink Category:Mathematical_logicians.
- Ulrich_Kohlenbach wikiPageWikiLink Category:Technische_Universität_Darmstadt_faculty.
- Ulrich_Kohlenbach wikiPageWikiLink Frankfurt.
- Ulrich_Kohlenbach wikiPageWikiLink Frankfurt_am_Main.
- Ulrich_Kohlenbach wikiPageWikiLink Germany.
- Ulrich_Kohlenbach wikiPageWikiLink Goethe_University_Frankfurt.
- Ulrich_Kohlenbach wikiPageWikiLink Habilitation.
- Ulrich_Kohlenbach wikiPageWikiLink Johann_Wolfgang_Goethe_University_Frankfurt_am_Main.
- Ulrich_Kohlenbach wikiPageWikiLink Linguistics.
- Ulrich_Kohlenbach wikiPageWikiLink Mathematics.
- Ulrich_Kohlenbach wikiPageWikiLink Philosophy.
- Ulrich_Kohlenbach wikiPageWikiLink Proof_mining.
- Ulrich_Kohlenbach wikiPageWikiLink Technische_Universität_Darmstadt.
- Ulrich_Kohlenbach wikiPageWikiLink File:Ulrich_Kohlenbach.jpg.
- Ulrich_Kohlenbach wikiPageWikiLinkText "Kohlenbach, Ulrich".
- Ulrich_Kohlenbach wikiPageWikiLinkText "Ulrich Kohlenbach".
- Ulrich_Kohlenbach dateOfBirth "1962-07-27".
- Ulrich_Kohlenbach hasPhotoCollection Ulrich_Kohlenbach.
- Ulrich_Kohlenbach name "Kohlenbach, Ulrich Wilhelm".
- Ulrich_Kohlenbach shortDescription "German mathematician".
- Ulrich_Kohlenbach wikiPageUsesTemplate Template:Authority_control.
- Ulrich_Kohlenbach wikiPageUsesTemplate Template:Germany-mathematician-stub.
- Ulrich_Kohlenbach wikiPageUsesTemplate Template:Persondata.
- Ulrich_Kohlenbach description "German mathematician".
- Ulrich_Kohlenbach description "German mathematician".
- Ulrich_Kohlenbach subject Category:1962_births.
- Ulrich_Kohlenbach subject Category:20th-century_German_mathematicians.
- Ulrich_Kohlenbach subject Category:21st-century_German_mathematicians.
- Ulrich_Kohlenbach subject Category:Goethe_University_Frankfurt_alumni.
- Ulrich_Kohlenbach subject Category:Living_people.
- Ulrich_Kohlenbach subject Category:Mathematical_logicians.
- Ulrich_Kohlenbach subject Category:Technische_Universität_Darmstadt_faculty.
- Ulrich_Kohlenbach hypernym Professor.
- Ulrich_Kohlenbach type Agent.
- Ulrich_Kohlenbach type Article.
- Ulrich_Kohlenbach type List.
- Ulrich_Kohlenbach type Person.
- Ulrich_Kohlenbach type Scientist.
- Ulrich_Kohlenbach type Article.
- Ulrich_Kohlenbach type List.
- Ulrich_Kohlenbach type Mathematician.
- Ulrich_Kohlenbach type Scholar.
- Ulrich_Kohlenbach type Scientist.
- Ulrich_Kohlenbach type Person.
- Ulrich_Kohlenbach type Agent.
- Ulrich_Kohlenbach type NaturalPerson.
- Ulrich_Kohlenbach type Thing.
- Ulrich_Kohlenbach type Q215627.
- Ulrich_Kohlenbach type Q5.
- Ulrich_Kohlenbach type Person.
- Ulrich_Kohlenbach comment "Ulrich Wilhelm Kohlenbach (* July 27, 1962 in Frankfurt am Main) is a German professor of mathematics and a researcher in logic. He graduated ('Abitur') from Lessing-Gymnasium (High School) in 1980 and completed his studies of mathematics, philosophy, and linguistics with a master degree ('Diplom') from the University of Frankfurt. In 1990, he received his Ph.D. under H. Luckhardt and passed his Habilitation ('venia legendi') in mathematics five years later at the University of Frankfurt.".
- Ulrich_Kohlenbach label "Ulrich Kohlenbach".
- Ulrich_Kohlenbach sameAs m.04cwrfl.
- Ulrich_Kohlenbach sameAs Q7879836.
- Ulrich_Kohlenbach sameAs Q7879836.
- Ulrich_Kohlenbach wasDerivedFrom Ulrich_Kohlenbach?oldid=659737811.
- Ulrich_Kohlenbach depiction Ulrich_Kohlenbach.jpg.
- Ulrich_Kohlenbach givenName "Ulrich Wilhelm".
- Ulrich_Kohlenbach homepage ~kohlenbach.
- Ulrich_Kohlenbach isPrimaryTopicOf Ulrich_Kohlenbach.
- Ulrich_Kohlenbach name "Kohlenbach, Ulrich Wilhelm".
- Ulrich_Kohlenbach name "Ulrich Wilhelm Kohlenbach".
- Ulrich_Kohlenbach surname "Kohlenbach".