Triple
T5357421
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Dale Miller |
E102730
|
entity |
| Predicate | notableConcept |
P201
|
FINISHED |
| Object | λProlog |
E143339
|
NE FINISHED |
Disambiguation candidates (1 decision)
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: λProlog Context triple: [Dale Miller, notableConcept, λProlog]
-
A.
LambdaProlog
chosen
LambdaProlog is a logic programming language that extends Prolog with higher-order features, polymorphism, and strong support for reasoning about formal systems and syntax with bindings.
-
B.
Prolog
Prolog is a high-level logic programming language rooted in formal logic and widely used in artificial intelligence, natural language processing, and symbolic reasoning.
-
C.
LCF theorem prover
The LCF theorem prover is an early interactive proof system that pioneered the use of higher-order logic and the LCF-style architecture, forming the conceptual basis for later provers like HOL and Isabelle.
-
D.
Kripke–Kleene semantics in logic programming
Kripke–Kleene semantics in logic programming is a three-valued, fixed-point-based approach to interpreting logic programs that captures partial or undefined information without committing to classical true/false evaluations.
-
E.
Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages is an academic conference focused on the practical implementation, application, and evaluation of declarative programming languages and related technologies.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Provenance (3 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69bd43d8f7248190b64c140734b5c9a8 |
elicitation | completed |
| NER | batch_69bd863099b081909d20f7014b98de5a |
ner | completed |
| NED1 | batch_69bf21e6762481909278935a4eeee177 |
ned_source_triple | completed |
Created at: March 20, 2026, 2:01 p.m.