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 значением «ложь» в формуле Φ, а затем упрощают получившуюся формулу. |