Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Thomas_Streicher> ?p ?o }
Showing triples 1 to 47 of
47
with 100 triples per page.
- Thomas_Streicher abstract "Thomas Streicher is a Professor of Mathematics at Technische Universität Darmstadt. He received his PhD in 1988 from the University of Passau with advisor Manfred Broy.".
- Thomas_Streicher wikiPageExternalLink venedig.ps.gz.
- Thomas_Streicher wikiPageExternalLink index.php?id=1683.
- Thomas_Streicher wikiPageID "39881417".
- Thomas_Streicher wikiPageLength "2126".
- Thomas_Streicher wikiPageOutDegree "18".
- Thomas_Streicher wikiPageRevisionID "659349713".
- Thomas_Streicher wikiPageWikiLink Categorical_logic.
- Thomas_Streicher wikiPageWikiLink Category:German_mathematicians.
- Thomas_Streicher wikiPageWikiLink Domain_theory.
- Thomas_Streicher wikiPageWikiLink Groupoid.
- Thomas_Streicher wikiPageWikiLink Groupoids.
- Thomas_Streicher wikiPageWikiLink Homotopy_type_theory.
- Thomas_Streicher wikiPageWikiLink IEEE_Symposium_on_Logic_in_Computer_Science.
- Thomas_Streicher wikiPageWikiLink Identity_type.
- Thomas_Streicher wikiPageWikiLink Intensional_type_theory.
- Thomas_Streicher wikiPageWikiLink Intuitionistic_type_theory.
- Thomas_Streicher wikiPageWikiLink Manfred_Broy.
- Thomas_Streicher wikiPageWikiLink Martin-Löf_type_theory.
- Thomas_Streicher wikiPageWikiLink Martin_Hofmann.
- Thomas_Streicher wikiPageWikiLink Mathematics.
- Thomas_Streicher wikiPageWikiLink Set_(mathematics).
- Thomas_Streicher wikiPageWikiLink Symposium_on_Logic_in_Computer_Science.
- Thomas_Streicher wikiPageWikiLink Technische_Universität_Darmstadt.
- Thomas_Streicher wikiPageWikiLink University_of_Passau.
- Thomas_Streicher wikiPageWikiLink Vladimir_Voevodsky.
- Thomas_Streicher wikiPageWikiLinkText "Streicher".
- Thomas_Streicher wikiPageWikiLinkText "Streicher, Thomas".
- Thomas_Streicher wikiPageWikiLinkText "Thomas Streicher".
- Thomas_Streicher hasPhotoCollection Thomas_Streicher.
- Thomas_Streicher wikiPageUsesTemplate Template:Authority_control.
- Thomas_Streicher wikiPageUsesTemplate Template:Germany-mathematician-stub.
- Thomas_Streicher wikiPageUsesTemplate Template:MathGenealogy.
- Thomas_Streicher wikiPageUsesTemplate Template:Notability.
- Thomas_Streicher wikiPageUsesTemplate Template:Reflist.
- Thomas_Streicher subject Category:German_mathematicians.
- Thomas_Streicher hypernym Professor.
- Thomas_Streicher type Person.
- Thomas_Streicher type Thing.
- Thomas_Streicher comment "Thomas Streicher is a Professor of Mathematics at Technische Universität Darmstadt. He received his PhD in 1988 from the University of Passau with advisor Manfred Broy.".
- Thomas_Streicher label "Thomas Streicher".
- Thomas_Streicher sameAs m.051d64j.
- Thomas_Streicher sameAs Q14491931.
- Thomas_Streicher sameAs Q14491931.
- Thomas_Streicher wasDerivedFrom Thomas_Streicher?oldid=659349713.
- Thomas_Streicher homepage index.php?id=1683.
- Thomas_Streicher isPrimaryTopicOf Thomas_Streicher.