Identificatore univoco della formula