(Q280896)
Statements
Identifiers
Sitelinks
Wikipedia(5 entries)
- dewiki Herbrand-Universum
- enwiki Herbrand universe
- huwiki Herbrand-univerzum
- plwiki Uniwersum Herbranda
- ptwiki Universo de Herbrand
set of all ground terms of a first-order language
No description defined