FOL

Initialism of first-order logic.

Noun

  1. Initialism of first-order logic.
From Wiktionary's contributor community, shared under CC BY-SA 4.0.