Triple
T25319501
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Stetigkeit und irrationale Zahlen |
E634838
|
entity |
| Predicate | instanceOf |
P0
|
FINISHED |
| Object | work on real analysis |
C6488
|
CONCEPT FINISHED |
How this triple was built (1 step)
Every LLM step that produced this triple, in pipeline order — named-entity classification, the disambiguation choices (the exact options shown, with the pick highlighted), and the generated description. The batch + timestamp of each is in the Provenance table below.
CD
Concept disambiguation
gpt-5-mini-2025-08-07
Target class: work on real analysis Context triple: [Stetigkeit und irrationale Zahlen, instanceOf, work on real analysis]
-
A.
theory in real analysis
A theory in real analysis is a coherent framework of definitions, axioms, and theorems that rigorously describes and explains properties and behaviors of real numbers, sequences, functions, and related structures.
-
B.
result in real analysis
In real analysis, a result is a proven mathematical statement—such as a theorem, lemma, proposition, or corollary—that establishes a specific property or relationship about real-valued functions, sequences, sets, or structures on the real numbers.
-
C.
work in functional analysis
A work in functional analysis is a mathematical study or result focused on the properties of vector spaces with additional structure (such as norms or inner products) and the linear operators acting on them, often with applications to differential equations, quantum mechanics, and signal processing.
-
D.
equation in real analysis
An equation in real analysis is a formal statement asserting the equality of two real-valued expressions, typically involving real variables, constants, and functions, whose solutions are the real numbers that make the statement true.
-
E.
mathematical work
chosen
A mathematical work is a structured intellectual creation that develops, analyzes, or communicates mathematical concepts, results, or methods, typically through definitions, theorems, proofs, and examples.
- F. None of above.
Provenance (1 batch)
The batch behind each pipeline step, in order, with when it ran. Timestamps are batch-level — stages were processed in waves, so the object chain (NER → NED1 → NEDg → NED2) reads in order, but predicate / elicitation batches can sit in a different wave.
| Step | Stage | Batch ID | Status | When |
|---|---|---|---|---|
| creating | Elicitation | batch_69e75a9847c08190bb02990d06d5ffb7 |
completed | April 21, 2026, 11:08 a.m. |
Created at: April 21, 2026, 1:28 p.m.