NQTHM
E1119491
UNEXPLORED
NQTHM is an early automated theorem prover for recursive function theory and hardware/software verification, developed by Robert Boyer and J Strother Moore as a predecessor to their later Boyer–Moore theorem prover.
All labels observed (1)
| Label | Occurrences |
|---|---|
| NQTHM canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T14773235 — 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: NQTHM Context triple: [Boyer–Moore theorem prover, influenced, NQTHM]
-
A.
NMTH
NMTH is the acronym for the National Museum of Taiwan History, a major institution dedicated to preserving and presenting Taiwan’s historical and cultural heritage.
-
B.
NQ
NQ is the station code for North Quincy, a Massachusetts Bay Transportation Authority (MBTA) Red Line rapid transit station in Quincy, Massachusetts.
-
C.
NTH
NTH is the IATA airport code for Hokkaido Air System’s destination of Natashan Airport in Japan.
-
D.
NTH
NTH is a German alliance of technical universities in Lower Saxony that collaborate in research, teaching, and innovation.
-
E.
NTH
NTH is the National Rail station code for Neath railway station in Neath, Wales.
- 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: NQTHM Target entity description: NQTHM is an early automated theorem prover for recursive function theory and hardware/software verification, developed by Robert Boyer and J Strother Moore as a predecessor to their later Boyer–Moore theorem prover.
-
A.
NMTH
NMTH is the acronym for the National Museum of Taiwan History, a major institution dedicated to preserving and presenting Taiwan’s historical and cultural heritage.
-
B.
NQ
NQ is the station code for North Quincy, a Massachusetts Bay Transportation Authority (MBTA) Red Line rapid transit station in Quincy, Massachusetts.
-
C.
NTH
NTH is the IATA airport code for Hokkaido Air System’s destination of Natashan Airport in Japan.
-
D.
NTH
NTH is a German alliance of technical universities in Lower Saxony that collaborate in research, teaching, and innovation.
-
E.
NTH
NTH is the National Rail station code for Neath railway station in Neath, Wales.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.