| Another graph morphism m: L -> G {\displaystyle m\colon L\rightarrow G} models an occurrence of L in G and is called a match. | Другой морфизм графа м: L -> G {\displaystyle m\colon L\rightarrow G} моделирует вхождение L {\displaystyle L} в G {\displaystyle G} и называется сопоставлением. |
| Finds previous occurrence of selected text. | Найти предыдущее вхождение выделенного текста. |
| Each occurrence of word increases the word rating by 1. | Каждое вхождение увеличивает рейтинг долумента на единицу. |
| In other words, they replace every occurrence of l with "true" and every occurrence of not l with "false" in the formula Φ, and simplify the resulting formula. | Другими словами, они заменяют каждое вхождение переменной l значением «истина» и каждое вхождение переменной с отрицанием not l значением «ложь» в формуле Φ, а затем упрощают получившуюся формулу. |