HOL
Art and entertainment
People
- Hol (surname)
- K'inich Popol Hol, 5th-century Mayan king
Places
- Hol, a municipality in Buskerud county, Norway
- Hol, Tjeldsund
- Hol, Nordland, Lofoten
- Hol Church (Nordland)
- Hol, Ludhiana, a village in India
- Holton Heath railway station, in England
Science and technology
- HOL (proof assistant), theorem proving systems
- Head-of-line blocking in computer networking
- Higher-order logic, a branch of symbolic logic
- Holonomy group in differential geometry
Sport
- Hol IL, a sports club in Buskerud county
- HOL, pre-1992 code for Netherlands at the Olympics
Other uses
- Hands On Learning Australia, a charity
- Hellas On-Line, a Greek Internet service provider
- Holu language
- tlhIngan Hol, fictional Klingon language
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.