Triple

T4754165
Position Surface form Disambiguated ID Type / Status
Subject Grundgesetze der Arithmetik, Volume II E105546 entity
Predicate hasWorkExample P33193 FINISHED
Object derivations of arithmetic theorems from logical axioms 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: derivations of arithmetic theorems from logical axioms | Statement: [Grundgesetze der Arithmetik, Volume II, hasWorkExample, derivations of arithmetic theorems from logical axioms]
PD Predicate disambiguation gpt-5-mini-2025-08-07
Target predicate: hasWorkExample
Context triple: [Grundgesetze der Arithmetik, Volume II, hasWorkExample, derivations of arithmetic theorems from logical axioms]
  • A. hasExample
    Indicates that one entity serves as an instance, illustration, or concrete example of another entity.
  • B. workExampleOf chosen
    Indicates that something serves as an example or instance of a particular type of work or activity.
  • C. hasWorkBy
    Indicates that one entity (such as a collection, exhibition, or publication) includes or contains creative works produced by another entity (such as an artist, author, or creator).
  • D. hasWorkOn
    Indicates that one entity is associated with, contributes to, or performs work on another entity (such as a project, task, or artifact).
  • E. hasWorkAsSubject
    Indicates that an entity serves as the subject (creator or originator) of a particular work or creative output.
  • 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_69bd43f07fa48190954317d01600994a completed March 20, 2026, 12:56 p.m.
NER Named-entity recognition batch_69bd64e72d1c81908eb60960751e52b1 completed March 20, 2026, 3:16 p.m.
PD Predicate disambiguation batch_69bd6223defc8190823665a6592c1154 completed March 20, 2026, 3:05 p.m.
Created at: March 20, 2026, 1:20 p.m.