Triple
T5645009
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Lenore Blum |
E124362
|
entity |
| Predicate | knownFor |
P22
|
FINISHED |
| Object | Blum–Shub–Smale model of real computation |
E537367
|
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: Blum–Shub–Smale model of real computation Context triple: [Lenore Blum, knownFor, Blum–Shub–Smale model of real computation]
-
A.
Blum–Shub–Smale model of computation
chosen
The Blum–Shub–Smale model of computation is a theoretical framework for analyzing algorithms over real numbers, extending classical complexity theory beyond discrete computation.
-
B.
Computing with Register Machines
"Computing with Register Machines" is a chapter in the classic computer science textbook *Structure and Interpretation of Computer Programs* that introduces low-level machine models and shows how higher-level language constructs can be implemented using simple register-based operations.
-
C.
The Calculus of Computation
The Calculus of Computation is a textbook that introduces the mathematical foundations of verification, focusing on logic-based methods for specifying and proving properties of computational systems.
-
D.
Blum complexity measures
Blum complexity measures are a formal framework in computational complexity theory that rigorously define and compare the resource usage (such as time or space) of algorithms via axiomatic conditions.
-
E.
arithmetization of syntax
Arithmetization of syntax is a method in mathematical logic that encodes formal language expressions and proofs as natural numbers so that syntactic properties can be studied using arithmetic.
- 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_69c00824643c81909ffdb888a2d35189 |
elicitation | completed |
| NER | batch_69c022a8eccc8190837d4705670dc25e |
ner | completed |
| NED1 | batch_69c05a1d7af8819092e28ce9fb14d1f1 |
ned_source_triple | completed |
Created at: March 22, 2026, 3:41 p.m.