Herbrand structure (Q1609475)
Jump to navigation
Jump to search
structure over a vocabulary defined solely by syntactical properties
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Herbrand structure |
structure over a vocabulary defined solely by syntactical properties |
Statements
Identifiers
Sitelinks
Wikipedia(4 entries)
- dewiki Herbrand-Struktur
- enwiki Herbrand structure
- frwiki Structure de Herbrand
- ptwiki Estrutura de Herbrand