HOL

Look up Hol, hol, or hól in Wiktionary, the free dictionary.

Hol or HOL may refer to:

People

Places

  • Hol, Norway, a municipality in Buskerud county, Norway
    • Old Hol Church
  • Hol, Tjeldsund
  • Hol, Nordland, Lofoten
  • Hol Church (Nordland)
  • Hol, Ludhiana, a village in India

Stations

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

Sports and games

Other uses

  • Hands On Learning Australia, a charity
  • Hellas On-Line, a Greek Internet service provider
  • Holiday Airlines (US airline) (ICAO airline code HOL)
  • Holu language (ISO 639 code hol)
  • tlhIngan Hol, fictional Klingon language
  • Netherlands, ITU code

See also

Search for "hol" on Wikipedia.
  • Holl
  • All pages with titles beginning with HOL
  • All pages with titles containing HOL
  • All pages with titles beginning with Hol
  • h0i
  • HOI (disambiguation)
  • HO-1 (disambiguation), including HO1
  • H1 (disambiguation), including H01
Topics referred to by the same term
Disambiguation icon
This disambiguation page lists articles associated with the title HOL.
If an internal link led you here, you may wish to change the link to point directly to the intended article.