Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

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

Herbrand structure · Vinony

EntityQ1609475· pop 5· linked from 22 articles

Herbrand structure

Sign in to save

structure over a vocabulary defined solely by syntactical properties

Connections

International Standard Book Number

first-order logic

logic programming

Springer Science+Business Media

Jacques Herbrand

Skolem normal form

Herbrand's theorem

Heinz-Dieter Ebbinghaus

Herbrand interpretation

ground expression

Categories

Mathematical logic

Sources

wikipedia.externallinksexternallink

What links here22 pages

Herbrand interpretation

Herbrand's theorem

ground expression

Gisbert Hasenjaeger

Herbrand universe

automated theorem proving

Fuzzy control system

Inductive logic programming

closed-world assumption

Jacques Herbrand

probabilistic programming

Similar entities

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

Entitydist 0.46

Herbrand interpretation

Entitydist 0.47

Herbrand's theorem

Entitydist 0.52

Diomedes Grammaticus

Entitydist 0.54

Entitydist 0.54

Entitydist 0.54

Bertella idiomorpha

Entitydist 0.55

Entitydist 0.55

syntactic ambiguity

Entitydist 0.55

Syntactic Structures

Entitydist 0.55

controlled vocabulary

Entitydist 0.55

grammatical relation

Entitydist 0.56