Other Definitions
hol (dict)

Hol

• HOL is an abbreviation for higher-order logic, a branch of symbolic logic in which statements can be quantified over objects, predicates, predicates of predicates etc.
• There is a theorem prover called HOL; see HOL theorem prover.
• Hol is a municipality in the county of Buskerud, Norway.

<< Previous Word Browser Next >>
heroic couplet hod herat hedeby hazara hawala hydroponics henry purcell hydrophobe harley davidson hiberno english	harmonic analysis home run harappa hate sites hendecasyllable hebrides human rights law hms dreadnought hartmann schedel hexameter holy hand grenade of antioch	timeline of polish history himalia heracleidae hiv hostile witness how to solve the rubik's cube henry i of england henry ii of england hentai henry vii of england henry viii of england	http cookie haryana himachal pradesh hakra river helene hyperion history of medicine hamoaze hanover handheld game console heinrich abeken