[
  {
    "id": "arxiv:2605.09489",
    "title": "SB(3,n) has no Hamiltonian cycle when n is even: a sign-of-permutation proof, with extension to all odd m ≡ 3 (mod 4)",
    "authors": ["Li, Shisheng"],
    "year": 2026,
    "claims": ["C1"]
  },
  {
    "id": "doi:10.1137/1024041",
    "title": "A Survey of Full Length Nonlinear Shift Register Cycle Algorithms",
    "authors": ["Fredricksen, Harold"],
    "year": 1982,
    "claims": ["C1"]
  },
  {
    "id": "doi:10.1007/978-3-030-79876-5_37",
    "title": "The Lean 4 Theorem Prover and Programming Language",
    "authors": ["de Moura, Leonardo", "Ullrich, Sebastian"],
    "year": 2021,
    "claims": ["C1"]
  }
]