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.