• Facets (new session)
• Description
• Metadata
• Settings
  • Rule: ActivityStreamsMapasEquivalentb3sb3sifpdbprdf-labelfacetshttp://dbpedia.org/resource/inference/rules/dbpedia#http://dbpedia.org/resource/inference/rules/opencyc#http://dbpedia.org/resource/inference/rules/umbel#http://dbpedia.org/resource/inference/rules/yago#http://dbpedia.org/schema/property_rules#http://www.ontologyportal.org/inference/rules/SUMO#http://www.ontologyportal.org/inference/rules/WordNet#http://www.w3.org/2002/07/owl#ldpoplwebskos-transurn:det:rdf:labelvirtrdf-labelvirtrdf-urlNone
    
  • Inverse Functional Properties: Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects
  • "Same As": Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects (recommended) Apply to subjects, objects and predicates (not recommended on big datasets) Apply to predicates only (special use cases only)

About: William Boone (mathematician)     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatPrincetonUniversityAlumni, within Data Space : dbpedia.org associated with source document(s)

Type: Thingfoaf:Personpersondul:NaturalPersonEukaryotePersonHumanAnimalyago:WikicatAmericanLogiciansyago:WikicatAmericanMathematiciansanimaleukaryotescientistspeciesschema:PersonScientistyago:Alumnus109786338yago:Associate109816771yago:CausalAgent100007347yago:Colleague109935990yago:Expert109617867yago:Intellectual109621545yago:LivingThing100004258yago:Logician110269785yago:Mathematician110301261yago:Object100002684yago:Organism100004475yago:Peer109626238yago:Person100007846yago:PhysicalEntity100001930yago:WikicatGuggenheimFellowsyago:YagoLegalActoryago:YagoLegalActorGeoyago:Scholar110557854yago:Scientist110560637yago:Whole100003553yago:Wikicat20th-centuryAmericanMathematiciansyago:WikicatPrincetonUniversityAlumni New Facet based on Instances of this Class

William Werner Boone (16 January 1920 in Cincinnati – 14 September 1983 in Urbana, Illinois) was an American mathematician. He completed his undergrad degree as a part time student at the University of Cincinnati. Alonzo Church was his Ph.D. advisor at Princeton, and Kurt Gödel was his friend at the Institute for Advanced Study. Pyotr Novikov showed in 1955 that there exists a finitely presented group G such that the word problem for G is undecidable. A different proof was obtained by Boone in 1958.