Triple

T7420235
Position Surface form Disambiguated ID Type / Status
Subject quadratic reciprocity law E171226 entity
Predicate formalizedUsing P29507 FINISHED
Object Dirichlet characters E459563 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: Dirichlet characters | Statement: [quadratic reciprocity law, formalizedUsing, Dirichlet characters]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Dirichlet characters
Context triple: [quadratic reciprocity law, formalizedUsing, Dirichlet characters]
  • A. Dirichlet characters chosen
    Dirichlet characters are completely multiplicative periodic arithmetic functions modulo an integer, fundamental in analytic number theory for constructing Dirichlet L-functions and studying the distribution of primes in arithmetic progressions.
  • B. Dirichlet L-functions
    Dirichlet L-functions are complex analytic functions built from Dirichlet characters that generalize the Riemann zeta function and play a central role in number theory, particularly in the study of primes in arithmetic progressions.
  • C. Dedekind zeta functions
    Dedekind zeta functions are number-theoretic functions attached to algebraic number fields that encode their arithmetic properties, such as the distribution of prime ideals and class numbers.
  • D. Chebyshev functions
    Chebyshev functions are arithmetic functions in number theory that encode information about the distribution of prime numbers and play a key role in analytic approaches to the prime number theorem.
  • E. Dirichlet series
    A Dirichlet series is an infinite series of the form ∑ aₙ/nˢ, fundamental in analytic number theory for studying arithmetic functions and L-functions.
  • 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: formalizedUsing
Context triple: [quadratic reciprocity law, formalizedUsing, Dirichlet characters]
  • A. formalizedUnder
    Indicates that something has been officially established, defined, or codified within the framework, authority, or provisions of a particular formal system, agreement, or institution.
  • B. formalization
    Indicates that an informal concept, process, or agreement is being expressed, structured, or codified in a formal, explicit, and often standardized way.
  • C. isFormalizedBy
    Indicates that something is given a defined, structured, or official form through a specific method, process, or representation.
  • D. formalizedAt
    Indicates the point in time or event at which something is officially established, documented, or given formal status.
  • E. formalismType chosen
    Indicates the specific formal system or representational framework in which something (such as a theory, model, or specification) is expressed.
  • 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.