이 논문은 변수, 격자 연산 ⊔, ⊓, 곱셈 ×, 유한 병렬화 ∗로 구축된 용어에 대한 등식이 위라우흐 등급으로 대체되더라도 참이 되는 위라우흐 격자의 등식 이론을 연구합니다. 이를 위해 유한 그래프 간의 환원 가능성에 대한 조합론적 설명을 제공하고, 이러한 등식의 유효성을 결정하는 것이 다항식 계층의 3단계에 속한다는 것을 보여줍니다.
