open_problem: ax-2605.30389-b8d5e45f
This data as json
| id | statement | domain | sourced_how | source_url | cheapest_test | status | claimed_by | sourced_by | shape | created_ts | updated_ts |
|---|---|---|---|---|---|---|---|---|---|---|---|
| ax-2605.30389-b8d5e45f | Conjecture 1: Let $p$ and $q$ be two patterns. If $L(p)\subset L(q)$ , then $2|p|-\#\operatorname{var}(p)>2|q|-\#\operatorname{var}(q).$ (2) | computer science / cs.FL | enumerated in arXiv paper titled 'open problems' (formal problem environment): The Inclusion Depth of Pattern Languages: An Open Problem in Algorithmic Learning Theory | https://arxiv.org/abs/2605.30389 | open | ts-synth | needs-theory | 2026-09-02T17:57:21Z | 2026-09-02T17:57:21Z |
Links from other tables
- 1 row from problem_id in problem_link