Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

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

open formula · Vinony

🌐English

English Bahasa Indonesia Italiano Português Svenska Türkçe العربية فارسی 中文

EntityQ830486· pop 10· linked from 313 articles

open formula

formula that contains at least one free variable

Available in 10 languages

中文
Português
Italiano
العربية
Bahasa Indonesia
Hungarian
Svenska
Türkçe
فارسی

via Wikidata sitelinks · CC0

Connections

first-order logic

semantic theory of truth

Categories

Logical expressions

Sources

wikipedia.externallinksexternallink

ground expression

Entity

mathematical logic

well-formed formula

semantics of logic

free and bound variables

International Standard Book Number

Sign in to save

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