формализованная реализуемость

Мат. formalized realizability

Источник: Полный русско-английский словарь на Gufo.me