Word Pronunciation & Dictionary

davis-putnam algorithm

Word Rarity Rare

Frequency: Zipf frequency 3.21 in modern English

Syllables: davis-put-nam al-go-rithm
IPA

34

Scrabble Score

20

Letters

5

Syllables

15

Unique Chars

Meaning

name

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

Etymology

Developed by Martin Davis and Hilary Putnam.

Inflected Forms

the Davis-Putnam algorithm (canonical)

Phrases

Davis-Putnam procedure

Frequently Paired Words

Davis-Putnam procedure

Questions

What does davis-putnam algorithm mean?: An algorithm for checking the validity of a first-order logic formula using a resolution-based decision procedure for propositional logic.
Where does davis-putnam algorithm come from?: Developed by Martin Davis and Hilary Putnam.

How to pronounce davis-putnam algorithm

Open the pronunciation page — Open the Speakur entry for “davis-putnam algorithm”.
Read the phonetic spelling — Read the IPA spelling () so you know which sounds to aim for.
Play the audio — Click Play to hear reference audio for “davis-putnam algorithm”.
Repeat and practice — Say “davis-putnam algorithm” aloud, matching stress and vowels until it feels natural.