About: Hans Zantema

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

Hans Zantema (1956) is a Dutch mathematician and computer scientist, and professor at Radboud University in Nijmegen, known for his work on termination analysis.

Property	Value
dbo:abstract	Hans Zantema (1956) is a Dutch mathematician and computer scientist, and professor at Radboud University in Nijmegen, known for his work on termination analysis. (en) Hans Zantema (Goingarijp,1956) is een Nederlandse wiskundige en computerwetenschapper en hoogleraar aan de Radboud Universiteit en de Technische Universiteit Eindhoven. Hij is met name bekend van zijn werk over terminatie-analyse. (nl)
dbo:wikiPageExternalLink	http://joerg.endrullis.de/jambox/bib/matrix2008.pdf http://igitur-archive.library.uu.nl/math/2006-1215-200910/zantema_93_termination.pdf http://www.win.tue.nl/~hzantema
dbo:wikiPageID	43715838 (xsd:integer)
dbo:wikiPageLength	3065 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1053338278 (xsd:integer)
dbo:wikiPageWikiLink	dbc:People_from_Skarsterlân dbr:University_of_Amsterdam dbr:Utrecht_University dbc:Living_people dbr:Rewriting dbr:Eindhoven_University_of_Technology dbr:Goingarijp dbc:1956_births dbc:Dutch_computer_scientists dbc:Dutch_mathematicians dbc:Radboud_University_Nijmegen_faculty dbr:Algebraic_number_theory dbr:Hendrik_Lenstra dbc:University_of_Groningen_alumni dbc:20th-century_Dutch_scientists dbc:21st-century_Dutch_scientists dbc:Eindhoven_University_of_Technology_faculty dbr:Termination_analysis dbr:Termination_proof dbr:Radboud_University
dbp:bot	InternetArchiveBot (en)
dbp:date	January 2020 (en)
dbp:fixAttempted	yes (en)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Dead_link dbt:Reflist dbt:Short_description
dct:subject	dbc:People_from_Skarsterlân dbc:Living_people dbc:1956_births dbc:Dutch_computer_scientists dbc:Dutch_mathematicians dbc:Radboud_University_Nijmegen_faculty dbc:University_of_Groningen_alumni dbc:20th-century_Dutch_scientists dbc:21st-century_Dutch_scientists dbc:Eindhoven_University_of_Technology_faculty
gold:hypernym	dbr:Mathematician
schema:sameAs	http://viaf.org/viaf/287143917
rdf:type	owl:Thing dbo:Person
rdfs:comment	Hans Zantema (1956) is a Dutch mathematician and computer scientist, and professor at Radboud University in Nijmegen, known for his work on termination analysis. (en) Hans Zantema (Goingarijp,1956) is een Nederlandse wiskundige en computerwetenschapper en hoogleraar aan de Radboud Universiteit en de Technische Universiteit Eindhoven. Hij is met name bekend van zijn werk over terminatie-analyse. (nl)
rdfs:label	Hans Zantema (en) Hans Zantema (nl)
owl:sameAs	freebase:Hans Zantema http://viaf.org/viaf/287143917 yago-res:Hans Zantema https://dblp.org/pid/z/HZantema wikidata:Hans Zantema http://data.bibliotheken.nl/id/thes/p069963142 dbpedia-nl:Hans Zantema https://global.dbpedia.org/id/kGFY
prov:wasDerivedFrom	wikipedia-en:Hans_Zantema?oldid=1053338278&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Hans_Zantema
is dbo:wikiPageDisambiguates of	dbr:Zantema
is dbo:wikiPageRedirects of	dbr:Zantema,_Hans
is dbo:wikiPageWikiLink of	dbr:List_of_computer_scientists dbr:Invariant_(mathematics) dbr:Peg_solitaire dbr:Termination_analysis dbr:Zantema dbr:Word-representable_graph dbr:Zantema,_Hans
is foaf:primaryTopic of	wikipedia-en:Hans_Zantema