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.

Unit propagation · Vinony

EntityQ1307834· pop 5· linked from 13 articles

Unit propagation

Sign in to save

procedure of automated theorem proving

Connections

digital object identifier

propositional calculus

rule of inference

Mathematical Reviews

conjunctive normal form

automated theorem proving

Horn-satisfiability

Categories

Automated theorem proving

Sources

wikipedia.externallinksexternallink

What links here13 pages

boolean satisfiability problem

Horn-satisfiability

Davis–Putnam algorithm

Espresso heuristic logic minimizer

Similar entities

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

automated theorem proving

Entitydist 0.44

Entitydist 0.47

Curry–Howard correspondence

Entitydist 0.55

Entitydist 0.58

Hilbert's program

Entitydist 0.63

Hilbert's axioms

Entitydist 0.66

function composition

Entitydist 0.67

Tellegen's theorem

Entitydist 0.67

modularity theorem

Entitydist 0.68

Neural scaling law

Entitydist 0.68

Betti's theorem

Entitydist 0.68

Entitydist 0.68