| Birthplace
|
http://dbpedia.org/resource/Frankfurt_am_Main +
|
| http://dbpedia.org/ontology/abstract
|
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.
, Ulrich Wilhelm Kohlenbach (born 27 July 19 … 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.tion for Symbolic Logic from 2016 to 2018.
, 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 .
, Ulrich Wilhelm Kohlenbach (* 27. Juli 1962 in Frankfurt am Main) ist ein deutscher Mathematiker, der sich mit Mathematischer Logik und speziell Beweistheorie befasst.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Proof_theory +
, http://dbpedia.org/resource/Mathematical_logic +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/Goethe_University_Frankfurt +
|
| http://dbpedia.org/ontology/award
|
http://dbpedia.org/resource/Kurt_G%C3%B6del_Society +
|
| http://dbpedia.org/ontology/birthDate
|
"1962-07-27"^^xsd:date
|
| http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/Proof_mining +
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Ulrich_Kohlenbach.jpg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://www2.mathematik.tu-darmstadt.de/~kohlenbach/%7CUlrich +
|
| http://dbpedia.org/ontology/wikiPageID
|
18204005
|
| http://dbpedia.org/ontology/wikiPageLength
|
4463
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1123187790
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Goethe_University_Frankfurt +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Mathematical_Research_Institute_of_Oberwolfach +
, http://dbpedia.org/resource/Category:Goethe_University_Frankfurt_alumni +
, http://dbpedia.org/resource/Linguistics +
, http://dbpedia.org/resource/Algebra +
, http://dbpedia.org/resource/Category:20th-century_German_mathematicians +
, http://dbpedia.org/resource/Diplom +
, http://dbpedia.org/resource/Category:21st-century_German_mathematicians +
, http://dbpedia.org/resource/Studienstiftung_des_deutschen_Volkes +
, http://dbpedia.org/resource/Technische_Universit%C3%A4t_Darmstadt +
, http://dbpedia.org/resource/Category:1962_births +
, http://dbpedia.org/resource/University_of_Michigan +
, http://dbpedia.org/resource/Kurt_G%C3%B6del_Society +
, http://dbpedia.org/resource/Proof_theory +
, http://dbpedia.org/resource/Category:Mathematical_logicians +
, http://dbpedia.org/resource/Category:Technische_Universit%C3%A4t_Darmstadt_faculty +
, http://dbpedia.org/resource/Julia_F._Knight +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Aarhus_University +
, http://dbpedia.org/resource/Frankfurt_am_Main +
, http://dbpedia.org/resource/Proof_mining +
, http://dbpedia.org/resource/International_Congress_of_Mathematicians +
, http://dbpedia.org/resource/Peter_Koepke +
, http://dbpedia.org/resource/Habilitation +
, http://dbpedia.org/resource/Lessing-Gymnasium%2C_Frankfurt +
, http://dbpedia.org/resource/Benedikt_L%C3%B6we +
, http://dbpedia.org/resource/Association_for_Symbolic_Logic +
, http://dbpedia.org/resource/Alasdair_Urquhart +
, http://dbpedia.org/resource/Deutsche_Vereinigung_f%C3%BCr_mathematische_Logik_und_f%C3%BCr_Grundlagenforschung_der_exakten_Wissenschaften +
|
| http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/Goethe_University_Frankfurt +
|
| http://dbpedia.org/property/birthDate
|
"1962-07-27"^^xsd:date
|
| http://dbpedia.org/property/birthPlace
|
Frankfurt am Main, Germany
|
| http://dbpedia.org/property/caption
|
Kohlenbach at Oberwolfach, 2011
|
| http://dbpedia.org/property/doctoralAdvisor
|
Horst Luckhardt
|
| http://dbpedia.org/property/field
|
http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Proof_theory +
|
| http://dbpedia.org/property/imageSize
|
220
|
| http://dbpedia.org/property/knownFor
|
http://dbpedia.org/resource/Proof_mining +
|
| http://dbpedia.org/property/name
|
Ulrich Kohlenbach
|
| http://dbpedia.org/property/nationality
|
German
|
| http://dbpedia.org/property/prizes
|
http://dbpedia.org/resource/Kurt_G%C3%B6del_Society +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Infobox_officeholder +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Germany-mathematician-stub +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Birth_date_and_age +
, http://dbpedia.org/resource/Template:Authority_control +
|
| http://dbpedia.org/property/workInstitution
|
http://dbpedia.org/resource/Technische_Universit%C3%A4t_Darmstadt +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Mathematical_logicians +
, http://dbpedia.org/resource/Category:21st-century_German_mathematicians +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:20th-century_German_mathematicians +
, http://dbpedia.org/resource/Category:Goethe_University_Frankfurt_alumni +
, http://dbpedia.org/resource/Category:Technische_Universit%C3%A4t_Darmstadt_faculty +
, http://dbpedia.org/resource/Category:1962_births +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Professor +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/31472533 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Ulrich_Kohlenbach?oldid=1123187790&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Ulrich_Kohlenbach.jpg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Ulrich_Kohlenbach +
|
| http://xmlns.com/foaf/0.1/name
|
Ulrich Kohlenbach
|
| owl:sameAs |
http://www.wikidata.org/entity/Q7879836 +
, http://d-nb.info/gnd/186484992 +
, http://d-nb.info/gnd/1143631900 +
, http://rdf.freebase.com/ns/m.04cwrfl +
, http://viaf.org/viaf/31472533 +
, http://dbpedia.org/resource/Ulrich_Kohlenbach +
, http://data.bibliotheken.nl/id/thes/p31441083X +
, https://dblp.org/pid/63/2811 +
, http://de.dbpedia.org/resource/Ulrich_Kohlenbach +
, https://orcid.org/0000-0002-4925-3506 +
, http://pt.dbpedia.org/resource/Ulrich_Kohlenbach +
, http://yago-knowledge.org/resource/Ulrich_Kohlenbach +
, http://id.dbpedia.org/resource/Ulrich_Kohlenbach +
, https://global.dbpedia.org/id/4wgvZ +
|
| rdf:type |
http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/Mathematician110301261 +
, http://dbpedia.org/class/yago/Logician110269785 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/WikicatMathematicalLogicians +
, http://www.wikidata.org/entity/Q729 +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/Alumnus109786338 +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/class/yago/Scholar110557854 +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/class/yago/Expert109617867 +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/Wikicat20th-centuryMathematicians +
, http://dbpedia.org/class/yago/WikicatGermanMathematicians +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://www.wikidata.org/entity/Q215627 +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/ontology/Animal +
, http://www.wikidata.org/entity/Q901 +
, http://dbpedia.org/ontology/Eukaryote +
, http://dbpedia.org/ontology/Scientist +
, http://schema.org/Person +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/class/yago/WikicatGoetheUniversityFrankfurtAlumni +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/ontology/Species +
|
| rdfs:comment |
Ulrich Wilhelm Kohlenbach (born 27 July 19 … 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.tion for Symbolic Logic from 2016 to 2018.
, Ulrich Wilhelm Kohlenbach (* 27. Juli 1962 in Frankfurt am Main) ist ein deutscher Mathematiker, der sich mit Mathematischer Logik und speziell Beweistheorie befasst.
, 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.
, 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 .
|
| rdfs:label |
Ulrich Kohlenbach
|
