Rein analytischer Beweis
E1417028
UNEXPLORED
Rein analytischer Beweis is a foundational work by Bernard Bolzano that presents a purely analytic proof of the intermediate value theorem, marking an important step in the rigorous development of real analysis.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Rein analytischer Beweis canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T20188804 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Rein analytischer Beweis Context triple: [Bernard Bolzano, notableWork, Rein analytischer Beweis]
-
A.
The Book of the Unveiling of the Methods of Proof
The Book of the Unveiling of the Methods of Proof is a classical Islamic theological work that systematically analyzes and defends the principles of faith through rational argumentation and logical methodology.
-
B.
Untersuchungen über das logische Schließen
Untersuchungen über das logische Schließen is Gerhard Gentzen’s landmark 1934–35 work that founded structural proof theory and introduced natural deduction and sequent calculus.
-
C.
Analytik der Grundsätze
Analytik der Grundsätze is the section of Immanuel Kant’s Critique of Pure Reason that systematically examines the fundamental principles underlying human understanding and experience.
-
D.
Recherches sur la théorie de la démonstration
Recherches sur la théorie de la démonstration is Jacques Herbrand’s foundational work in mathematical logic, introducing key results in proof theory and what is now known as Herbrand’s theorem.
-
E.
Analytik des Erhabenen
Analytik des Erhabenen ist der Teil von Immanuel Kants „Kritik der Urteilskraft“, in dem er systematisch das Gefühl des Erhabenen und seine Bedeutung für Vernunft, Freiheit und ästhetisches Urteil untersucht.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Rein analytischer Beweis Target entity description: Rein analytischer Beweis is a foundational work by Bernard Bolzano that presents a purely analytic proof of the intermediate value theorem, marking an important step in the rigorous development of real analysis.
-
A.
The Book of the Unveiling of the Methods of Proof
The Book of the Unveiling of the Methods of Proof is a classical Islamic theological work that systematically analyzes and defends the principles of faith through rational argumentation and logical methodology.
-
B.
Untersuchungen über das logische Schließen
Untersuchungen über das logische Schließen is Gerhard Gentzen’s landmark 1934–35 work that founded structural proof theory and introduced natural deduction and sequent calculus.
-
C.
Analytik der Grundsätze
Analytik der Grundsätze is the section of Immanuel Kant’s Critique of Pure Reason that systematically examines the fundamental principles underlying human understanding and experience.
-
D.
Recherches sur la théorie de la démonstration
Recherches sur la théorie de la démonstration is Jacques Herbrand’s foundational work in mathematical logic, introducing key results in proof theory and what is now known as Herbrand’s theorem.
-
E.
Analytik des Erhabenen
Analytik des Erhabenen ist der Teil von Immanuel Kants „Kritik der Urteilskraft“, in dem er systematisch das Gefühl des Erhabenen und seine Bedeutung für Vernunft, Freiheit und ästhetisches Urteil untersucht.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.