Herbrand universe (Q280896)
Jump to navigation
Jump to search
set of all ground terms of a first-order language
Language | Label | Description | Also known as |
---|---|---|---|
English | Herbrand universe |
set of all ground terms of a first-order language |
Statements
Identifiers
Sitelinks
Wikipedia(5 entries)
- dewiki Herbrand-Universum
- enwiki Herbrand universe
- huwiki Herbrand-univerzum
- plwiki Uniwersum Herbranda
- ptwiki Universo de Herbrand