• 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: Yuri Gurevich     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatFormalMethodsPeople, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)

Type: Thingpersonyago:WikicatAmericanComputerScientistsyago:WikicatLivingPeopleyago:WikicatMicrosoftEmployeesyago:WikicatRussianInventorsyago:Associate109816771yago:CausalAgent100007347yago:Colleague109935990yago:ComputerScientist109951070yago:ComputerUser109951274yago:Creator109614315yago:Employee110053808yago:Inventor110214637yago:LivingThing100004258yago:Object100002684yago:Organism100004475yago:Peer109626238yago:Person100007846yago:PhysicalEntity100001930yago:WikicatGuggenheimFellowsyago:Worker109632518yago:YagoLegalActoryago:YagoLegalActorGeoyago:Scientist110560637yago:Whole100003553yago:WikicatFellowsOfTheAssociationForComputingMachineryyago:WikicatFormalMethodsPeople New Facet based on Instances of this Class

Yuri Gurevich, Professor Emeritus at the University of Michigan, is an American computer scientist and mathematician and the inventor of abstract state machines. Gurevich was born and educated in the Soviet Union. He taught mathematics there and then in Israel before moving to the United States in 1982.The best-known work of his Soviet period is on the classical decision problem.In Israel, Gurevich worked with Saharon Shelah onmonadic second-order theories.The Forgetful Determinacy Theorem of Gurevich–Harrington is of that period as well.