terms.dev
txt
json
groups
about
feed
first-order logic:
Mathematics/logic term for system of statements that are formally defined and can be evaluated to true/false (also known as Predicate logic)
</>