HOL
From Infogalactic: the planetary knowledge core
(Redirected from HoL)
![]() |
Look up Hol, hol, or hól in Wiktionary, the free dictionary. |
Hol or HOL may refer to:
- Hol (surname)
- Hol IL, a sports club in Hol municipality, Buskerud county
- Hol (role-playing game)
- HOL (proof assistant), a family of interactive theorem proving systems
- Hands On Learning, a student re-engagement program implemented by Hands On Learning Australia
- Head-of-line blocking, a performance-limiting phenomenon in computer networking
- Hellas On-Line, a Greek Internet service provider
- Higher-order logic, a branch of symbolic logic
- House of Lords, the upper house of the UK parliament
- House of Leaves, a novel by Mark Z. Danielewski
- Hounds of Love, an album by Kate Bush
- tlhIngan Hol, the Klingon language
- High Order Language, another term for High-level programming language
Places
- Hol, a municipality in Buskerud county, Norway
- Old Hol Church, a 13th-century church in Hol, Buskerud county
- Hol, Tjeldsund, the administrative centre of Tjeldsund municipality, Nordland county
- Hol, Nordland, a former municipality in Lofoten, Nordland county
- Hol Church (Nordland), a church in Vestvågøy municipality, Nordland county
- Netherlands, from their former International Olympic Committee country code
People
- Richard Hol (1825–1904), Dutch composer and conductor
<templatestyles src="Dmbox/styles.css" />