About DBpedia Fr

About: http://fr.dbpedia.org/resource/Thomas_Henzinger

An Entity of Type : person, from Named Graph : http://fr.dbpedia.org, within Data Space : fr.dbpedia.org

Thomas Henzinger (né le 8 décembre 1962) est un informaticien autrichien spécialisé dans le domaine des méthodes formelles.

Property Value
dbo:abstract
  • Thomas Henzinger (né le 8 décembre 1962) est un informaticien autrichien spécialisé dans le domaine des méthodes formelles. (fr)
  • Thomas Henzinger (né le 8 décembre 1962) est un informaticien autrichien spécialisé dans le domaine des méthodes formelles. (fr)
dbo:almaMater
dbo:award
dbo:birthPlace
dbo:citizenship
dbo:employer
dbo:occupation
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 385095 (xsd:integer)
dbo:wikiPageLength
  • 2485 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 158357999 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • Thomas Henzinger (né le 8 décembre 1962) est un informaticien autrichien spécialisé dans le domaine des méthodes formelles. (fr)
  • Thomas Henzinger (né le 8 décembre 1962) est un informaticien autrichien spécialisé dans le domaine des méthodes formelles. (fr)
rdfs:label
  • Thomas Henzinger (fr)
  • توماس هينزينجر (arz)
  • Thomas Henzinger (fr)
  • توماس هينزينجر (arz)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License