Triple
T123919
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Turing machine |
E2505
|
entity |
| Predicate | instanceOf |
P0
|
FINISHED |
| Object | formal system |
C324
|
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: formal system Context triple: [Turing machine, instanceOf, formal system]
-
A.
formal language classification scheme
A formal language classification scheme is a systematic framework for categorizing formal languages based on their generative or recognitional power, typically using hierarchies such as the Chomsky hierarchy.
-
B.
hierarchy of formal grammars
A hierarchy of formal grammars is an organized classification of grammars into levels based on their generative power and structural constraints, such as the Chomsky hierarchy from regular to recursively enumerable languages.
-
C.
writing system
A writing system is an organized set of visual symbols and rules used to represent the elements of a language in a permanent, readable form.
-
D.
theoretical model
chosen
A theoretical model is an abstract, simplified representation of a system or phenomenon used to explain, predict, or understand its behavior based on underlying principles and assumptions.
-
E.
mathematical theorem
A mathematical theorem is a rigorously proven statement derived from axioms and previously established results, expressing a fundamental truth within a formal mathematical system.
- 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_69a251b54ea88190b18281669f59b4c0 |
completed | Feb. 28, 2026, 2:23 a.m. |
Created at: Feb. 28, 2026, 2:27 a.m.