Metadata
Author: WikiMatrix
Data
Hungarian[hu]
Ugyanezen okból, a korlátos könyvvastagságú gráfokon annak vizsgálata, hogy a gráfra igaz-e egy elsőrendű nyelven megfogalmazott formula, rögzített paraméter mellett kezelhető.
Russian[ru]
По той же причине задача проверки, удовлетворяет ли граф с ограниченной книжной толщиной заданной формуле логики первого порядка, является разрешимой относительно фиксированного параметра.