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

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

PrefixNamespace IRI
n19http://caligraph.org/resource/Leroy_P.
n15http://en.wikipedia.org/wiki/List_of_people_from_Hartford,
n8http://caligraph.org/resource/Kleene%E2%80%93
n18http://caligraph.org/ontology/Educator_from_Hartford,
n12http://caligraph.org/resource/Yiannis_N.
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n9http://en.wikipedia.org/wiki/Category:
n25http://caligraph.org/resource/Kleene'
n4http://en.wikipedia.org/wiki/Category:Educators_from_Hartford,
n14http://caligraph.org/resource/Madison,
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n24http://en.wikipedia.org/wiki/Leroy_P.
n13http://en.wikipedia.org/wiki/List_of_University_of_Wisconsin%E2%80%93
owlhttp://www.w3.org/2002/07/owl#
clgohttp://caligraph.org/ontology/
n6http://en.wikipedia.org/wiki/
n5http://en.wikipedia.org/wiki/Kleene'
provhttp://www.w3.org/ns/prov#
n17http://caligraph.org/ontology/University_of_Wisconsin%E2%80%93
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
n21http://caligraph.org/ontology/Person_from_Hartford,
n23http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(R%E2%80%93Z)
n16http://caligraph.org/resource/Hartford,
clgrhttp://caligraph.org/resource/
Subject Item
n12:_Moschovakis
clgo:doctoralAdvisor
clgr:Stephen_Cole_Kleene
Subject Item
clgr:Alonzo_Church
clgo:doctoralStudent
clgr:Stephen_Cole_Kleene
Subject Item
clgr:Robert_Lee_Constable
clgo:doctoralAdvisor
clgr:Stephen_Cole_Kleene
Subject Item
clgr:Joan_Moschovakis
clgo:doctoralAdvisor
clgr:Stephen_Cole_Kleene
Subject Item
clgr:Stephen_Cole_Kleene
rdf:type
clgo:Pioneer_in_computer_science clgo:1994_death owl:NamedIndividual clgo:International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers clgo:1909_birth clgo:American_logician clgo:20th-century_American_mathematician n17:Madison_people n18:_Connecticut clgo:Computability_theorist n21:_Connecticut clgo:Guggenheim_Fellowships_awarded_in_1949 clgo:Amherst_College_alumnus clgo:Amherst_College_person clgo:Princeton_University_alumnus clgo:Philosopher_born_in_the_20th_century clgo:American_computer_scientist clgo:Mathematical_logic_topic
rdfs:label
Stephen Cole Kleene
owl:sameAs
dbr:Stephen_Cole_Kleene
prov:wasDerivedFrom
n4:_Connecticut n5:s_O n6:1994_in_science n6:1994_in_the_United_States n6:List_of_logicians n9:1994_deaths n9:20th-century_American_mathematicians n13:Madison_people n6:International_Union_of_History_and_Philosophy_of_Science n9:Princeton_University_alumni n6:List_of_pioneers_in_computer_science n6:January_5 n15:_Connecticut n6:Association_for_Symbolic_Logic n6:List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers n6:1909_in_the_United_States n9:Amherst_College_alumni n6:List_of_people_from_Connecticut n6:1909_in_science n6:Intuitionism n6:List_of_computer_scientists n6:List_of_Amherst_College_people n6:1994 n9:American_logicians n6:List_of_Guggenheim_Fellowships_awarded_in_1949 n9:American_computer_scientists n9:Computability_theorists n6:January_25 n6:1909 n23: n24:_Steele_Prize n6:Timeline_of_mathematical_logic n6:List_of_mathematical_logic_topics n6:List_of_philosophers_born_in_the_20th_century n9:1909_births n6:Deaths_in_January_1994
skos:prefLabel
Stephen Cole Kleene
skos:altLabel
Stephen Kleene Kleene, S. C. Kleene Kleene, Stephen Cole Kleene, S.C. Stephen C. Kleene Kleene's S. C. Kleene S.C. Kleene
clgo:academicDiscipline
clgr:Mathematics
clgo:almaMater
clgr:Amherst_College clgr:Princeton_University
clgo:award
clgr:National_Medal_of_Science n19:_Steele_Prize
clgo:birthDate
1909-01-05
clgo:birthPlace
clgr:Connecticut n16:_Connecticut
clgo:birthYear
1909
clgo:deathDate
1994-01-25
clgo:deathPlace
n14:_Wisconsin
clgo:deathYear
1994
clgo:doctoralAdvisor
clgr:Alonzo_Church
clgo:doctoralStudent
n12:_Moschovakis clgr:Nels_David_Nelson clgr:Joan_Moschovakis clgr:Dick_de_Jongh clgr:Robert_Lee_Constable
clgo:knownFor
n8:Rosser_paradox clgr:Realizability clgr:Regular_expression clgr:Kleene_star clgr:Smn_theorem clgr:Arithmetical_hierarchy clgr:Regular_language clgr:Intuitionism n25:s_algorithm
clgo:nationality
clgr:United_States