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

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

PrefixNamespace IRI
n9http://en.wikipedia.org/wiki/
n11http://caligraph.org/resource/University_of_California,
n32http://en.wikipedia.org/wiki/Dana_(given_name)
dbrhttp://dbpedia.org/resource/
n15http://caligraph.org/resource/Mogensen%E2%80%93
n18http://caligraph.org/resource/Leroy_P.
n30http://en.wikipedia.org/wiki/Suits_(season_3)
n25http://caligraph.org/resource/David_Turner_(computer_scientist)
n23http://en.wikipedia.org/wiki/Category:People_from_Berkeley,_California,
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n17http://en.wikipedia.org/wiki/List_of_Honorary_Fellows_of_Merton_College,
n39http://caligraph.org/ontology/Member_of_the_National_Academy_of_Sciences_(computer_and_information_sciences)
n20http://caligraph.org/resource/Berkeley,
n14http://caligraph.org/resource/Martin_Davies_(philosopher)
n6http://caligraph.org/resource/Fred_S.
n35http://caligraph.org/resource/Merton_College,
n24http://en.wikipedia.org/wiki/List_of_University_of_California,
n28http://caligraph.org/resource/Scott'
xsdhhttp://www.w3.org/2001/XMLSchema#
n45http://en.wikipedia.org/wiki/Suits_(season_8)
n47http://en.wikipedia.org/wiki/Leroy_P.
n48http://caligraph.org/ontology/Person_from_Berkeley,
n43http://caligraph.org/ontology/Fellow_of_Merton_College,
n31http://caligraph.org/resource/Modal_%CE%BC
n33http://en.wikipedia.org/wiki/Category:Fellows_of_Merton_College,
n40http://caligraph.org/ontology/Honorary_Fellows_of_Merton_College,
clgohttp://caligraph.org/ontology/
n42http://caligraph.org/resource/G%C3%B6
n51http://en.wikipedia.org/wiki/Suits_(season_7)
n29http://en.wikipedia.org/wiki/Suits_(season_2)
n13http://en.wikipedia.org/wiki/G%C3%B6
n34http://caligraph.org/ontology/Alumnus_of_Merton_College,
n12http://caligraph.org/ontology/University_of_California,
n41http://en.wikipedia.org/wiki/List_of_American_Academy_of_Arts_and_Sciences_members_(1953%E2%80%931993)
n49http://en.wikipedia.org/wiki/List_of_members_of_the_National_Academy_of_Sciences_(computer_and_information_sciences)
n46http://caligraph.org/resource/Alameda_County,
n37http://en.wikipedia.org/wiki/List_of_people_by_Erd%C5%91
n19http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(D%E2%80%93H)
n38http://caligraph.org/ontology/People_by_Erd%C5%91
provhttp://www.w3.org/ns/prov#
n16http://caligraph.org/resource/Semantics_(computer_science)
n10http://en.wikipedia.org/wiki/List_of_people_from_Berkeley,
n27http://en.wikipedia.org/wiki/List_of_alumni_of_Merton_College,
n5http://en.wikipedia.org/wiki/Category:
clgrhttp://caligraph.org/resource/
n22http://en.wikipedia.org/wiki/Category:People_from_Berkeley,
n26http://caligraph.org/resource/Marko_Petkov%C5%A1
n36http://en.wikipedia.org/wiki/Scott_(surname)
n50http://caligraph.org/resource/Scott%E2%80%93
owlhttp://www.w3.org/2002/07/owl#
Subject Item
clgr:Michael_Fourman
clgo:doctoralAdvisor
clgr:Dana_Scott
Subject Item
clgr:Alonzo_Church
clgo:doctoralStudent
clgr:Dana_Scott
Subject Item
clgr:Kenneth_Kunen
clgo:doctoralAdvisor
clgr:Dana_Scott
Subject Item
clgr:Peter_Mosses
clgo:doctoralAdvisor
clgr:Dana_Scott
Subject Item
clgr:Angus_Macintyre
clgo:doctoralAdvisor
clgr:Dana_Scott
Subject Item
clgr:Dana_Scott
rdf:type
clgo:Set_theorist clgo:American_logician clgo:Topologist clgo:Set_theory_topic clgo:21st-century_American_scientist n12:_Berkeley_alumni clgo:Princeton_University_alumnus clgo:Engineer_from_California clgo:Fellow_of_the_British_Academy_elected_in_the_1970s clgo:Model_theorist clgo:Miller_Research_Fellows clgo:20th-century_American_engineer owl:NamedIndividual clgo:Pioneer_in_computer_science clgo:20th-century_American_mathematician clgo:Tarski_lecturer clgo:Scientist_from_California clgo:Carnegie_Mellon_University_person clgo:Stanford_University_person clgo:Guggenheim_Fellowships_awarded_in_1978 clgo:20th-century_American_scientist clgo:Lattice_theorist clgo:Semanticist clgo:Programming_language_researcher clgo:Living_person clgo:Philosopher_born_in_the_20th_century n34:_Oxford clgo:International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers clgo:21st-century_American_engineer clgo:American_computer_scientist clgo:Modal_logician n38:s_number clgo:21st-century_American_mathematician clgo:Fellow_of_the_Association_for_Computing_Machinery clgo:Fellow_of_the_American_Mathematical_Society n39: clgo:Formal_methods_person n40:_Oxford clgo:American_Academy_of_Arts_and_Sciences_members n43:_Oxford clgo:Mathematical_logician clgo:Member_of_the_United_States_National_Academy_of_Sciences clgo:1932_birth n48:_California
rdfs:label
Dana Scott
owl:sameAs
dbr:Dana_Scott
prov:wasDerivedFrom
n5:Living_people n5:Mathematical_logicians n5:Formal_methods_people n9:Stanford_University_Computer_Science n5:Semanticists n5:Topologists n10:_California n13:del_Lecture n5:21st-century_American_scientists n5:Engineers_from_California n9:List_of_Stanford_University_people n5:Lists_of_living_people n9:List_of_programming_language_researchers n5:Members_of_the_United_States_National_Academy_of_Sciences n5:1932_births n5:21st-century_American_engineers n17:_Oxford n9:International_Union_of_History_and_Philosophy_of_Science n9:Harold_Pender_Award n5:Lattice_theorists n19: n5:American_logicians n5:Programming_language_researchers n22:_California n9:List_of_fellows_of_the_Association_for_Computing_Machinery n23:_by_occupation n24:_Berkeley_alumni n5:Modal_logicians n9:1932_in_philosophy n9:List_of_American_mathematicians n9:List_of_logicians n5:Set_theorists n9:List_of_living_people n9:List_of_Carnegie_Mellon_University_people n9:List_of_Miller_Research_Fellows n27:_Oxford n9:List_of_computer_scientists n9:MANIAC_I n5:20th-century_American_scientists n9:List_of_pioneers_in_computer_science n9:Rolf_Schock_Prizes n29: n30: n32: n33:_Oxford n9:List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers n36: n37:s_number n9:List_of_fellows_of_the_British_Academy_elected_in_the_1970s n9:List_of_set_theory_topics n5:20th-century_American_mathematicians n5:21st-century_American_mathematicians n9:Tarski_Lectures n5:Model_theorists n5:20th-century_American_engineers n9:Association_for_Symbolic_Logic n5:American_computer_scientists n41: n9:List_of_Guggenheim_Fellowships_awarded_in_1978 n9:European_Association_for_Theoretical_Computer_Science n45: n5:Scientists_from_California n5:Tarski_lecturers n47:_Steele_Prize n5:Fellows_of_the_Association_for_Computing_Machinery n5:Fellows_of_the_American_Mathematical_Society n9:List_of_philosophers_born_in_the_20th_century n49: n5:Princeton_University_alumni n51:
skos:prefLabel
Dana Scott
skos:altLabel
Dana S. Scott Scott, Dana Scott Scott, D. Dana S. Scott. D. S. Scott Dana Stewart Scott
clgo:academicDiscipline
clgr:Mathematics clgr:Computer_science clgr:Philosophy
clgo:almaMater
n11:_Berkeley n35:_Oxford
clgo:award
n18:_Steele_Prize clgr:Tarski_Lectures clgr:Turing_Award clgr:Harold_Pender_Award n42:del_Lecture clgr:Rolf_Schock_Prizes
clgo:birthDate
1932-10-11
clgo:birthPlace
n20:_California clgr:California clgr:Pennsylvania n46:_California
clgo:birthYear
1932
clgo:doctoralAdvisor
clgr:Alonzo_Church
clgo:doctoralStudent
n6:_Roberts clgr:Ketan_Mulmuley n14: clgr:Kenneth_Kunen n25: n26:ek clgr:Angus_Macintyre clgr:Michael_Fourman clgr:Peter_Mosses clgr:Jack_Copeland
clgo:knownFor
clgr:Logic_of_Computable_Functions clgr:Scott_information_system clgr:Automata_theory n15:Scott_encoding n16: clgr:Denotational_semantics clgr:Scott_continuity n28:s_trick n31:-calculus clgr:Scott_domain clgr:Nondeterministic_finite_automaton clgr:Powerset_construction clgr:Neighborhood_semantics clgr:Cartesian_monoid n50:Potter_set_theory
Subject Item
clgr:Jack_Copeland
clgo:doctoralAdvisor
clgr:Dana_Scott