Triple

T2929953
Position Surface form Disambiguated ID Type / Status
Subject Andrei Voronkov E78936 entity
Predicate editorOf P1954 FINISHED
Object Handbook of Automated Reasoning E312856 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: Handbook of Automated Reasoning | Statement: [Andrei Voronkov, editorOf, Handbook of Automated Reasoning]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: Handbook of Automated Reasoning
Context triple: [Andrei Voronkov, editorOf, Handbook of Automated Reasoning]
  • A. Handbook of Automated Reasoning chosen
    The "Handbook of Automated Reasoning" is a comprehensive reference work that surveys the theories, methods, and tools used in the field of automated theorem proving and formal reasoning in computer science and logic.
  • B. Journal of Automated Reasoning
    The Journal of Automated Reasoning is a peer-reviewed academic journal focusing on research in automated reasoning, formal methods, and related areas of computer science and logic.
  • C. Vampire automated theorem prover
    Vampire automated theorem prover is a high-performance first-order logic reasoning system widely used in automated deduction and formal verification research.
  • D. Conference on Automated Deduction
    The Conference on Automated Deduction (CADE) is a leading international research conference focused on the theory and applications of automated reasoning and formal deduction in computer science and mathematics.
  • E. Logical Methods in Computer Science
    Logical Methods in Computer Science is a peer-reviewed open-access journal focusing on theoretical computer science, particularly logic and its applications to computer science.
  • 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_69ad8b0d40b481908bc2a5fa2e73c3fb completed March 8, 2026, 2:43 p.m.
NER Named-entity recognition batch_69ad980191388190ac2455a7d9867be3 completed March 8, 2026, 3:38 p.m.
NED1 Entity disambiguation (via context triple) batch_69b0fc67bea881908bfd8122e2a632f8 completed March 11, 2026, 5:23 a.m.
Created at: March 8, 2026, 2:55 p.m.