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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n5https://www.jlambda.com/clt/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n27https://global.dbpedia.org/id/
n18http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/Talcott:
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n20http://arz.dbpedia.org/resource/
n24http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
freebasehttp://rdf.freebase.com/ns/
dbpedia-ochttp://oc.dbpedia.org/resource/
n15http://viaf.org/viaf/
n21http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n8https://dblp.org/pid/t/
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
n14https://archive.org/details/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
n26http://data.bibliotheken.nl/id/thes/
n22http://d-nb.info/gnd/

Statements

Subject Item
dbr:Carolyn_Talcott
rdf:type
yago:Organism100004475 wikidata:Q901 yago:WikicatLivingPeople dbo:Person owl:Thing yago:WikicatSystemsBiologists yago:Object100002684 yago:Whole100003553 yago:Biologist109855630 yago:WikicatPeopleFromCaldwell,Idaho wikidata:Q19088 dbo:Eukaryote foaf:Person yago:Scholar110557854 yago:Alumnus109786338 dbo:Animal yago:WikicatWomenComputerScientists yago:ComputerUser109951274 yago:ComputerScientist109951070 yago:CausalAgent100007347 yago:WikicatSRIInternationalPeople schema:Person yago:LivingThing100004258 n24:NaturalPerson wikidata:Q215627 yago:WikicatTheoreticalComputerScientists dbo:Species yago:YagoLegalActor yago:YagoLegalActorGeo yago:Intellectual109621545 yago:PhysicalEntity100001930 yago:WikicatStanfordUniversityAlumni yago:Person100007846 wikidata:Q729 yago:Scientist110560637 wikidata:Q5 dbo:Scientist
rdfs:label
Carolyn Talcott
rdfs:comment
Carolyn Talcott (born June 14, 1941) is an American computer scientist known for work in formal reasoning, especially as it relates to computers, cryptanalysis and systems biology. She is currently the program director of the Symbolic Systems Biology group at SRI International. She is currently the co-editor-in-chief of Higher-Order and Symbolic Computation. Talcott married John McCarthy (computer scientist) and had a son.
foaf:name
Carolyn Talcott
foaf:homepage
n5:
dbp:name
Carolyn Talcott
foaf:depiction
n21:Carolyn_Talcott.jpg
dbo:birthPlace
dbr:Caldwell,_Idaho
dbp:birthPlace
dbr:Caldwell,_Idaho
dbo:birthDate
1941-06-14
dcterms:subject
dbc:People_from_Caldwell,_Idaho dbc:21st-century_American_women dbc:University_of_California,_Berkeley_alumni dbc:1941_births dbc:SRI_International_people dbc:American_women_computer_scientists dbc:University_of_Denver_alumni dbc:Systems_biologists dbc:Theoretical_computer_scientists dbc:Living_people dbc:American_computer_scientists dbc:Stanford_University_alumni dbc:Stanford_University_faculty
dbo:wikiPageID
37323369
dbo:wikiPageRevisionID
1077024462
dbo:wikiPageWikiLink
dbc:SRI_International_people dbc:People_from_Caldwell,_Idaho dbc:21st-century_American_women dbr:Higher-Order_and_Symbolic_Computation dbr:SRI_International dbc:University_of_California,_Berkeley_alumni dbc:1941_births dbr:University_of_Denver dbr:Computer_science dbr:Cryptanalysis dbr:Automated_reasoning dbr:Stanford_University dbc:University_of_Denver_alumni dbr:Solomon_Feferman dbr:John_McCarthy_(computer_scientist) dbc:American_women_computer_scientists dbr:Nalini_Venkatasubramanian dbr:Association_for_Symbolic_Logic dbr:Caldwell,_Idaho dbc:Systems_biologists dbc:Living_people dbc:American_computer_scientists dbr:Systems_biology dbc:Theoretical_computer_scientists dbr:University_of_California,_Berkeley dbr:DBLP dbr:Association_for_Computing_Machinery dbc:Stanford_University_alumni dbc:Stanford_University_faculty
dbo:wikiPageExternalLink
n18:Carolyn_L=.html n14:DTIC_ADA327435 n5:
owl:sameAs
n8:CarolynLTalcott dbpedia-oc:Carolyn_Talcott freebase:m.0n5v288 wikidata:Q15020 n15:25662350 n20:كارولين_تالكوت n22:12868206X n26:p204090822 n27:WpcD yago-res:Carolyn_Talcott
dbp:thesisTitle
The Essence of RUM: A Theory of the Intensional and Extensional Aspects of LISP-Type Computation
dbp:thesisUrl
n14:DTIC_ADA327435
dbp:thesisYear
1985
dbp:workplaces
dbr:Stanford_University dbr:SRI_International
dbp:wikiPageUsesTemplate
dbt:Short_description dbt:Birth_date_and_age dbt:Authority_control dbt:Reflist dbt:Infobox_scientist dbt:Compu-scientist-stub
dbo:thumbnail
n21:Carolyn_Talcott.jpg?width=300
dbp:almaMater
dbr:University_of_Denver dbr:Stanford_University dbr:University_of_California,_Berkeley
dbp:birthDate
1941-06-14
dbp:caption
Carolyn Talcott in 2004
dbp:fields
dbr:Computer_science dbr:Systems_biology
dbp:website
n5:
dbo:abstract
Carolyn Talcott (born June 14, 1941) is an American computer scientist known for work in formal reasoning, especially as it relates to computers, cryptanalysis and systems biology. She is currently the program director of the Symbolic Systems Biology group at SRI International. She is currently the co-editor-in-chief of Higher-Order and Symbolic Computation. Talcott married John McCarthy (computer scientist) and had a son.
dbp:doctoralAdvisor
dbr:Solomon_Feferman
dbp:notableStudents
dbr:Nalini_Venkatasubramanian
dbo:doctoralAdvisor
dbr:Solomon_Feferman
dbo:institution
dbr:SRI_International dbr:Stanford_University
dbo:notableStudent
dbr:Nalini_Venkatasubramanian
gold:hypernym
dbr:Scientist
schema:sameAs
n15:25662350
prov:wasDerivedFrom
wikipedia-en:Carolyn_Talcott?oldid=1077024462&ns=0
dbo:wikiPageLength
5021
dbo:academicDiscipline
dbr:Computer_science dbr:Systems_biology
dbo:almaMater
dbr:University_of_California,_Berkeley dbr:Stanford_University dbr:University_of_Denver
foaf:isPrimaryTopicOf
wikipedia-en:Carolyn_Talcott