Triple

T27562998
Position Surface form Disambiguated ID Type / Status
Subject Legendre’s relation for elliptic integrals E695822 entity
Predicate instanceOf P0 FINISHED
Object formula in analysis C1718 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: formula in analysis
Context triple: [Legendre’s relation for elliptic integrals, instanceOf, formula in analysis]
  • A. mathematical formula chosen
    A mathematical formula is a concise symbolic expression that defines a relationship between quantities using numbers, variables, and mathematical operators.
  • B. technique in analysis
    A technique in analysis is a systematic method or procedure used to examine, simplify, or solve mathematical problems involving limits, continuity, differentiation, integration, or related structures.
  • C. formal analytic product
    A formal analytic product is a rigorously defined, systematically structured offering—such as a model, framework, or methodology—designed to analyze, interpret, or solve problems within a specific domain using formal logic and analytic techniques.
  • D. example in mathematical analysis
    An example in mathematical analysis is a specific function, sequence, or construction used to illustrate, test, or clarify a general concept, theorem, or phenomenon within the subject.
  • E. experimental formula
    An experimental formula is a provisional mathematical or symbolic expression derived from empirical observations or trials, used to predict or describe behavior under specific experimental conditions and subject to refinement or validation.
  • 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_69ef53891af88190a193c5e2a1dac9b1 completed April 27, 2026, 12:16 p.m.
Created at: April 27, 2026, 1:40 p.m.