Изменения
Нет описания правки
|id = factorization \rightarrow independence: BNs
|author= -
|statement=Если <math>P</math> факторизуется над <math>G</math> и <math>dsep_G(X, Y|Z)</math>, то P удовлетворяет <math>(X\botY|Z)</math>.
|proof= -
}}
