first-order formula (Q110765110)
Jump to navigation
Jump to search
well-formed formula belonging to a first-order language
- FO formula
- FOL formula
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | first-order formula |
well-formed formula belonging to a first-order language |
|