Triple

T3771976
Position Surface form Disambiguated ID Type / Status
Subject Martin David Kruskal E83217 entity
Predicate knownFor P22 FINISHED
Object Kruskal–Szekeres extension of the Schwarzschild solution E11652 NE 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: Kruskal–Szekeres extension of the Schwarzschild solution | Statement: [Martin David Kruskal, knownFor, Kruskal–Szekeres extension of the Schwarzschild solution]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: Kruskal–Szekeres extension of the Schwarzschild solution
Context triple: [Martin David Kruskal, knownFor, Kruskal–Szekeres extension of the Schwarzschild solution]
  • A. Kruskal–Szekeres coordinates chosen
    Kruskal–Szekeres coordinates are a maximal extension coordinate system used in general relativity to smoothly describe the entire spacetime of a Schwarzschild black hole, including regions across the event horizon.
  • B. The Mathematical Theory of Black Holes
    The Mathematical Theory of Black Holes is a landmark monograph that presents a rigorous, comprehensive treatment of the physics and mathematics underlying black hole solutions in general relativity.
  • C. Hawking–Penrose singularity theorems
    The Hawking–Penrose singularity theorems are foundational results in general relativity that show, under broad physical conditions, spacetime must contain singularities such as those inside black holes or at the Big Bang.
  • D. Bardeen black hole model
    The Bardeen black hole model is a theoretical proposal of a regular (non-singular) black hole solution in general relativity that avoids the central singularity by coupling gravity to nonlinear electrodynamics.
  • E. Painlevé–Gullstrand coordinates
    Painlevé–Gullstrand coordinates are a coordinate system for the Schwarzschild black hole that is regular at the event horizon and represents spacetime as seen by freely falling observers.
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.

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_69ad8b235e608190b5a2b1d1bfcef50b completed March 8, 2026, 2:43 p.m.
NER Named-entity recognition batch_69adcc3219b881908a2f82126f9a679d completed March 8, 2026, 7:21 p.m.
NED1 Entity disambiguation (via context triple) batch_69b4e52bb2d08190b457dd517ff366d7 completed March 14, 2026, 4:33 a.m.
Created at: March 8, 2026, 3:36 p.m.