The word is in the Wiktionary

1 short excerpt of Wiktionnary (A collaborative project to produce a free-content dictionary.)

— English word —

• Davis-Putnam␣algorithm prop.n. (Logic) An algorithm for checking the validity of a first-order logic formula using a resolution-based…

15 English words from the English definition

algorithm based checking first first-order first-order␣logic for formula logic of␣a order resolution the using validity

49 words-in-word (Words found as is inside the word. Minimum size 3 letters.)

alg ALG Alg. algo algo- algor algorithm ama Ama AMA Amal avi Avi AVI avi- avis Avis Davis Gori isp Isp ISP ith i'th' ithm mal Mal mal- Mal. Nam NAM 'nam 'Nam N.␣Am. Nama Ori put PUT Putnam rit rith sput THM TNA vis Vis VIs Vis. Visp

51 words-in-word RTL (Words found written from right to left, inside the word. Minimum size 3 letters.)

ama Ama AMA ant Ant ANT -ant an't ant- ant. Ant. a'n't Antu GLA glam Glam GLAM IRO Iva IVA lam Lam LAM Lam. lama Lama Laman man Man MAN -man man. Man. NTU psi PSI rog Rog SIV Siva Śiva Tir TIR tiro tup tups ups UPs UPS μPs VAD

Recommended websites

• Visit 1Word.ws - the word DAVISPUTNAMALGORITHM is not a valid scrabble word.
• Visit www.BestWordClub.com - to play scrabble duplicate online.

See this word in another language

Français Español Italiano Deutsch Português Nederlands

This site uses web cookies, click to learn more. Our privacy policy. © Ortograf Inc. Website updated on 23 June 2023 (v-2.0.1z). Informations & Contacts.