Triple

T22191821
Position Surface form Disambiguated ID Type / Status
Subject May–Wigner stability theorem E548444 entity
Predicate givesCondition P56247 FINISHED
Object S·C·σ² < 1 for local stability in May’s original formulation LITERAL 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: S·C·σ² < 1 for local stability in May’s original formulation | Statement: [May–Wigner stability theorem, givesCondition, S·C·σ² < 1 for local stability in May’s original formulation]
PD Predicate disambiguation gpt-5-mini-2025-08-07
Target predicate: givesCondition
Context triple: [May–Wigner stability theorem, givesCondition, S·C·σ² < 1 for local stability in May’s original formulation]
  • A. definesConditionsFor chosen
    Indicates that one entity specifies or establishes the rules, requirements, or circumstances under which another entity is valid, applicable, or operates.
  • B. featuresCondition
    Indicates that an entity includes, exhibits, or is characterized by a particular condition.
  • C. containsCondition
    Indicates that one entity includes, embodies, or is associated with a particular condition.
  • D. hasCondition
    Indicates that an entity possesses, experiences, or is affected by a particular condition or state.
  • E. obligationCondition
    Indicates that one situation or state serves as the condition under which an obligation for an entity becomes active or must be fulfilled.
  • F. None of above.

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_69e11e3e0c7c8190b30d278845e2497e completed April 16, 2026, 5:37 p.m.
NER Named-entity recognition batch_69f12ae49ec881908fa42446b19e3f2d completed April 28, 2026, 9:47 p.m.
PD Predicate disambiguation batch_69e71b48576c8190a8e93738fd9cfda5 completed April 21, 2026, 6:38 a.m.
Created at: April 16, 2026, 8:35 p.m.