• 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: Dana Scott     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : umbel-rc:Scientist, within Data Space : dbpedia.org associated with source document(s)

Type: Thingfoaf:Personpersondul:NaturalPersonEukaryotePersonHumanAnimalyago:WikicatAmericanComputerScientistsyago:WikicatAmericanInformationTheoristsyago:WikicatAmericanLogiciansyago:WikicatAmericanMathematiciansyago:WikicatAmericanPeopleyago:WikicatAmericanPhilosophersanimaleukaryotescientistspeciesschema:Personyago:WikicatLatticeTheoristsyago:WikicatLivingPeopleyago:WikicatLogiciansyago:WikicatMathematicalLogiciansyago:WikicatModalLogiciansyago:WikicatModelTheoristsyago:WikicatTuringAwardLaureatesyago:WikicatPeopleFromBerkeley,Californiayago:WikicatRolfSchockPrizeLaureatesyago:WikicatSemanticistsyago:WikicatSetTheoristsScientistyago:Acquirer109764201yago:Adult109605289yago:Alumnus109786338yago:Associate109816771yago:CausalAgent100007347yago:Colleague109935990yago:ComputerScientist109951070yago:ComputerUser109951274yago:Educator110045713yago:Expert109617867yago:Honoree110183757yago:Intellectual109621545yago:Laureate110249011yago:Lector110252222yago:Linguist110264437yago:LivingThing100004258yago:Logician110269785yago:Mathematician110301261yago:Object100002684yago:Organism100004475yago:Peer109626238yago:Person100007846yago:Philosopher110423589yago:PhysicalEntity100001930yago:Professional110480253yago:Recipient109627906yago:ResearchWorker110523076yago:WikicatGuggenheimFellowsyago:YagoLegalActoryago:YagoLegalActorGeoyago:Scholar110557854yago:Scientist110560637yago:Semanticist110577820yago:Theorist110706812yago:Whole100003553yago:Wikicat20th-centuryMathematiciansyago:WikicatAlumniOfMertonCollege,Oxfordyago:WikicatFellowsOfMertonCollege,Oxfordyago:WikicatFellowsOfTheAmericanAcademyOfArtsAndSciencesyago:WikicatFellowsOfTheAmericanAssociationForTheAdvancementOfScienceyago:WikicatFellowsOfTheAmericanMathematicalSocietyyago:WikicatFellowsOfTheAssociationForComputingMachineryyago:WikicatFellowsOfTheBritishAcademyyago:WikicatFormalMethodsPeopleyago:WikicatPrincetonUniversityAlumniyago:WikicatProgrammingLanguageResearchersyago:WikicatTarskiLecturersumbel-rc:PersonWithOccupationumbel-rc:Scientist New Facet based on Instances of this Class

Dana Stewart Scott (born October 11, 1932) is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His work on automata theory earned him the Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has worked also on modal logic, topology, and category theory.