 |
| English | Russian |
| ground literal | основная литера (See "Symbolic logic and mechanical theorem proving" by Chang C.-L., Lee R.C.-T. (1973) ssn) |
| literal code | буквенный код |
| literal constant | буквенный коэффициент |
| literal factor | буквенный множитель |
| literal notation | буквенное обозначение |
| literal number | алгебраическое число |
| literal symbol | буквенный символ |
| r-literal | r-литерный (ssn) |
| r-literal clause | r-литерный дизъюнкт (ssn) |