Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

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

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

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n14https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
n23http://arz.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n30http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
freebasehttp://rdf.freebase.com/ns/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
n21http://azb.dbpedia.org/resource/
n12http://viaf.org/viaf/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n26https://dblp.org/pid/55/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
n24https://www.worldcat.org/title/semantically-complete-foundation-for-logic-and-mathematics/oclc/
n28http://data.bibliotheken.nl/id/thes/
n25http://d-nb.info/gnd/

Statements

Subject Item
dbr:Enumeration_reducibility
dbo:wikiPageWikiLink
dbr:John_Myhill
Subject Item
dbr:Myhill
dbo:wikiPageWikiLink
dbr:John_Myhill
dbo:wikiPageDisambiguates
dbr:John_Myhill
Subject Item
dbr:Myhill_isomorphism_theorem
dbo:wikiPageWikiLink
dbr:John_Myhill
Subject Item
dbr:Myhill–Nerode_theorem
dbo:wikiPageWikiLink
dbr:John_Myhill
Subject Item
dbr:John_Myhill
rdf:type
yago:PhysicalEntity100001930 dbo:Scientist yago:Scholar110557854 yago:Mathematician110301261 yago:LivingThing100004258 yago:WikicatCellularAutomata wikidata:Q19088 owl:Thing yago:CausalAgent100007347 dbo:Animal yago:Scientist110560637 yago:Person100007846 wikidata:Q215627 yago:Anomaly109606527 wikidata:Q729 wikidata:Q5 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Colleague109935990 yago:WikicatBritishMathematicians yago:Peer109626238 yago:Wikicat20th-centuryMathematicians yago:Organism100004475 yago:Whole100003553 yago:Object100002684 schema:Person yago:Automaton109825519 dbo:Eukaryote foaf:Person yago:Alumnus109786338 dbo:Person yago:Associate109816771 yago:WikicatGuggenheimFellows n30:NaturalPerson yago:Intellectual109621545 dbo:Species wikidata:Q901 yago:Wikicat20th-centuryBritishMathematicians yago:WikicatHarvardUniversityAlumni
rdfs:label
John Myhill John Myhill John Myhill John Myhill John R. Myhill
rdfs:comment
John R. Myhill, Sr. (11 de agosto de 1923 – 15 de fevereiro de 1987) foi um matemático britânico. John R. Myhill Sr. (11 August 1923 – 15 February 1987) was a British mathematician. John R. Myhill (* 11. August 1923 in Birmingham; † 15. Februar 1987) war ein britischer Mathematiker, Logiker, Philosoph, Informatiker und Hochschullehrer an der State University of New York at Buffalo. John R. Myhill (ur. 11 sierpnia 1923, zm. 15 lutego 1987) – brytyjski matematyk. Od roku 1966 aż do śmierci był wykładowcą na Uniwersytecie Stanowym Nowego Jorku. Wykładał też na kilku innych uniwersytetach. Jego syn, John Myhill, jest wykładowcą lingwistyki na wydziale anglistyki Uniwersytetu w Hajfie. John R. Myhill, né le 11 août 1923 à Birmingham (Angleterre) et mort le 15 février 1987, est un mathématicien britannique.
foaf:name
John Myhill
dbp:name
John Myhill
dbo:birthPlace
dbr:Birmingham dbr:United_Kingdom
dbo:deathDate
1987-02-15
dbp:birthPlace
dbr:United_Kingdom dbr:Birmingham
dbo:birthDate
1923-08-11
dcterms:subject
dbc:University_at_Buffalo_faculty dbc:Cellular_automatists dbc:George_Berkeley_scholars dbc:20th-century_British_mathematicians dbc:1987_deaths dbc:1923_births dbc:Harvard_University_alumni
dbo:wikiPageID
2611636
dbo:wikiPageRevisionID
1082303090
dbo:wikiPageWikiLink
dbr:Diaconescu–Goodman–Myhill_theorem dbr:Computability_theory dbr:Harvard_University dbr:Myhill–Nerode_theorem dbr:Myhill's_property dbc:University_at_Buffalo_faculty dbr:Myhill_isomorphism_theorem dbr:Cantor–Bernstein–Schroeder_theorem dbc:Cellular_automatists dbr:Formal_language dbr:Firing_squad_synchronization_problem dbc:George_Berkeley_scholars dbr:Mathematics dbr:Mathematician dbr:Willard_Van_Orman_Quine dbr:Lynn_Harold_Loomis dbr:Anil_Nerode dbc:20th-century_British_mathematicians dbr:Russell–Myhill_paradox dbr:Birmingham dbc:1987_deaths dbr:Cellular_automata dbr:Rice–Myhill–Shapiro_theorem dbr:Constructive_set_theory dbc:1923_births dbr:The_Principles_of_Mathematics dbr:State_University_of_New_York dbr:Musical_scale dbr:Undecidable_problem dbr:Law_of_the_excluded_middle dbc:Harvard_University_alumni dbr:Garden_of_Eden_theorem dbr:Bertrand_Russell dbr:Music_theory dbr:Edward_F._Moore dbr:United_Kingdom dbr:Regular_language dbr:Axiom_of_choice
dbo:wikiPageExternalLink
n24:25214080
owl:sameAs
dbpedia-pt:John_Myhill dbpedia-fa:جان_مای‌هیل wikidata:Q402579 n12:6495165326541116290003 n14:3jSGG dbpedia-de:John_Myhill dbpedia-fr:John_R._Myhill n21:جان_مای‌هیل n23:چوهن_ميهيل n25:1089094345 n26:2892 n12:271404040 freebase:m.07rn46 n28:p071556923 yago-res:John_Myhill n25:117716529 dbpedia-pl:John_Myhill
dbp:thesisTitle
A Semantically Complete Foundation for Logic and Mathematics
dbp:thesisUrl
n24:25214080
dbp:thesisYear
1949
dbp:wikiPageUsesTemplate
dbt:Death_date_and_age dbt:Reflist dbt:Use_dmy_dates dbt:Authority_control dbt:Infobox_scientist dbt:Birth_date
dbp:almaMater
dbr:Harvard_University
dbp:birthDate
1923-08-11
dbp:deathDate
1987-02-15
dbp:fields
dbr:Mathematics
dbp:knownFor
dbr:Rice–Myhill–Shapiro_theorem dbr:Russell–Myhill_paradox dbr:Garden_of_Eden_theorem dbr:Myhill's_property dbr:Myhill–Nerode_theorem dbr:Constructive_set_theory
dbp:nationality
dbr:United_Kingdom
dbp:spouse
Akiko Kino
dbo:abstract
John R. Myhill (* 11. August 1923 in Birmingham; † 15. Februar 1987) war ein britischer Mathematiker, Logiker, Philosoph, Informatiker und Hochschullehrer an der State University of New York at Buffalo. John R. Myhill, né le 11 août 1923 à Birmingham (Angleterre) et mort le 15 février 1987, est un mathématicien britannique. John R. Myhill (ur. 11 sierpnia 1923, zm. 15 lutego 1987) – brytyjski matematyk. Od roku 1966 aż do śmierci był wykładowcą na Uniwersytecie Stanowym Nowego Jorku. Wykładał też na kilku innych uniwersytetach. Jego syn, John Myhill, jest wykładowcą lingwistyki na wydziale anglistyki Uniwersytetu w Hajfie. John R. Myhill Sr. (11 August 1923 – 15 February 1987) was a British mathematician. John R. Myhill, Sr. (11 de agosto de 1923 – 15 de fevereiro de 1987) foi um matemático britânico.
dbp:academicAdvisors
dbr:Lynn_Harold_Loomis
dbp:doctoralAdvisor
dbr:Willard_Van_Orman_Quine
dbo:academicAdvisor
dbr:Lynn_Harold_Loomis
dbo:doctoralAdvisor
dbr:Willard_Van_Orman_Quine
schema:sameAs
n12:271404040
prov:wasDerivedFrom
wikipedia-en:John_Myhill?oldid=1082303090&ns=0
dbo:wikiPageLength
6030
dbo:academicDiscipline
dbr:Mathematics
dbo:almaMater
dbr:Harvard_University
dbo:knownFor
dbr:Rice–Myhill–Shapiro_theorem dbr:Myhill–Nerode_theorem dbr:Myhill's_property dbr:Garden_of_Eden_theorem dbr:Russell–Myhill_paradox dbr:Constructive_set_theory
dbo:nationality
dbr:United_Kingdom
foaf:isPrimaryTopicOf
wikipedia-en:John_Myhill
Subject Item
dbr:List_of_people_by_Erdős_number
dbo:wikiPageWikiLink
dbr:John_Myhill
Subject Item
dbr:Russell-Myhill_antinomy
dbo:wikiPageWikiLink
dbr:John_Myhill
dbo:wikiPageRedirects
dbr:John_Myhill
Subject Item
dbr:Russell-Myhill_paradox
dbo:wikiPageWikiLink
dbr:John_Myhill
dbo:wikiPageRedirects
dbr:John_Myhill
Subject Item
dbr:Generic_and_specific_intervals
dbo:wikiPageWikiLink
dbr:John_Myhill
Subject Item
dbr:Edward_F._Moore
dbo:wikiPageWikiLink
dbr:John_Myhill
Subject Item
dbr:Myhill,_John
dbo:wikiPageWikiLink
dbr:John_Myhill
dbo:wikiPageRedirects
dbr:John_Myhill
Subject Item
dbr:Constructive_set_theory
dbo:wikiPageWikiLink
dbr:John_Myhill
Subject Item
dbr:Context-sensitive_grammar
dbo:wikiPageWikiLink
dbr:John_Myhill
Subject Item
dbr:Computability_in_Analysis_and_Physics
dbo:wikiPageWikiLink
dbr:John_Myhill
Subject Item
dbr:Computational_complexity_theory
dbo:wikiPageWikiLink
dbr:John_Myhill
Subject Item
dbr:Burton_Dreben
dbo:wikiPageWikiLink
dbr:John_Myhill
Subject Item
dbr:Willard_Van_Orman_Quine
dbo:wikiPageWikiLink
dbr:John_Myhill
dbp:doctoralStudents
dbr:John_Myhill
Subject Item
dbr:Disjunction_and_existence_properties
dbo:wikiPageWikiLink
dbr:John_Myhill
Subject Item
dbr:Garden_of_Eden_(cellular_automaton)
dbo:wikiPageWikiLink
dbr:John_Myhill
Subject Item
dbr:Linear_bounded_automaton
dbo:wikiPageWikiLink
dbr:John_Myhill
Subject Item
dbr:Anil_Nerode
dbo:wikiPageWikiLink
dbr:John_Myhill
Subject Item
dbr:Diaconescu's_theorem
dbo:wikiPageWikiLink
dbr:John_Myhill
Subject Item
dbr:List_of_Guggenheim_Fellowships_awarded_in_1952
dbo:wikiPageWikiLink
dbr:John_Myhill
Subject Item
dbr:Arto_Salomaa
dbo:wikiPageWikiLink
dbr:John_Myhill
Subject Item
dbr:Stewart_Shapiro
dbo:wikiPageWikiLink
dbr:John_Myhill
Subject Item
dbr:Syntactic_monoid
dbo:wikiPageWikiLink
dbr:John_Myhill
Subject Item
dbr:Firing_squad_synchronization_problem
dbo:wikiPageWikiLink
dbr:John_Myhill
Subject Item
dbr:John_Myhill,_Sr
dbo:wikiPageWikiLink
dbr:John_Myhill
dbo:wikiPageRedirects
dbr:John_Myhill
Subject Item
dbr:John_Myhill,_Sr.
dbo:wikiPageWikiLink
dbr:John_Myhill
dbo:wikiPageRedirects
dbr:John_Myhill
Subject Item
dbr:John_Myhill_Sr
dbo:wikiPageWikiLink
dbr:John_Myhill
dbo:wikiPageRedirects
dbr:John_Myhill
Subject Item
dbr:John_Myhill_Sr.
dbo:wikiPageWikiLink
dbr:John_Myhill
dbo:wikiPageRedirects
dbr:John_Myhill
Subject Item
dbr:John_R._Myhill
dbo:wikiPageWikiLink
dbr:John_Myhill
dbo:wikiPageRedirects
dbr:John_Myhill
Subject Item
dbr:John_R._Myhill,_Sr
dbo:wikiPageWikiLink
dbr:John_Myhill
dbo:wikiPageRedirects
dbr:John_Myhill
Subject Item
dbr:John_R._Myhill,_Sr.
dbo:wikiPageWikiLink
dbr:John_Myhill
dbo:wikiPageRedirects
dbr:John_Myhill
Subject Item
dbr:John_R._Myhill_Sr
dbo:wikiPageWikiLink
dbr:John_Myhill
dbo:wikiPageRedirects
dbr:John_Myhill
Subject Item
dbr:John_R._Myhill_Sr.
dbo:wikiPageWikiLink
dbr:John_Myhill
dbo:wikiPageRedirects
dbr:John_Myhill
Subject Item
dbr:Russell–Myhill_antinomy
dbo:wikiPageWikiLink
dbr:John_Myhill
dbo:wikiPageRedirects
dbr:John_Myhill
Subject Item
dbr:Russell–Myhill_paradox
dbo:wikiPageWikiLink
dbr:John_Myhill
dbo:wikiPageRedirects
dbr:John_Myhill
Subject Item
wikipedia-en:John_Myhill
foaf:primaryTopic
dbr:John_Myhill