Mike Barnett
E1346591
UNEXPLORED
Mike Barnett is a software developer associated with the Spec# programming language and verification project.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Mike Barnett canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T17674746 — 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: Mike Barnett Context triple: [Spec#, developer, Mike Barnett]
-
A.
Brian Bockrath
Brian Bockrath is a television producer best known for his executive production work on the post-apocalyptic horror drama series The Walking Dead: Dead City.
-
B.
Brian Routh
Brian Routh was a British performance artist and musician best known as one half of the avant-garde comedy and performance duo The Kipper Kids.
-
C.
Mike Bennion
Mike Bennion is a musician best known for having been an early member of the British progressive rock band Porcupine Tree.
-
D.
Keith Batey
Keith Batey was a British codebreaker and intelligence officer who worked at Bletchley Park during World War II, notably alongside his wife, fellow cryptanalyst Mavis Batey.
-
E.
Kevin Barnett
Kevin Barnett was an American comedian and screenwriter known for co-writing mainstream comedy films and working on various television and stand-up projects.
- 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: Mike Barnett Target entity description: Mike Barnett is a software developer associated with the Spec# programming language and verification project.
-
A.
Brian Bockrath
Brian Bockrath is a television producer best known for his executive production work on the post-apocalyptic horror drama series The Walking Dead: Dead City.
-
B.
Brian Routh
Brian Routh was a British performance artist and musician best known as one half of the avant-garde comedy and performance duo The Kipper Kids.
-
C.
Mike Bennion
Mike Bennion is a musician best known for having been an early member of the British progressive rock band Porcupine Tree.
-
D.
Keith Batey
Keith Batey was a British codebreaker and intelligence officer who worked at Bletchley Park during World War II, notably alongside his wife, fellow cryptanalyst Mavis Batey.
-
E.
Kevin Barnett
Kevin Barnett was an American comedian and screenwriter known for co-writing mainstream comedy films and working on various television and stand-up projects.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.