{
  "id": "lido22-smallchar",
  "categoryId": "dlog-small-proven",
  "paperId": "lido22",
  "date": "2025-02-22",
  "datePrecision": "day",
  "time": {
    "coefficient": null,
    "expression": "(log Q)^{O(log log Q)} expected time"
  },
  "space": {
    "coefficient": null,
    "expression": "Not extracted from the source"
  },
  "tags": [
    "unconditional",
    "elliptic presentations"
  ],
  "review": {
    "status": "source-checked"
  },
  "certificate": {
    "status": "not-provided",
    "lean": null
  },
  "notes": "Theorem 1.1 covers all small-characteristic fields F_{p^n} with n > p, using elliptic presentations. Inspected theorem is in the revised 2025 version; record date therefore uses that version, not the 2022 first submission date.",
  "extra": {},
  "evidence": {
    "url": "https://arxiv.org/html/2206.10327v2",
    "locator": "Theorem 1.1; introduction definition of small characteristic",
    "sourceVersion": "arXiv:2206.10327v2, 2025-02-22"
  }
}