Triple

T19231239
Position Surface form Disambiguated ID Type / Status
Subject tangent half-angle substitution E480875 entity
Predicate alsoKnownAs P39 FINISHED
Object Weierstrass substitution NE NERFINISHED

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: Weierstrass substitution | Statement: [tangent half-angle substitution, alsoKnownAs, Weierstrass substitution]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Weierstrass substitution
Context triple: [tangent half-angle substitution, alsoKnownAs, Weierstrass substitution]
  • A. Weierstrass substitution chosen
    The Weierstrass substitution is a trigonometric substitution technique that transforms integrals involving sine and cosine into rational functions, simplifying their evaluation.
  • B. tangent half-angle substitution
    Tangent half-angle substitution is a trigonometric technique that converts integrals involving sine and cosine into rational functions by substituting in terms of the tangent of half the angle.
  • C. Euler substitution
    Euler substitution is a classical technique in integral calculus that simplifies integrals involving square roots of quadratic expressions by transforming them into rational functions through a specific change of variables.
  • D. Wirtinger relations
    Wirtinger relations are algebraic relations among generators in a knot group presentation that encode how strands of a knot interact at each crossing.
  • E. Euler’s reflection formula
    Euler’s reflection formula is a fundamental identity in complex analysis that relates the values of the Gamma function at z and 1−z through the sine function, revealing a deep symmetry of the Gamma function.
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.

Provenance (2 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_69d8e8ccb8f48190ad420098e74fb1db completed April 10, 2026, 12:10 p.m.
NER Named-entity recognition batch_69e5fa9ce5e081909df994841ce476d5 completed April 20, 2026, 10:06 a.m.
Created at: April 10, 2026, 1:25 p.m.