• 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: Andrzej Ehrenfeucht     Goto   Sponge   NotDistinct   Permalink

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

Type: Thingfoaf:Personpersondul:NaturalPersonEukaryotePersonHumanAnimalyago:WikicatAmericanComputerScientistsyago:WikicatAmericanMathematiciansyago:WikicatAmericanPeopleanimaleukaryotescientistspeciesyago:WikicatComputerScientistsschema:Personyago:WikicatLivingPeopleScientistyago:CausalAgent100007347yago:ComputerScientist109951070yago:ComputerUser109951274yago:Emigrant110051975yago:LivingThing100004258yago:Mathematician110301261yago:Migrant110314952yago:Object100002684yago:Organism100004475yago:Person100007846yago:PhysicalEntity100001930yago:YagoLegalActoryago:YagoLegalActorGeoyago:Scientist110560637yago:Traveler109629752yago:Whole100003553yago:Wikicat20th-centuryMathematiciansyago:WikicatPolishComputerScientistsyago:WikicatPolishEmigrantsToTheUnitedStatesyago:WikicatPolishMathematiciansyago:WikicatPolishPeople New Facet based on Instances of this Class

Andrzej Ehrenfeucht (Polish: [ˈand.ʐɛj ˈɛrɛnfɔjxt], born August 8, 1932) is a Polish American mathematician and computer scientist. He formulated the Ehrenfeucht–Fraïssé game, using the back-and-forth method given by Roland Fraïssé in his PhD thesis. The Ehrenfeucht–Mycielski sequence is also named after him. Two journal issues have come out in his honor, one at his 65th birthday in Lecture Notes in Computer Science, and one at his 80th in Theoretical Computer Science.