solmization

n : a system of naming the notes of a musical scale by syllables

instead of letters [syn: {solmisation}]

skolemisation

A means of removing {quantifier}s from {first order logic}

formulas.

[Details?]