About: Hans Zantema

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Hans Zantema Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Person, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FHans_Zantema

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

Attributes	Values
rdf:type	Thing person
rdfs:label	Hans Zantema (en) Hans Zantema (nl)
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)
dcterms:subject	People from Skarsterlân Living people 1956 births Dutch computer scientists Dutch mathematicians Radboud University Nijmegen faculty University of Groningen alumni 20th-century Dutch scientists 21st-century Dutch scientists Eindhoven University of Technology faculty
Wikipage page ID	43715838 (xsd:integer)
Wikipage revision ID	1053338278 (xsd:integer)
Link from a Wikipage to another Wikipage	People from Skarsterlân University of Amsterdam Utrecht University Living people Rewriting Eindhoven University of Technology Goingarijp 1956 births Dutch computer scientists Dutch mathematicians Radboud University Nijmegen faculty Algebraic number theory Hendrik Lenstra University of Groningen alumni 20th-century Dutch scientists 21st-century Dutch scientists Eindhoven University of Technology faculty Termination analysis Termination proof Radboud University
Link from a Wikipage to an external page	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
sameAs	Hans Zantema Hans Zantema Hans Zantema Hans Zantema Hans Zantema Hans Zantema Hans Zantema Hans Zantema
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Dead_link dbt:Reflist dbt:Short_description
bot	InternetArchiveBot (en)
date	January 2020 (en)
fix-attempted	yes (en)
has 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)
gold:hypernym	Mathematician
schema:sameAs	Hans Zantema
prov:wasDerivedFrom	wikipedia-en:Hans_Zantema?oldid=1053338278&ns=0
page length (characters) of wiki page	3065 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Hans_Zantema
is Link from a Wikipage to another Wikipage of	List of computer scientists Invariant (mathematics) Peg solitaire Termination analysis Zantema Word-representable graph Zantema, Hans
is Wikipage redirect of	Zantema, Hans
is Wikipage disambiguates of	Zantema
is foaf:primaryTopic of	wikipedia-en:Hans_Zantema

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3331 as of Sep 2 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (62 GB total memory, 39 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software