Triple

T25433443
Position Surface form Disambiguated ID Type / Status
Subject Pólya’s theorem on random walks E637316 entity
Predicate recurrenceHoldsForDimension P159443 FINISHED
Object 1 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: 1 | Statement: [Pólya’s theorem on random walks, recurrenceHoldsForDimension, 1]
PD Predicate disambiguation gpt-5-mini-2025-08-07
Target predicate: recurrenceHoldsForDimension
Context triple: [Pólya’s theorem on random walks, recurrenceHoldsForDimension, 1]
  • A. recurrence
    Indicates that an event, condition, or state happens again or repeatedly over time, often after a period of absence or resolution.
  • B. kernelDimensionEquals
    Indicates that the dimension of the kernel (null space) of a given linear transformation or operator is equal to a specified value.
  • C. includesDimension
    Indicates that one entity encompasses or contains a particular dimension or measurable aspect as part of its definition or structure.
  • D. hasHausdorffDimension
    Indicates that a mathematical object is associated with a specific Hausdorff dimension value, expressing the fractal or geometric complexity of the object.
  • E. usesRecursion
    Indicates that an entity performs an operation or defines a process by invoking itself, directly or indirectly, as part of its execution.
  • F. None of above. chosen

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_69e75db6c97081908178383fa632b193 completed April 21, 2026, 11:21 a.m.
NER Named-entity recognition batch_69f5f6dc7d088190b1e4c191172ea256 completed May 2, 2026, 1:06 p.m.
PD Predicate disambiguation batch_69f4a0f7c6008190ae8cee3e71e19b94 completed May 1, 2026, 12:47 p.m.
PDg Predicate description generation batch_69f55e497fa081909bc59a7b92c5df59 completed May 2, 2026, 2:15 a.m.
Created at: April 21, 2026, 1:59 p.m.