Triple
T7420211
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | quadratic reciprocity law |
E171226
|
entity |
| Predicate | proofMethodsInclude |
P7024
|
FINISHED |
| Object | Gauss sums |
E662760
|
NE FINISHED |
How this triple was built (3 steps)
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.
NER
Named-entity recognition
gpt-5-mini
Instruction
Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).
Input
Phrase: Gauss sums | Statement: [quadratic reciprocity law, proofMethodsInclude, Gauss sums]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Gauss sums Context triple: [quadratic reciprocity law, proofMethodsInclude, Gauss sums]
-
A.
Gauss sum
chosen
A Gauss sum is a finite exponential sum, often involving characters such as the Legendre symbol, that plays a central role in number theory and the study of quadratic and higher-order residues.
-
B.
Gaussian periods
Gaussian periods are special algebraic sums of roots of unity that play a key role in number theory, particularly in constructing regular polygons like the 17-gon with straightedge and compass and in understanding cyclotomic fields.
-
C.
Ramanujan’s sum
Ramanujan’s sum is a number-theoretic function introduced by Srinivasa Ramanujan, expressing certain periodic arithmetic functions as finite trigonometric sums over primitive roots of unity.
-
D.
Gauss’s constant
Gauss’s constant is a mathematical constant arising in number theory and complex analysis, particularly in connection with the lemniscate and elliptic functions.
-
E.
Gauss’s lemma in number theory
Gauss’s lemma in number theory is a result that relates the Legendre symbol to the number of sign changes in a certain sequence of multiples, providing a practical criterion for determining quadratic residues modulo an odd prime.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
PD
Predicate disambiguation
gpt-5-mini-2025-08-07
Target predicate: proofMethodsInclude Context triple: [quadratic reciprocity law, proofMethodsInclude, Gauss sums]
-
A.
hasProofMethod
chosen
Indicates that there exists a specific method or technique used to establish or demonstrate the validity of something (such as a statement, claim, or theorem).
-
B.
hasAlternativeProofMethod
Indicates that there exists a different proof technique or approach that can be used to establish the same result or theorem.
-
C.
usesMethods
Indicates that one entity employs, applies, or relies on specific methods or techniques to perform an action or achieve a result.
-
D.
typicalProofUses
Indicates that a proof characteristically or commonly employs a particular method, technique, or component.
-
E.
includesApproach
Indicates that one entity incorporates, utilizes, or is characterized by a particular method, strategy, or approach in relation to another entity or context.
- F. None of above.
Provenance (4 batches)
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_69c68a625d048190af70eb8b63bec5a0 |
completed | March 27, 2026, 1:47 p.m. |
| NER | Named-entity recognition | batch_69c6f2ea61248190886e8e55b42ba5f1 |
completed | March 27, 2026, 9:13 p.m. |
| NED1 | Entity disambiguation (via context triple) | batch_69c8277c92788190bcd36cfa461b4d95 |
completed | March 28, 2026, 7:09 p.m. |
| PD | Predicate disambiguation | batch_69c6f0345040819094c5756dfa487faf |
completed | March 27, 2026, 9:01 p.m. |
Created at: March 27, 2026, 3:11 p.m.