Triple
T6370881
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Scott encoding |
E143340
|
entity |
| Predicate | instanceOf |
P0
|
FINISHED |
| Object | representation in lambda calculus |
C20340
|
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: representation in lambda calculus Context triple: [Scott encoding, instanceOf, representation in lambda calculus]
-
A.
result in representation theory
A result in representation theory is a proven statement describing how algebraic structures, such as groups or algebras, can be represented by linear transformations on vector spaces and how these representations behave or decompose.
-
B.
collective representation
A collective representation is a shared system of symbols, beliefs, and meanings through which a social group understands, interprets, and organizes its reality.
-
C.
representation of Clifford algebra
A representation of a Clifford algebra is a homomorphism from the Clifford algebra to the algebra of linear operators on a vector space, realizing its generators as matrices or operators that satisfy the defining Clifford relations.
-
D.
Knowledge representation language
A knowledge representation language is a formal system used to encode information about the world in a structured, machine-interpretable way so that computers can reason about it.
-
E.
representation of the Lorentz group
A representation of the Lorentz group is a mathematical structure (typically a vector space with linear operators) on which the Lorentz transformations act in a way that preserves the group operations, allowing physical fields or states to transform consistently under changes of inertial reference frames.
- F. None of above. chosen
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_69c008d8c61081908bcaf61510d881ed |
completed | March 22, 2026, 3:20 p.m. |
Created at: March 22, 2026, 4:33 p.m.