Branching quantifier (current) Computer surveillance in the workplace Nevada-class battleship DeGarmo and Key HZ (character encoding) Entertainment Software Rating Board VisionOS 2 V. T. Vijayan Continuum hypothesis Game theory 1945 State of the Union Address Haiku (operating system)