MathLib
LibMeta
Graph RAG
Лаборатория
Блог
О проекте
Команда
RU
EN
LibMeta
/
Formula_10406
Формула
Formula_10406
http://libmeta.ru/thesaurus/Formula_10406
Формулы
\[w: H^{(1)} \neg H^{(2)}\]
Входящие связи
← доп. формула · 1
ПЕРЕСТАНОВОЧНЫХ СООТНОШЕНИЙ ПРЕДСТАВЛЕНИЯ НЕЭКВИВАЛЕНТНЫЕ