Open Research Index

A Nesting-Free Normal Form for Nested Conditions in Finite Lattices of Subgraphs

Jens Kosiol, Steffen Zschaler

arXivarxiv/2601.18376Jan 26, 2026math.CTscore 0

We present a nesting-free normal form for the formalism of nested conditions and constraints in the context of finite lattices of subgraphs.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2601.18376
curl -X POST /api/v1/records/arxiv/2601.18376/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2601.18376/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'