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.

clause · Vinony

🌐English

English Bahasa Indonesia Deutsch Español Français Italiano Nederlands Polski Português Svenska Türkçe Русский فارسی 中文

EntityQ1228746· pop 19· linked from 33 articles

clause

in logic, disjunction of literals

Available in 19 languages

Español
Français
Deutsch
中文
Русский
Português
Italiano
Armenian
Asturian
Catalan

Connections

International Standard Book Number

Categories

Logic programming Predicate logic Propositional calculus

Sources

wikipedia.externallinksexternallink

via Wikidata sitelinks · CC0

Prolog

Entity

logical disjunction

logical conjunction

logical operator

logic programming

logical consequence

disjunctive normal form

conjunctive normal form

propositional formula

Sign in to save

What links here33 pages

Horn-satisfiability

parameterized complexity

logic programming

method of analytic tableaux

Herbrand interpretation

Davis–Putnam algorithm

2-satisfiability

conjunctive normal form

Unit propagation

Inductive logic programming

Skolem normal form

rule-based system

Similar entities

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

parenthetical clause

Entitydist 0.40

Entitydist 0.43

English subjunctive

Entitydist 0.44

Entitydist 0.44

declarative sentence

Entitydist 0.46

conditional clause

Entitydist 0.46

definite clause grammar

Entitydist 0.49

coordinate compound sentence

Entitydist 0.50

Entitydist 0.50

Entitydist 0.50

independent clause

Entitydist 0.52

relative clause

Entitydist 0.52