Leopold Löwenheim

E865124

German logician human mathematician

Leopold Löwenheim was a German mathematician and logician best known for pioneering results in model theory, particularly the Löwenheim–Skolem theorem.

Try in SPARQL Jump to: Surface forms Statements Elicitation Referenced by

All labels observed (1)

Label	Occurrences
Leopold Löwenheim canonical	1

Statements (28)

Predicate	Object
instanceOf	German logician ⓘ human ⓘ mathematician ⓘ
academicDiscipline	logic ⓘ mathematics ⓘ
areaOfActivity	Europe NERFINISHED ⓘ
contributedTo	first-order logic ⓘ model-theoretic methods in logic ⓘ
countryOfCitizenship	German Empire NERFINISHED ⓘ Germany ⓘ
ethnicGroup	German ⓘ
familyName	Löwenheim NERFINISHED ⓘ
fieldOfWork	foundations of mathematics ⓘ mathematical logic ⓘ model theory ⓘ
givenName	Leopold NERFINISHED ⓘ
hasGender	male ⓘ
influenced	Thoralf Skolem NERFINISHED ⓘ
knownFor	Löwenheim–Skolem theorem NERFINISHED ⓘ pioneering results in model theory ⓘ
language	German ⓘ
name	Leopold Löwenheim NERFINISHED ⓘ
namedAfter	Leopold Löwenheim NERFINISHED ⓘ
notability	pioneer of model theory ⓘ
notableConcept	downward Löwenheim–Skolem theorem NERFINISHED ⓘ
notableWork	Löwenheim–Skolem theorem NERFINISHED ⓘ
occupation	logician ⓘ mathematician ⓘ

How these facts were elicited

The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.

Instruction

You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10.

# Requirements
- If you don't know the subject at all, return an empty list.
- If the subject is not a named entity, return an empty list.
- Include at least one triple where predicate is "instanceOf".
- Do not get too wordy.
- Separate several objects into multiple triples with one object.

Input

Subject: Leopold Löwenheim
Description of subject: Leopold Löwenheim was a German mathematician and logician best known for pioneering results in model theory, particularly the Löwenheim–Skolem theorem.

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Thoralf Skolem → influencedBy → Leopold Löwenheim ⓘ