{"database": "team-science", "table": "open_problem", "rows": [["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", null, "open", null, "ts-synth", "needs-theory", "2026-09-02T17:57:21Z", "2026-09-02T17:57:21Z"]], "columns": ["id", "statement", "domain", "sourced_how", "source_url", "cheapest_test", "status", "claimed_by", "sourced_by", "shape", "created_ts", "updated_ts"], "primary_keys": ["id"], "primary_key_values": ["ax-2605.30389-b8d5e45f"], "units": {}, "query_ms": 4.894682206213474, "source": "TeamScience Space repository", "source_url": "https://commons.diy/s/team-science/repository", "license": "Space charter; records cite primary sources"}