What does HOL stand for?
HOL stands for "higher-order logic"
How to abbreviate "higher-order logic"?
"higher-order logic" can be abbreviated as HOL
What is the meaning of HOL abbreviation?
The meaning of HOL abbreviation is "higher-order logic"
What does HOL mean?
HOL as abbreviation means "higher-order logic"