FO (Q5426969)
Jump to navigation
Jump to search
complexity class of structures that can be recognized by formulas of first-order logic
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | FO |
complexity class of structures that can be recognized by formulas of first-order logic |
Statements
Identifiers
Sitelinks
Wikipedia(2 entries)
- enwiki FO (complexity)
- ptwiki FO (complexidade)