Ulrich Kohlenbach

http://dbpedia.org/resource/Ulrich_Kohlenbach an entity of type: Thing

Ulrich Wilhelm Kohlenbach (* 27. Juli 1962 in Frankfurt am Main) ist ein deutscher Mathematiker, der sich mit Mathematischer Logik und speziell Beweistheorie befasst. rdf:langString
Ulrich Wilhelm Kohlenbach (lahir 27 Juli 1962) adalah seorang matematikawan Jerman dan profesor aljabar dan logika di Technische Universität Darmstadt. Peminatan risetnya adalah bidang . rdf:langString
Ulrich Wilhelm Kohlenbach (born 27 July 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. rdf:langString
Ulrich Wilhelm Kohlenbach (Frankfurt am Main, 27 de julho de 1962) é um matemático alemão, que trabalha com lógica matemática e em especial teoria da prova. rdf:langString
rdf:langString Ulrich Kohlenbach
rdf:langString Ulrich Kohlenbach
rdf:langString Ulrich Kohlenbach
rdf:langString Ulrich Kohlenbach
rdf:langString Ulrich Kohlenbach
rdf:langString Ulrich Kohlenbach
rdf:langString Frankfurt am Main, Germany
xsd:date 1962-07-27
xsd:integer 18204005
xsd:integer 1123187790
xsd:date 1962-07-27
rdf:langString Kohlenbach at Oberwolfach, 2011
xsd:integer 220
rdf:langString German
rdf:langString Ulrich Wilhelm Kohlenbach (* 27. Juli 1962 in Frankfurt am Main) ist ein deutscher Mathematiker, der sich mit Mathematischer Logik und speziell Beweistheorie befasst.
rdf:langString Ulrich Wilhelm Kohlenbach (lahir 27 Juli 1962) adalah seorang matematikawan Jerman dan profesor aljabar dan logika di Technische Universität Darmstadt. Peminatan risetnya adalah bidang .
rdf:langString Ulrich Wilhelm Kohlenbach (born 27 July 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.
rdf:langString Ulrich Wilhelm Kohlenbach (Frankfurt am Main, 27 de julho de 1962) é um matemático alemão, que trabalha com lógica matemática e em especial teoria da prova.
rdf:langString Horst Luckhardt
xsd:nonNegativeInteger 4463
owl:Thing
foaf:Person
dbpedia-owl:Person
<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson>
<http://www.wikidata.org/entity/Q19088>
<http://www.wikidata.org/entity/Q215627>
<http://www.wikidata.org/entity/Q5>
<http://www.wikidata.org/entity/Q729>
dbpedia-owl:Animal
dbpedia-owl:Eukaryote
dbpedia-owl:Scientist
dbpedia-owl:Species
schema-org:Person
yago:WikicatLivingPeople
yago:WikicatMathematicalLogicians
<http://www.wikidata.org/entity/Q901>
yago:Alumnus109786338
yago:CausalAgent100007347
yago:Expert109617867
yago:Intellectual109621545
yago:LivingThing100004258
yago:Logician110269785
yago:Mathematician110301261
yago:Object100002684
yago:Organism100004475
yago:Person100007846
yago:PhysicalEntity100001930
yago:WikicatGermanMathematicians
yago:WikicatGoetheUniversityFrankfurtAlumni
yago:YagoLegalActor
yago:YagoLegalActorGeo
yago:Scholar110557854
yago:Scientist110560637
yago:Whole100003553
yago:Wikicat20th-centuryMathematicians
<http://commons.wikimedia.org/wiki/Special:FilePath/Ulrich_Kohlenbach.jpg>
<http://dbpedia.org/resource/Frankfurt_am_Main>
<http://dbpedia.org/resource/Category:1962_births>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Category:Mathematical_logicians>
<http://dbpedia.org/resource/Category:Goethe_University_Frankfurt_alumni>
<http://dbpedia.org/resource/Category:20th-century_German_mathematicians>
<http://dbpedia.org/resource/Category:Technische_Universität_Darmstadt_faculty>
<http://dbpedia.org/resource/Category:21st-century_German_mathematicians>
<http://dbpedia.org/resource/Benedikt_Löwe>
<http://dbpedia.org/resource/Deutsche_Vereinigung_für_mathematische_Logik_und_für_Grundlagenforschung_der_exakten_Wissenschaften>
<http://dbpedia.org/resource/University_of_Michigan>
<http://dbpedia.org/resource/Kurt_Gödel_Society>
<http://dbpedia.org/resource/Category:1962_births>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Mathematical_Research_Institute_of_Oberwolfach>
<http://dbpedia.org/resource/Mathematical_logic>
<http://dbpedia.org/resource/Goethe_University_Frankfurt>
<http://dbpedia.org/resource/Lessing-Gymnasium,_Frankfurt>
<http://dbpedia.org/resource/Frankfurt_am_Main>
<http://dbpedia.org/resource/Category:Mathematical_logicians>
<http://dbpedia.org/resource/Category:Goethe_University_Frankfurt_alumni>
<http://dbpedia.org/resource/Habilitation>
<http://dbpedia.org/resource/Julia_F._Knight>
<http://dbpedia.org/resource/Linguistics>
<http://dbpedia.org/resource/Aarhus_University>
<http://dbpedia.org/resource/Algebra>
<http://dbpedia.org/resource/Diplom>
<http://dbpedia.org/resource/Proof_theory>
<http://dbpedia.org/resource/International_Congress_of_Mathematicians>
<http://dbpedia.org/resource/Technische_Universität_Darmstadt>
<http://dbpedia.org/resource/Category:20th-century_German_mathematicians>
<http://dbpedia.org/resource/Category:Technische_Universität_Darmstadt_faculty>
<http://dbpedia.org/resource/Alasdair_Urquhart>
<http://dbpedia.org/resource/Category:21st-century_German_mathematicians>
<http://dbpedia.org/resource/Association_for_Symbolic_Logic>
<http://dbpedia.org/resource/Proof_mining>
<http://dbpedia.org/resource/Studienstiftung_des_deutschen_Volkes>
<http://dbpedia.org/resource/Peter_Koepke>
<https://www2.mathematik.tu-darmstadt.de/~kohlenbach/%7CUlrich>
<http://rdf.freebase.com/ns/m.04cwrfl>
<http://yago-knowledge.org/resource/Ulrich_Kohlenbach>
<http://viaf.org/viaf/31472533>
<http://d-nb.info/gnd/1143631900>
<http://d-nb.info/gnd/186484992>
<https://dblp.org/pid/63/2811>
<https://orcid.org/0000-0002-4925-3506>
<http://www.wikidata.org/entity/Q7879836>
<http://data.bibliotheken.nl/id/thes/p31441083X>
<http://de.dbpedia.org/resource/Ulrich_Kohlenbach>
<http://id.dbpedia.org/resource/Ulrich_Kohlenbach>
<http://pt.dbpedia.org/resource/Ulrich_Kohlenbach>
<https://global.dbpedia.org/id/4wgvZ>
<http://dbpedia.org/resource/Technische_Universität_Darmstadt>
<http://dbpedia.org/resource/Template:Germany-mathematician-stub>
<http://dbpedia.org/resource/Template:Authority_control>
<http://dbpedia.org/resource/Template:Infobox_officeholder>
<http://dbpedia.org/resource/Template:Short_description>
<http://dbpedia.org/resource/Template:Use_dmy_dates>
<http://dbpedia.org/resource/Template:Birth_date_and_age>
<http://dbpedia.org/resource/Template:Infobox_scientist>
<http://commons.wikimedia.org/wiki/Special:FilePath/Ulrich_Kohlenbach.jpg?width=300>
<http://dbpedia.org/resource/Goethe_University_Frankfurt>
<http://dbpedia.org/resource/Mathematical_logic>
<http://dbpedia.org/resource/Proof_theory>
<http://dbpedia.org/resource/Proof_mining>
<http://dbpedia.org/resource/Kurt_Gödel_Society>
<http://dbpedia.org/resource/Professor>
<http://viaf.org/viaf/31472533>
<http://en.wikipedia.org/wiki/Ulrich_Kohlenbach?oldid=1123187790&ns=0>
<http://dbpedia.org/resource/Mathematical_logic>
<http://dbpedia.org/resource/Proof_theory>
<http://dbpedia.org/resource/Goethe_University_Frankfurt>
<http://dbpedia.org/resource/Kurt_Gödel_Society>
<http://dbpedia.org/resource/Proof_mining>
<http://en.wikipedia.org/wiki/Ulrich_Kohlenbach>

data from the linked data cloud