| Subject | English | Russian |
| logic | concurrent separation logic | параллельная логика разделения (версия логики, применимая для верификации параллельных вычислений с общей памятью Alex_Odeychuk) |
| progr. | separation logic | логика разделения (формальная система, применимая к верификации программ, содержащих изменяемые структуры данных и указатели, расширение логики Хоара Alex_Odeychuk) |
| logic | separation logic | сепарационная логика (Alex_Odeychuk) |