HOL

HOL can refer to any of the following:

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.
The Hall of Light, an Amiga games database [1] (http://hol.abime.net/).

This is a disambiguation page — a navigational aid which lists other pages that might otherwise share the same title. If an article link referred you here, you might want to go back and fix it to point directly to the intended page.

Retrieved from "https://academickids.com:443/encyclopedia/index.php/HOL"

Categories: Disambiguation

Navigation

Art and Cultures
- Art (https://academickids.com/encyclopedia/index.php/Art)
- Architecture (https://academickids.com/encyclopedia/index.php/Architecture)
- Cultures (https://www.academickids.com/encyclopedia/index.php/Cultures)
- Music (https://www.academickids.com/encyclopedia/index.php/Music)
- Musical Instruments (http://academickids.com/encyclopedia/index.php/List_of_musical_instruments)

Biographies (http://www.academickids.com/encyclopedia/index.php/Biographies)
Clipart (http://www.academickids.com/encyclopedia/index.php/Clipart)
Geography (http://www.academickids.com/encyclopedia/index.php/Geography)
- Countries of the World (http://www.academickids.com/encyclopedia/index.php/Countries)
- Maps (http://www.academickids.com/encyclopedia/index.php/Maps)
- Flags (http://www.academickids.com/encyclopedia/index.php/Flags)
- Continents (http://www.academickids.com/encyclopedia/index.php/Continents)
History (http://www.academickids.com/encyclopedia/index.php/History)
- Ancient Civilizations (http://www.academickids.com/encyclopedia/index.php/Ancient_Civilizations)
- Industrial Revolution (http://www.academickids.com/encyclopedia/index.php/Industrial_Revolution)
- Middle Ages (http://www.academickids.com/encyclopedia/index.php/Middle_Ages)
- Prehistory (http://www.academickids.com/encyclopedia/index.php/Prehistory)
- Renaissance (http://www.academickids.com/encyclopedia/index.php/Renaissance)
- Timelines (http://www.academickids.com/encyclopedia/index.php/Timelines)
- United States (http://www.academickids.com/encyclopedia/index.php/United_States)
- Wars (http://www.academickids.com/encyclopedia/index.php/Wars)
- World History (http://www.academickids.com/encyclopedia/index.php/History_of_the_world)

Human Body (http://www.academickids.com/encyclopedia/index.php/Human_Body)
Mathematics (http://www.academickids.com/encyclopedia/index.php/Mathematics)
Reference (http://www.academickids.com/encyclopedia/index.php/Reference)
Science (http://www.academickids.com/encyclopedia/index.php/Science)
- Animals (http://www.academickids.com/encyclopedia/index.php/Animals)
- Aviation (http://www.academickids.com/encyclopedia/index.php/Aviation)
- Dinosaurs (http://www.academickids.com/encyclopedia/index.php/Dinosaurs)
- Earth (http://www.academickids.com/encyclopedia/index.php/Earth)
- Inventions (http://www.academickids.com/encyclopedia/index.php/Inventions)
- Physical Science (http://www.academickids.com/encyclopedia/index.php/Physical_Science)
- Plants (http://www.academickids.com/encyclopedia/index.php/Plants)
- Scientists (http://www.academickids.com/encyclopedia/index.php/Scientists)
Social Studies (http://www.academickids.com/encyclopedia/index.php/Social_Studies)
- Anthropology (http://www.academickids.com/encyclopedia/index.php/Anthropology)
- Economics (http://www.academickids.com/encyclopedia/index.php/Economics)
- Government (http://www.academickids.com/encyclopedia/index.php/Government)
- Religion (http://www.academickids.com/encyclopedia/index.php/Religion)
- Holidays (http://www.academickids.com/encyclopedia/index.php/Holidays)
Space and Astronomy
- Solar System (http://www.academickids.com/encyclopedia/index.php/Solar_System)
- Planets (http://www.academickids.com/encyclopedia/index.php/Planets)
Sports (http://www.academickids.com/encyclopedia/index.php/Sports)
Timelines (http://www.academickids.com/encyclopedia/index.php/Timelines)
Weather (http://www.academickids.com/encyclopedia/index.php/Weather)
US States (http://www.academickids.com/encyclopedia/index.php/US_States)

Information

Home Page (http://academickids.com/encyclopedia/index.php)
Contact Us (http://www.academickids.com/encyclopedia/index.php/Contactus)

Clip Art (http://classroomclipart.com)

HOL

Navigation

Search

Toolbox

Personal tools