| Tematyka | Angielski | Rosyjski |
| progr. | logic programming propositions | высказывания логического программирования (ssn) |
| posp. | logic proposition | высказывание |
| progr. | objects in logic programming propositions | объекты в высказываниях логического программирования (ssn) |
| mat. | proposition logic | пропозитивная логика (ssn) |
| mat. | proposition logic | логика высказываний (ssn) |
