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

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

PrefixNamespace IRI
n12http://caligraph.org/ontology/Scientist_at_PARC_(company)
n14http://caligraph.org/resource/Semantics_(computer_science)
n9http://en.wikipedia.org/wiki/Category:Scientists_at_PARC_(company)
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n8http://en.wikipedia.org/wiki/Category:
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
clgohttp://caligraph.org/ontology/
n13http://caligraph.org/resource/PARC_(company)
n7http://en.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
clgrhttp://caligraph.org/resource/
Subject Item
clgr:Valeria_de_Paiva
rdf:type
clgo:American_computer_scientist clgo:21st-century_women_mathematician clgo:Brazilian_mathematician clgo:21st-century_American_mathematician clgo:Living_person clgo:Category_theorist clgo:20th-century_women_mathematician clgo:American_women_mathematician clgo:20th-century_American_woman n12: clgo:Alumnus_of_the_University_of_Cambridge clgo:20th-century_American_mathematician clgo:21st-century_American_woman clgo:20th-century_birth clgo:Brazilian_logician clgo:Woman_in_mathematics clgo:Brazilian_women_computer_scientist owl:NamedIndividual clgo:Person_associated_with_PARC
rdfs:label
Valeria de Paiva
owl:sameAs
dbr:Valeria_de_Paiva
prov:wasDerivedFrom
n7:List_of_people_associated_with_PARC n8:Brazilian_women_computer_scientists n7:International_Union_of_History_and_Philosophy_of_Science n8:20th-century_American_mathematicians n8:Lists_of_living_people n9: n8:Alumni_of_the_University_of_Cambridge_by_college n8:Alumni_of_the_University_of_Cambridge n8:Brazilian_mathematicians n8:21st-century_women_mathematicians n8:Brazilian_mathematicians_by_century n8:21st-century_American_women n8:Brazilian_logicians n8:20th-century_American_women n8:American_computer_scientists n7:List_of_living_people n7:List_of_Brazilian_mathematicians n8:Category_theorists n8:21st-century_American_mathematicians n8:Living_people n8:20th-century_women_mathematicians n8:American_women_mathematicians n7:List_of_women_in_mathematics
skos:prefLabel
Valeria de Paiva
clgo:academicDiscipline
clgr:Type_system clgr:Category_theory clgr:Computer_science clgr:Mathematics clgr:Proof_theory n14:
clgo:almaMater
clgr:University_of_Cambridge
clgo:birthName
Valeria Correa Vaz de Paiva
clgo:doctoralAdvisor
clgr:Martin_Hyland
clgo:institution
n13:
Subject Item
clgr:Martin_Hyland
clgo:doctoralStudent
clgr:Valeria_de_Paiva