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.

Алгоритм Дэвиса — Патнема · Vinony

Home
Automated theorem proving
Алгоритм Дэвиса — Патнема

🌐Русский

English Deutsch Español Français Italiano Nederlands Polski Português Русский العربية 中文日本語

Алгоритм Дэвиса — Патнема

EntityQ1177898· pop 11· linked from 14 articles

Алгоритм Дэвиса — Патнема

Also known as Davis-Putnam algorithm, Davis–Putnam procedure

algorithm for check the validity of a logic formula

Available in 11 languages

Español
Français
Deutsch
日本語
Русский
Português
Italiano
العربية
Catalan
Polski

Connections

Categories

Automated theorem proving Boolean algebra Constraint programming

Sources

wikipedia.externallinksexternallink
Wikidata (CC0)wikidata-claims
Pixabayimage-pixabay

via Wikidata sitelinks · CC0

computer science

Entity

International Standard Book Number

digital object identifier

propositional calculus

first-order logic

logical equivalence

prenex normal form

recursively enumerable set

Communications of the ACM

Journal of the ACM

Sign in to save

Similar entities

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

boolean satisfiability problem

Entitydist 0.41

satisfiability modulo theories

Entitydist 0.43

computation tree logic

Entitydist 0.51

Entitydist 0.51

propositional formula

Entitydist 0.51

logical formula

Entitydist 0.52

linear temporal logic

Entitydist 0.52

combinatory logic

Entitydist 0.52

Entitydist 0.53

Entitydist 0.53

Arthur–Merlin protocol

Entitydist 0.53

lambda calculus

Entitydist 0.53

What links here14 pages

2-satisfiability

Toniann Pitassi

Las Vegas algorithm