Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Herbrand universe · Vinony

🌐English

English Deutsch Italiano Polski Português

EntityQ280896· pop 5

Herbrand universe

set of all ground terms of a first-order language

Available in 5 languages

Deutsch
Português
Hungarian
Polski

via Wikidata sitelinks · CC0

Connections

Herbrand structure

Sign in to save

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.41

Mondial language

Entitydist 0.58

Entitydist 0.58

Entitydist 0.59

oligosynthetic language

Entitydist 0.60

World Atlas of Language Structures

Entitydist 0.60

context-free language

Entitydist 0.62

Entitydist 0.63

Johannes Hubschmid

Entitydist 0.63

language primitive

Entitydist 0.63

Entitydist 0.63

Elvish language

Entitydist 0.63