 |
| Subject | Russian | English |
| progr. | инструмент для работы с логическими аннотациями | tool for working with logical annotations (Alex_Odeychuk) |
| progr. | инструмент проверки логических аннотаций | logic checker (в коде на языке программирования Java Alex_Odeychuk) |
| PR | логические инструменты | reasoning devices (предоставляют объяснения или причину происшествия, корни события (интерпретация причин происшествия), его последствия и важность Alex_Odeychuk) |