Z31
E1532708
UNEXPLORED
Z31 was a German Type 1936A (Mob) destroyer that served with the Kriegsmarine during World War II, participating in Arctic and Norwegian operations before being ceded to France as a war prize.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Z31 canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T22349069 — 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: Z31 Context triple: [German destroyer Z31, pennantNumber, Z31]
-
A.
Z34
Z34 is the internal chassis code used by Nissan to designate the 370Z sports car generation produced from 2009 onward.
-
B.
Z3
Z3 is a high-performance theorem prover and SMT (Satisfiability Modulo Theories) solver developed by Microsoft Research, widely used in formal verification, program analysis, and automated reasoning.
-
C.
Z4
Z4 was a German Kriegsmarine destroyer named Richard Beitzen that served during World War II in various North Sea and Atlantic operations.
-
D.
Z-13
Z-13 is the station code assigned to Kinshichō Station on Tokyo’s subway network.
-
E.
Z6
Z6 was the hull number of the German World War II destroyer Theodor Riedel, a Type 1934A-class vessel of the Kriegsmarine.
- 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: Z31 Target entity description: Z31 was a German Type 1936A (Mob) destroyer that served with the Kriegsmarine during World War II, participating in Arctic and Norwegian operations before being ceded to France as a war prize.
-
A.
Z34
Z34 is the internal chassis code used by Nissan to designate the 370Z sports car generation produced from 2009 onward.
-
B.
Z3
Z3 is a high-performance theorem prover and SMT (Satisfiability Modulo Theories) solver developed by Microsoft Research, widely used in formal verification, program analysis, and automated reasoning.
-
C.
Z4
Z4 was a German Kriegsmarine destroyer named Richard Beitzen that served during World War II in various North Sea and Atlantic operations.
-
D.
Z-13
Z-13 is the station code assigned to Kinshichō Station on Tokyo’s subway network.
-
E.
Z6
Z6 was the hull number of the German World War II destroyer Theodor Riedel, a Type 1934A-class vessel of the Kriegsmarine.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.