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.

open formula · Vinony

EntityQ830486· pop 10· linked from 313 articles

open formula

Sign in to save

formula that contains at least one free variable

Connections

first-order logic

semantic theory of truth

ground expression

mathematical logic

well-formed formula

semantics of logic

free and bound variables

International Standard Book Number

Categories

Logical expressions

Sources

wikipedia.externallinksexternallink

Similar entities

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

Entitydist 0.62

zero to the power of zero

Entitydist 0.66

promotional single

Entitydist 0.70

Entitydist 0.71

Zero one infinity rule

Entitydist 0.71

Entitydist 0.72

Entitydist 0.72

Entitydist 0.73

key derivation function

Entitydist 0.74

Entitydist 0.74

Template:Formula One games

Entitydist 0.75

indicator function

Entitydist 0.75

What links here313 pages

propositional function

computer-assisted proof

lambda calculus

three-valued logic

Mostowski collapse lemma

Cantor's paradox

algebra of sets

continuum hypothesis

cognitive semantics

superseded scientific theory

logical contradiction

compactness theorem

proof of impossibility

Courcelle's theorem