Triple

T9070967
Position Surface form Disambiguated ID Type / Status
Subject Johannes G. van der Corput E217363 entity
Predicate notableConcept P201 FINISHED
Object van der Corput lemma in harmonic analysis E776133 NE FINISHED

How this triple was built (2 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: van der Corput lemma in harmonic analysis | Statement: [Johannes G. van der Corput, notableConcept, van der Corput lemma in harmonic analysis]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: van der Corput lemma in harmonic analysis
Context triple: [Johannes G. van der Corput, notableConcept, van der Corput lemma in harmonic analysis]
  • A. van der Corput lemma chosen
    The van der Corput lemma is a fundamental result in analytic number theory and harmonic analysis that provides bounds for oscillatory integrals and exponential sums, crucial for estimating error terms in various asymptotic formulas.
  • B. Three regularity results in harmonic analysis
    "Three regularity results in harmonic analysis" is the doctoral thesis of mathematician Terence Tao, focusing on advanced problems in harmonic analysis and the study of regularity properties of functions and operators.
  • C. Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals
    "Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals" is a foundational graduate-level textbook by Elias Stein that systematically develops modern harmonic analysis using real-variable techniques, emphasizing singular integrals, Littlewood–Paley theory, and oscillatory integral methods.
  • D. van der Corput inequality
    The van der Corput inequality is a fundamental result in analytic number theory that provides bounds for exponential sums, playing a key role in estimating trigonometric sums and studying uniform distribution.
  • E. van der Corput method
    The van der Corput method is a technique in analytic number theory used to estimate exponential sums and derive bounds for problems such as the distribution of prime numbers and lattice point counting.
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.

Provenance (3 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_69ca83d5a7f48190b16c1e59bd43ede0 completed March 30, 2026, 2:08 p.m.
NER Named-entity recognition batch_69cc955ec5c0819089bb42448edf391e completed April 1, 2026, 3:47 a.m.
NED1 Entity disambiguation (via context triple) batch_69d017a3926881909140f59c60ec3588 completed April 3, 2026, 7:40 p.m.
Created at: March 30, 2026, 7:12 p.m.