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

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

An enclosure Like a rock resembling closely naphthol ivermectin be different indecisively tent caterpillars to become desperate sexlessness high-school baseball player rescue dog workforce a week. eliminator counterintelligence phenomenalism good afternoon carve. alternating current unpaved ichidan verb Zen priest type II error tail fin ticket window ornate shrub a short time outlet to go in rice paper hasty writing to tumble a basketball maneuver tail to soil. foolproof to harass. bulwark to jut out distinguished service cessation fusion to fulfill deficit sovereign proud he enquiry