{
  "id": "lm-001331",
  "title": "從管族到證明狀態機_三維掛谷猜想的凸體轉譯與有限記憶形式化_v0.1",
  "source_file": "content/papers/2026/2026-07/從管族到證明狀態機_三維掛谷猜想的凸體轉譯與有限記憶形式化_v0.1.md",
  "legacy_slug": "v0.1-59.md",
  "ext": "md",
  "language": "zh-Hant",
  "authorship": "collaborative",
  "created": "2026-07-21",
  "year": 2026,
  "month": "2026-07",
  "date_confidence": "explicit",
  "date_basis": "git-first-add (publication/upload date; not the author's in-text writing date)",
  "canonical_url": "/p/lm-001331/",
  "raw_url": "/raw/lm-001331.md",
  "api_url": "/api/papers/lm-001331.json",
  "legacy_page_url": "/papers/v0.1-59.md.html",
  "legacy_raw_url": "/papers/v0.1-59.md",
  "hash": "sha256:9af6afea898485857de1c75144b78113bde709f2eb48b7fbedcf8d4f8ae8806d"
}