• 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: Leopold Löwenheim     Goto   Sponge   NotDistinct   Permalink

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

Type: Thingfoaf:Personpersondul:NaturalPersonEukaryotePersonHumanAnimalanimaleukaryotescientistspeciesschema:Personyago:WikicatLogiciansyago:WikicatPeopleFromKrefeldScientistyago:CausalAgent100007347yago:Expert109617867yago:Intellectual109621545yago:LivingThing100004258yago:Logician110269785yago:Mathematician110301261yago:Object100002684yago:Organism100004475yago:Person100007846yago:Philosopher110423589yago:PhysicalEntity100001930yago:WikicatGermanLogiciansyago:WikicatGermanMathematiciansyago:WikicatGermanPhilosophersyago:YagoLegalActoryago:YagoLegalActorGeoyago:Scholar110557854yago:Scientist110560637yago:Whole100003553yago:Wikicat20th-centuryMathematiciansyago:WikicatEthnicGermanPeople New Facet based on Instances of this Class

Leopold Löwenheim [ˈle:o:pɔl̩d ˈlø:vɛnhaɪm] (26 June 1878 in Krefeld – 5 May 1957 in Berlin) was a German mathematician doing work in mathematical logic. The Nazi regime forced him to retire because under the Nuremberg Laws he was considered only three quarters Aryan. In 1943 much of his work was destroyed during a bombing raid on Berlin. Nevertheless, he survived the Second World War, after which he resumed teaching mathematics. Löwenheim (1915) gave the first proof of what is now known as the Löwenheim–Skolem theorem, often considered the starting point for model theory.