Triple
T29565470
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Brauer–Manin obstruction |
E753151
|
entity |
| Predicate | instanceOf |
P0
|
FINISHED |
| Object | obstruction to the Hasse principle |
C47075
|
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: obstruction to the Hasse principle Context triple: [Brauer–Manin obstruction, instanceOf, obstruction to the Hasse principle]
-
A.
result in arithmetic geometry
A result in arithmetic geometry is a theorem or proposition that connects number-theoretic properties of solutions to polynomial equations with the geometric structure of the varieties they define over arithmetic fields.
-
B.
technique in Diophantine geometry
chosen
A technique in Diophantine geometry is a systematic method or tool—often combining algebraic, geometric, and arithmetic ideas—used to study and solve equations with integer or rational solutions on algebraic varieties.
-
C.
curve over the rational numbers
A curve over the rational numbers is an algebraic curve defined by polynomial equations with rational coefficients, considered together with its set of rational solutions and their arithmetic properties.
-
D.
theorem in metric number theory
A theorem in metric number theory is a rigorous statement describing the behavior of number-theoretic objects (such as Diophantine approximations or distribution of sequences) for "almost all" real numbers with respect to a given measure, typically Lebesgue measure.
-
E.
problem in the theory of Abelian functions
A problem in the theory of Abelian functions concerns questions about the properties, classification, or explicit determination of multivalued complex functions arising from integrals of algebraic differentials on Riemann surfaces and their associated period relations.
- 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_69f0ef7fcb4881908a933110adb9bda1 |
completed | April 28, 2026, 5:33 p.m. |
Created at: April 28, 2026, 5:52 p.m.