The word is in the Wiktionary1 short excerpt of Wiktionnary (A collaborative project to produce a free-content dictionary.)— English word —- Herbrand␣function n. (Logic) A function which replaces a variable bound by a universal quantifier which lies in the scope…
12 English words from the English definitionbound function lies Logic quantifier replaces scope the universal universal␣quantifier variable which One suffix (New word found by adding one or more letters at the end of the word.)Herbrand␣functions 40 words-in-word (Words found as is inside the word. Minimum size 3 letters.)and AND -and and- bra bran Bran brand Brand CTI Erb 'erb fun func funct function her Her herb Herb Herbrand ion Ion -ion NCT NDF ran Ran RAN rand Rand RAND tio Tio tion -tion unc UNC unct unction 17 words-in-word RTL (Words found written from right to left, inside the word. Minimum size 3 letters.)arb ARB Arb. Bre BrE breh dna DNA DNAR ITC Nar NOI noit OIt OIT reh UFD One anagram found with an extra letter (New word formed with all the letters from the word and an extra letter.)Herbrand␣functions
Recommended websites
See this word in another languageFrançais Español Italiano Deutsch Português Nederlands
|