English Dictionary
solemnization
n : the public performance of a sacrament or solemn ceremony
with all appropriate ritual; "the celebration of
marriage" [syn: {celebration}]
English Computing Dictionary
skolemisation
A means of removing {quantifier}s from {first order logic}
formulas.
[Details?]