Steve Bickford
E1569184
UNEXPLORED
Steve Bickford is a computer scientist known for his work on formal methods and interactive theorem proving, particularly in connection with the Nuprl proof development system.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Steve Bickford canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T22839655 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Steve Bickford Context triple: [Bickford, hasNotableBearer, Steve Bickford]
-
A.
Michael Emrick
Michael "Doc" Emrick is a renowned American sportscaster best known as the longtime play-by-play announcer for National Hockey League broadcasts.
-
B.
Jack Bicknell
Jack Bicknell is an American football coach best known for leading Boston College to national prominence in the 1980s, including the famed Doug Flutie era and the 1984 Cotton Bowl victory.
-
C.
Greg Beeman
Greg Beeman is an American television director and producer known for his work on genre series such as "Falling Skies," "Heroes," and "Smallville."
-
D.
Dennis Wilkey
Dennis Wilkey is a songwriter best known for co-writing the lyrics to Grace Jones's hit song "I've Seen That Face Before (Libertango)."
-
E.
Bill Stanfill
Bill Stanfill was an American football defensive end best known for his standout career with the Miami Dolphins in the NFL during the 1960s and 1970s.
- 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: Steve Bickford Target entity description: Steve Bickford is a computer scientist known for his work on formal methods and interactive theorem proving, particularly in connection with the Nuprl proof development system.
-
A.
Michael Emrick
Michael "Doc" Emrick is a renowned American sportscaster best known as the longtime play-by-play announcer for National Hockey League broadcasts.
-
B.
Jack Bicknell
Jack Bicknell is an American football coach best known for leading Boston College to national prominence in the 1980s, including the famed Doug Flutie era and the 1984 Cotton Bowl victory.
-
C.
Greg Beeman
Greg Beeman is an American television director and producer known for his work on genre series such as "Falling Skies," "Heroes," and "Smallville."
-
D.
Dennis Wilkey
Dennis Wilkey is a songwriter best known for co-writing the lyrics to Grace Jones's hit song "I've Seen That Face Before (Libertango)."
-
E.
Bill Stanfill
Bill Stanfill was an American football defensive end best known for his standout career with the Miami Dolphins in the NFL during the 1960s and 1970s.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.