Find the word definition

Wikipedia

Hol

Hol is a municipality in Buskerud county, Norway.

HOL (proof assistant)

HOL (Higher Order Logic) denotes a family of interactive theorem proving systems using similar (higher-order) logics and implementation strategies. Systems in this family follow the LCF approach as they are implemented as a library in some programming language. This library implements an abstract data type of proven theorems so that new objects of this type can only be created using the functions in the library which correspond to inference rules in higher-order logic. As long as these functions are correctly implemented, all theorems proven in the system must be valid. In this way, a large system can be built on top of a small trusted kernel.

Systems in the HOL family use the ML programming language or its successors. ML was originally developed along with LCF to serve the purpose of a meta-language for theorem proving systems; in fact, the name stands for "Meta-Language".

Hol (role-playing game)

HoL (sometimes written as "HōL") is a role-playing game created by Dirt Merchant Games and produced by Black Dog Game Factory, a subsidiary of White Wolf which produced adult oriented RPGs. The HoL Core Rulebook was published in 1994, and was followed up by one other supplement Buttery Wholesomeness in 1995. Although HoL is playable, it was meant as a satire of RPGs. The pages of the books are written by hand, and the authors freely take stabs at other popular role-playing games, particularly Vampire: The Masquerade and Dungeons & Dragons, and those who play them.

Hol (surname)

Hol is a surname. Notable people with the surname include:

  • Dag Hol (born 1951), Norwegian painter
  • Diederik Hol (born 1972), Dutch designer
  • Jon Hol (1851–1941), Norwegian engineer and activist
  • Petter Hol (1883–1981), Norwegian gymnast
  • Richard Hol (1825–1904), Dutch composer and conductor
The Collaborative International Dictionary

Hol

Hol \Hol\, a. [See Whole.] Whole. [Obs.]
--Chaucer.

Usage examples of "hol".

Hij vestigt zich daarna met zijn liefje in zijn eigen of in haar hol en legt hier gangen aan, die op de gewone jachtgangen gelijken, maar voor een geheel ander doel bestemd zijn, namelijk om het wijfje er in op te sluiten, wanneer zich een medevrijer vertoont.

Heusch, je ziet er zoo mager en hol uit, net of je honger hebt geleden.

In the face of a mounting body of evidence Holmer, discredited, was replaced by an attorney-general who refused, consistently, to give hearing to any statement that threatened to contradict the official line: all enquiry would be secret, and conducted by the secret police, the Sapo known for detestation of all that Palme stood for.

Als er geen door andere dieren of door de natuur gemaakt hol te vinden is, graaft de Egel zich met veel inspanning zelf een woning en maakt hierin een nest.

Hij vestigt zich daarna met zijn liefje in zijn eigen of in haar hol en legt hier gangen aan, die op de gewone jachtgangen gelijken, maar voor een geheel ander doel bestemd zijn, namelijk om het wijfje er in op te sluiten, wanneer zich een medevrijer vertoont.

He fiasea ohoa wir ,fscr Iostsnnw,len ncfh ot a dnl hss cr peod,e ahedc r ydbedroop,dc r ydper, orel hol sstlingisscry fts.

In many cases, a more Anglicized transliteration is used instead of the tlhIngan Hol transliterations preferred by linguists (e.

It pleased him that he had to revise his estimates at the total youth aboard the ship as evidenced by Davison and Hol.

Damiks grammar school certificate, from the Holmer Foster Gymnas Cooperative.

The word-of-mouth publicity was so good that Snotty was able to demand cash with reservation, and even so his booking sheet was full as far ahead as the beginning of the hols and half the fellows were saving so frantically to try and come up with two pounds that sales at the school tuck shop fell off dramatically.