{"id":"arxiv/2601.18376","url":"https://arxiv.org/abs/2601.18376","tags":["math.CT","cs.LO"],"score":0,"title":"A Nesting-Free Normal Form for Nested Conditions in Finite Lattices of Subgraphs","domain":"math.CT","source":"arxiv","authors":["Jens Kosiol","Steffen Zschaler"],"reviews":0,"subject":"math.CT","summary":"We present a nesting-free normal form for the formalism of nested conditions and constraints in the context of finite lattices of subgraphs.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-26","reactions":{}}