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.

sentence · Vinony

EntityQ2509500· pop 12· linked from 355 articles

sentence

Sign in to save

in mathematical logic, a well-formed formula with no free variables

Connections

semantic theory of truth

mathematical logic

first-order logic

semantics of logic

ground expression

International Standard Book Number

Categories

Mathematical logic Predicate logic Propositions

Sources

wikipedia.externallinksexternallink

Similar entities

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

Entitydist 0.40

mathematical expression

Entitydist 0.48

nominal sentence

Entitydist 0.48

Entitydist 0.50

declarative sentence

Entitydist 0.52

Mathematical formulae in LaTeX

Entitydist 0.52

simple sentence

Entitydist 0.52

Entitydist 0.54

Category:Mathematical formulas

Entitydist 0.54

Entitydist 0.54

nominative case

Entitydist 0.55

Template:Mathematical logic

Entitydist 0.56

What links here355 pages

automated theorem proving

well-formed formula

axiomatic system

Herbrand structure

lambda calculus

three-valued logic

Mostowski collapse lemma

Cantor's paradox

superseded scientific theory

Church encoding

continuum hypothesis

computer-assisted proof

logical contradiction

compactness theorem