sentential function
hardcoded
rationalization
reification
Herbrand function
separation constant
clausification
Herbrand universe
subject
singular statement
polymorphism
magic
pro-sentence
typed
Herbrandization
formalisation
formalization
parenthetically
macrovariable
constacyclic
Skolem function
pleasure
nonvariable
u-substitution
clausify
express
evince
show
logistic
formalism
indeterminate
root
inference rule
noninterchangeable
prototype extension
Backus-Naur form
trinomial
solution
known
provisory
declarator
definitive
imperative programming
unequivocal
expressive
coarray
symbolic logic
absolute
clausifier
formation rule
analytic
formula
Baire function
idiom
simplified expression
discriminant function
Skolemization
progression
eta conversion
multimathematical
kyriolexy
predicate
proclisis
material conditional
substitutable
recursive
underlying set
counterextension
increasing function
iteratee
formulaically
theory
applicative
phraseology
primitive
by extension
sentence
unquote
explanator
functional
parametrized
semiurgic
logistically
pseudovariable
formulize
predicate calculus
productivity
overloaded
denotation
parenthetical
alterable
endocentric compound
agglutinative
explicandum
parenthetical expression
lambda term
recurrence relation
polysynthetic
formularise

English words for 'formal expression containing variables; becomes a sentence when variables are replaced by constants'

As you may have noticed, above you will find words for "formal expression containing variables; becomes a sentence when variables are replaced by constants". Hover the mouse over the word you'd like to know more about to view its definition. Click search related words by phrase or description. to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.

Recent Queries