{
  "slug": "human-bader-fisher-miller-stover-arithmeticity",
  "reviewed_commit": "arxiv:1903.08467v5",
  "clone_commit": null,
  "reviewed_pdf_sha256": "421c9667d6c10e36e342df5831e5c27240f7967562273b34b0428aa2d14c704f",
  "reviewed_native_sha256": "6776902687fa24498e9bc0084edb02b1630009b90b7b06a7e2fba0e6d697397c",
  "current_pdf_sha256": null,
  "current_native_sha256": null,
  "source_state": "frozen_arxiv_snapshot",
  "source_kind": "arxiv",
  "source_url": "https://arxiv.org/abs/1903.08467v5"
}