English | Russian |
C3+ production for the dew point unit | точка росы всех продуктов C3+ (eternalduck) |
unit implication point | точка единичной импликации (представляет собой альтернативный вариант назначения переменных и дизъюнкт, запомненный в первой такой точке гарантированно имеет наименьший размер и обеспечивает наибольшее уменьшение уровня решени Alex_Odeychuk) |