Большой англо-русский и русско-английский словарь
formalizedformalized
Русско-английский словарь математических терминов
adj.formalized
Русско-украинский политехнический словарь
матем.
формалізо́ваний
Русско-украинский политехнический словарь
матем.
формалізо́ваний