This HTML5 document contains 92 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n22http://g.co/kg/g/
dcthttp://purl.org/dc/terms/
n24https://scholar.google.com/
dbohttp://dbpedia.org/ontology/
n21https://bulletin.eatcs.org/index.php/beatcs/article/view/
foafhttp://xmlns.com/foaf/0.1/
n23https://dblp.org/pid/v/
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n14http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n19https://zbmath.org/authors/?q=ai:
n11http://genealogy.math.ndsu.nodak.edu/
n7http://fr.dbpedia.org/resource/Modèle:
n17http://viaf.org/viaf/
n4http://forsyte.at/people/veith/
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n20https://id.loc.gov/authorities/names/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
n25http://aut.nkp.cz/

Statements

Subject Item
dbpedia-fr:Helmut_Veith
rdf:type
wikidata:Q215627 wikidata:Q19088 dbo:Animal n14:NaturalPerson foaf:Person owl:Thing wikidata:Q5 wikidata:Q729 dbo:Species dbo:Eukaryote schema:Person dbo:Person
rdfs:label
Helmut Veith
rdfs:comment
Helmut Veith (5 février 1971 – 12 mars 2016) est un informaticien autrichien qui a travaillé dans les domaines du model checking, génie logiciel, sécurité des systèmes d'information, et logique pour l'informatique. Il était professeur d'informatique à l'université technique de Vienne (TU Wien).
rdfs:seeAlso
n11:id.php?id=102236 n19:veith.helmut n24:citations?user=9VeRxLIAAAAJ n25:vut2010439843
owl:sameAs
n17:21676994 wikidata:Q23707622 n20:nb2008015378 n22:11cmnmgpmc n23:HelmutVeith dbr:Helmut_Veith
dbo:deathPlace
dbpedia-fr:Vienne_(Autriche)
dbo:birthPlace
dbpedia-fr:Vienne_(Autriche)
dbo:wikiPageID
12578312
dbo:wikiPageRevisionID
188065325
dbo:wikiPageWikiLink
dbpedia-fr:Computer_Aided_Verification dbpedia-fr:Théorie_de_la_complexité_(informatique_théorique) dbpedia-fr:Méthode_formelle_(informatique) dbpedia-fr:Informaticien dbpedia-fr:Génie_logiciel dbpedia-fr:Conseil_européen_de_la_recherche dbpedia-fr:Edmund_M._Clarke category-fr:Professeur_à_l'université_technique_de_Vienne dbpedia-fr:Habilitation_universitaire dbpedia-fr:Autriche category-fr:Décès_à_45_ans dbpedia-fr:Vérification_de_modèles category-fr:Personnalité_en_méthodes_formelles dbpedia-fr:Informatique dbpedia-fr:Université_Carnegie-Mellon category-fr:Étudiant_de_l'université_technique_de_Vienne category-fr:Naissance_en_février_1971 dbpedia-fr:Professeur_(titre) dbpedia-fr:Georg_Gottlob dbpedia-fr:Base_de_données dbpedia-fr:European_Association_for_Theoretical_Computer_Science category-fr:Décès_en_mars_2016 dbpedia-fr:Langage_de_requête dbpedia-fr:Université_technique_de_Munich dbpedia-fr:Sécurité_des_systèmes_d'information dbpedia-fr:Université_technique_de_Vienne category-fr:Personnalité_autrichienne_en_informatique dbpedia-fr:Université_de_technologie_de_Darmstadt dbpedia-fr:Pittsburgh
dbo:wikiPageExternalLink
n21:405 n4:
dbo:wikiPageLength
6758
dct:subject
category-fr:Décès_à_45_ans category-fr:Personnalité_en_méthodes_formelles category-fr:Naissance_en_février_1971 category-fr:Décès_en_mars_2016 category-fr:Professeur_à_l'université_technique_de_Vienne category-fr:Étudiant_de_l'université_technique_de_Vienne category-fr:Personnalité_autrichienne_en_informatique
foaf:homepage
n4:
prop-fr:wikiPageUsesTemplate
n7:Portail n7:Citation_étrangère n7:Références n7:Lien n7:Bases_recherche n7:Infobox_Biographie2 n7:, n7:Date- n7:Liste_simple n7:Autorité
prov:wasDerivedFrom
wikipedia-fr:Helmut_Veith?oldid=188065325&ns=0
prop-fr:web
n4:
prop-fr:wikidata
Q23707622
prop-fr:almaMater
dbpedia-fr:Université_technique_de_Vienne
prop-fr:doctoralAdvisor
dbpedia-fr:Georg_Gottlob
foaf:isPrimaryTopicOf
wikipedia-fr:Helmut_Veith
dbo:employer
dbpedia-fr:Université_technique_de_Vienne
dbo:doctoralStudent
wikidata:Q102346211 wikidata:Q103210486 wikidata:Q103360463
dbo:abstract
Helmut Veith (5 février 1971 – 12 mars 2016) est un informaticien autrichien qui a travaillé dans les domaines du model checking, génie logiciel, sécurité des systèmes d'information, et logique pour l'informatique. Il était professeur d'informatique à l'université technique de Vienne (TU Wien).
dbo:occupation
dbpedia-fr:Informaticien
dbo:almaMater
dbpedia-fr:Université_technique_de_Vienne
dbo:doctoralAdvisor
dbpedia-fr:Georg_Gottlob