<http://dbpedia.org/resource/Verena_Huber-Dyson>	<http://dbpedia.org/ontology/birthDate>	"1923-05-06Z"^^<http://www.w3.org/2001/XMLSchema#date> .
<http://dbpedia.org/resource/Verena_Huber-Dyson>	<http://purl.org/dc/elements/1.1/description>	"Mathematician" .
<http://dbpedia.org/resource/Verena_Huber-Dyson>	<http://xmlns.com/foaf/0.1/name>	"Huber-Dyson, Verena"@en .
<http://dbpedia.org/resource/Verena_Huber-Dyson>	<http://dbpedia.org/ontology/birthYear>	"1923Z"^^<http://www.w3.org/2001/XMLSchema#gYear> .
<http://dbpedia.org/resource/Verena_Huber-Dyson>	<http://www.w3.org/2000/01/rdf-schema#comment>	"Verena Esther Huber-Dyson (born Naples, May 6, 1923) is a Swiss-American mathematician, known for work in group theory and formal logic.  She has been described as a \"brilliant mathematician\", and has done research on the interface between algebra and logic, focusing on \"undecidability\" in group theory.   She is currently emeritus faculty in the philosophy department of the University of Calgary, Alberta."@en .