Triple
T1255182
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | lambda calculus |
E26971
|
entity |
| Predicate | hasEncoding |
P17351
|
FINISHED |
| Object |
Scott encoding
Scott encoding is a method in lambda calculus for representing algebraic data types and their pattern matching behavior using higher-order functions.
|
E143340
|
NE FINISHED |
How this triple was built (4 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: Scott encoding | Statement: [lambda calculus, hasEncoding, Scott encoding]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Scott encoding Context triple: [lambda calculus, hasEncoding, Scott encoding]
-
A.
Manchester encoding
Manchester encoding is a digital line code that represents each data bit with a transition in the middle of the bit period, providing both clock and data synchronization on the same signal.
-
B.
Baconian method
The Baconian method is a systematic approach to scientific inquiry that emphasizes empirical observation, experimentation, and inductive reasoning to derive general principles from particular facts.
-
C.
Specific Area Message Encoding
Specific Area Message Encoding (SAME) is a digital protocol used in U.S. emergency alerting systems to target warnings to specific geographic areas and types of hazards.
-
D.
Encoding Standard
The Encoding Standard is a WHATWG specification that defines how text is encoded and decoded on the web to ensure consistent character handling across browsers and platforms.
-
E.
Spritz cipher
Spritz cipher is a modern stream cipher and hash function designed by Ronald Rivest and Jacob Schuldt as a more secure and flexible successor to RC4.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NEDg
Description generation
gpt-5.1
Instruction
Generate a one-sentence description of the target entity. You are given a context triple in the form (subject, predicate, object), where the object is the target entity. # Instructions Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. Avoid repeating the information from the triple, unless really essential. # Response Format Return only the sentence: "Description: [one-sentence description of the target entity]"
Input
Entity: Scott encoding Triple: [lambda calculus, hasEncoding, Scott encoding]
Generated description
Scott encoding is a method in lambda calculus for representing algebraic data types and their pattern matching behavior using higher-order functions.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Scott encoding Target entity description: Scott encoding is a method in lambda calculus for representing algebraic data types and their pattern matching behavior using higher-order functions.
-
A.
Manchester encoding
Manchester encoding is a digital line code that represents each data bit with a transition in the middle of the bit period, providing both clock and data synchronization on the same signal.
-
B.
Baconian method
The Baconian method is a systematic approach to scientific inquiry that emphasizes empirical observation, experimentation, and inductive reasoning to derive general principles from particular facts.
-
C.
Specific Area Message Encoding
Specific Area Message Encoding (SAME) is a digital protocol used in U.S. emergency alerting systems to target warnings to specific geographic areas and types of hazards.
-
D.
Encoding Standard
The Encoding Standard is a WHATWG specification that defines how text is encoded and decoded on the web to ensure consistent character handling across browsers and platforms.
-
E.
Spritz cipher
Spritz cipher is a modern stream cipher and hash function designed by Ronald Rivest and Jacob Schuldt as a more secure and flexible successor to RC4.
- F. None of above. chosen
Provenance (5 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_69a49487a9c48190ba9b05348fd1b53f |
completed | March 1, 2026, 7:33 p.m. |
| NER | Named-entity recognition | batch_69a4bfa5a4cc819093ed686619b572d8 |
completed | March 1, 2026, 10:37 p.m. |
| NED1 | Entity disambiguation (via context triple) | batch_69ac93cb76248190a23acb2e76ecfa8d |
completed | March 7, 2026, 9:08 p.m. |
| NEDg | Description generation | batch_69ac9453f4488190a13ebabf3c8e07a5 |
completed | March 7, 2026, 9:10 p.m. |
| NED2 | Entity disambiguation (via description) | batch_69ac952f74d48190b075919e0acd513d |
completed | March 7, 2026, 9:14 p.m. |
Created at: March 1, 2026, 7:47 p.m.