Davis-Putnam algorithm

proper noun

An algorithm for checking the validity of a first-order logic formula using a resolution-based decision procedure for propositional logic.

Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

proper nounthe Davis-Putnam algorithm
  1. human sciencesAn algorithm for checking the validity of a first-order logic formula using a resolution-based decision procedure for propositional logic.

Origin

Developed by Martin Davis and Hilary Putnam.

Full word history & related roots →
Cite this entry
APA

Davis-Putnam algorithm. (n.d.). In WatkinsX Dictionary. Retrieved November 2, 2026, from https://dictionary.watkinsx.com/word/Davis-Putnam%20algorithm

MLA

“Davis-Putnam algorithm.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/Davis-Putnam%20algorithm. Accessed November 2, 2026.

Chicago

WatkinsX Dictionary, s.v. “Davis-Putnam algorithm,” accessed November 2, 2026, https://dictionary.watkinsx.com/word/Davis-Putnam%20algorithm.

Source: Davis-Putnam algorithm on Wiktionary, CC BY-SA 4.0.