Triple

T568432
Position Surface form Disambiguated ID Type / Status
Subject liar paradox E13608 entity
Predicate studiedBy P1945 FINISHED
Object Alfred Tarski
Alfred Tarski was a Polish-American logician and mathematician renowned for his foundational work in model theory, formal semantics, and the concept of truth in formalized languages.
 E71180 NE FINISHED

How this triple was built (4 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: Alfred Tarski | Statement: [liar paradox, studiedBy, Alfred Tarski]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: Alfred Tarski
Context triple: [liar paradox, studiedBy, Alfred Tarski]
  • A. Jacques Herbrand
    Jacques Herbrand was a French mathematician and logician known for his foundational contributions to proof theory and mathematical logic, particularly Herbrand's theorem.
  • B. Kurt Gödel
    Kurt Gödel was a pioneering logician and mathematician best known for his incompleteness theorems, which fundamentally transformed the foundations of mathematics and logic.
  • C. Rudolf Carnap
    Rudolf Carnap was a leading 20th-century philosopher and key figure in logical positivism, known for his work on the philosophy of science, logic, and the logical analysis of language.
  • D. Gottlob Frege
    Gottlob Frege was a German philosopher, logician, and mathematician whose work laid the foundations of modern logic and analytic philosophy.
  • E. John Alan Robinson
    John Alan Robinson was a pioneering logician and computer scientist best known for introducing the resolution principle, a fundamental method in automated theorem proving and logic programming.
  • F. None of above. chosen
  • G. Unsure - the case is ambiguous/there is not enough information to decide.
NEDg Description generation gpt-5.1
Instruction
Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"
Input
Entity: Alfred Tarski
Triple: [liar paradox, studiedBy, Alfred Tarski]
Generated description
Alfred Tarski was a Polish-American logician and mathematician renowned for his foundational work in model theory, formal semantics, and the concept of truth in formalized languages.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07 
Target entity: Alfred Tarski
Target entity description: Alfred Tarski was a Polish-American logician and mathematician renowned for his foundational work in model theory, formal semantics, and the concept of truth in formalized languages.
  • A. Jacques Herbrand
    Jacques Herbrand was a French mathematician and logician known for his foundational contributions to proof theory and mathematical logic, particularly Herbrand's theorem.
  • B. Kurt Gödel
    Kurt Gödel was a pioneering logician and mathematician best known for his incompleteness theorems, which fundamentally transformed the foundations of mathematics and logic.
  • C. Rudolf Carnap
    Rudolf Carnap was a leading 20th-century philosopher and key figure in logical positivism, known for his work on the philosophy of science, logic, and the logical analysis of language.
  • D. Gottlob Frege
    Gottlob Frege was a German philosopher, logician, and mathematician whose work laid the foundations of modern logic and analytic philosophy.
  • E. John Alan Robinson
    John Alan Robinson was a pioneering logician and computer scientist best known for introducing the resolution principle, a fundamental method in automated theorem proving and logic programming.
  • F. None of above. chosen

Provenance (5 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_69a4933fa4d88190a7949cc83c08c5c1 completed March 1, 2026, 7:27 p.m.
NER Named-entity recognition batch_69a49b0406d481908af5fc7bc67103fb completed March 1, 2026, 8:01 p.m.
NED1 Entity disambiguation (via context triple) batch_69a4efd0d5b88190a8c0822800f48e2a completed March 2, 2026, 2:02 a.m.
NEDg Description generation batch_69a4f043efec8190a3f53ab2764252be completed March 2, 2026, 2:04 a.m.
NED2 Entity disambiguation (via description) batch_69a4f3eb1e3481909aa2b8290ed99e49 completed March 2, 2026, 2:20 a.m.
Created at: March 1, 2026, 7:33 p.m.