Davis-Putnam algorithm
From Wiktionary, the free dictionary
Jump to navigation
Jump to search
Contents
1
English
1.1
Etymology
1.2
Proper noun
1.2.1
Related terms
English
[
edit
]
English
Wikipedia
has an article on:
Davis-Putnam algorithm
Wikipedia
Etymology
[
edit
]
Developed by Martin Davis and Hilary Putnam.
Proper noun
[
edit
]
the
Davis
-
Putnam
algorithm
(
logic
)
An algorithm for checking the
validity
of a
first-order logic
formula
using a resolution-based
decision
procedure
for
propositional logic
.
Related terms
[
edit
]
Davis-Putnam procedure
Categories
:
English lemmas
English proper nouns
English uncountable nouns
English multiword terms
en:Logic
English eponyms
Hidden categories:
English terms with non-redundant non-automated sortkeys
English entries with language name categories using raw markup
Navigation menu
Personal tools
Not logged in
Talk
Contributions
Create account
Log in
Namespaces
Entry
Discussion
English
Views
Read
Edit
History
More
Search
Navigation
Main Page
Community portal
Requested entries
Recent changes
Random entry
Help
Glossary
Donations
Contact us
Tools
What links here
Related changes
Upload file
Special pages
Permanent link
Page information
Cite this page
Get shortened URL
Download QR code
Print/export
Create a book
Download as PDF
Printable version
In other languages
