Triple

T17872010
Position Surface form Disambiguated ID Type / Status
Subject Henkin construction E446858 entity
Predicate instanceOf P0 FINISHED
Object method in first-order logic C33680 CONCEPT FINISHED

How this triple was built (1 step)

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.

CD Concept disambiguation gpt-5-mini-2025-08-07 
Target class: method in first-order logic
Context triple: [Henkin construction, instanceOf, method in first-order logic]
  • A. formal logic
    Formal logic is the systematic study of valid reasoning and inference using precisely defined symbols, rules, and structures independent of specific content.
  • B. treatise on logic
    A treatise on logic is a systematic, often formal written work that analyzes the principles of valid reasoning, argument structure, and inference.
  • C. higher-order logic theorem prover
    A higher-order logic theorem prover is a software system that automatically or interactively checks, derives, and manipulates logical statements and proofs in a logic where functions and predicates can take other functions and predicates as arguments.
  • D. result in model theory chosen
    In model theory, a result is a formally proven statement—such as a theorem, lemma, or corollary—about structures, theories, or definable sets that follows from the axioms and logical rules of the framework.
  • E. axiom schema
    An axiom schema is a rule or template that generates an infinite set of axioms by uniformly substituting formulas for its schematic variables.
  • F. None of above.

Provenance (1 batch)

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_69d8b9f4c22c819093c2680434472894 completed April 10, 2026, 8:51 a.m.
Created at: April 10, 2026, 10:18 a.m.