Triple
T17048547
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Ferry Corsten |
E413633
|
entity |
| Predicate | notableAlias |
P39
|
FINISHED |
| Object |
System F
System F is the trance music alias of Dutch DJ and producer Ferry Corsten, under which he released influential tracks in the late 1990s and early 2000s.
|
E1248004
|
NE FINISHED |
Disambiguation candidates (2 decisions)
The exact options the model was shown at each disambiguation step, with the option it chose highlighted — the evidence behind this triple's disambiguated ids.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: System F Context triple: [Ferry Corsten, notableAlias, System F]
-
A.
System F
System F is a polymorphic lambda calculus that extends simple type systems with universal quantification over types, forming a foundational framework for studying typed functional programming and type theory.
-
B.
Hindley–Milner type system
The Hindley–Milner type system is a classical polymorphic type system used in many functional programming languages, notable for enabling type inference without explicit type annotations.
-
C.
Franz Lisp
Franz Lisp is a dialect of the Lisp programming language developed in the late 1970s at the University of California, Berkeley, primarily for use in artificial intelligence research and symbolic computation.
-
D.
Chez Scheme
Chez Scheme is a high-performance, optimizing implementation of the Scheme programming language widely used for both research and production systems.
-
E.
Landin’s SECD machine
Landin’s SECD machine is an early abstract machine for functional programming languages that introduced a systematic model for evaluating expressions using a stack, environment, control, and dump.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: System F Target entity description: System F is the trance music alias of Dutch DJ and producer Ferry Corsten, under which he released influential tracks in the late 1990s and early 2000s.
-
A.
System F
System F is a polymorphic lambda calculus that extends simple type systems with universal quantification over types, forming a foundational framework for studying typed functional programming and type theory.
-
B.
Hindley–Milner type system
The Hindley–Milner type system is a classical polymorphic type system used in many functional programming languages, notable for enabling type inference without explicit type annotations.
-
C.
Franz Lisp
Franz Lisp is a dialect of the Lisp programming language developed in the late 1970s at the University of California, Berkeley, primarily for use in artificial intelligence research and symbolic computation.
-
D.
Chez Scheme
Chez Scheme is a high-performance, optimizing implementation of the Scheme programming language widely used for both research and production systems.
-
E.
Landin’s SECD machine
Landin’s SECD machine is an early abstract machine for functional programming languages that introduced a systematic model for evaluating expressions using a stack, environment, control, and dump.
- F. None of above. chosen
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d886cd18288190b006abab23f811b7 |
elicitation | completed |
| NER | batch_69e3daa092f08190a9e37404a9de662c |
ner | completed |
| NED1 | batch_6a01233fb8d88190a9a6ef6a2f19a499 |
ned_source_triple | completed |
| NED2 | batch_6a0125dead2481908a5c26bda5a7cd1f |
ned_description | completed |
| NEDg | batch_6a012533f9a8819096ab9b821c848dd2 |
nedg | completed |
Created at: April 10, 2026, 5:34 a.m.