HOL
From Wikipedia, the free encyclopedia
HOL may stand for any of the following:
- The student reengagement program, Hands On Learning implemented by Hands On Learning Australia
- Head-of-line blocking
- Hellas On-Line, a Greek Internet service provider
- Higher-order logic, a branch of symbolic logic in which statements can be quantified over objects, predicates, and similar features
- HOL theorem prover
- House of Lords, the upper house of the UK parliament
- HOL, the former International Olympic Committee country code for the Netherlands
- House of Leaves, novel by Mark Z. Danielewski
[edit] See also
- Hol, a municipality in the county of Buskerud, Norway
- Hol (role-playing game)
- tlhIngan Hol, the klingon language
 |
This disambiguation page lists articles associated with the same title. If an internal link led you here, you may wish to change the link to point directly to the intended article. |
