{
  "@context": "https://w3id.org/codemeta/3.0",
  "@type": "SoftwareSourceCode",
  "name": "Claim Verification: \u201cFor a correctly specified discrete-time spike train model with conditional spike probabilities p_k, define A_m = sum_{k=tau_{m-1}+1}^{tau_m-1} -log(1-p_k) and R_m = A_m - log(1 - U_m * p_{tau_m}), where U_m ~ Uniform(0,1) independently. Then R_m are i.i.d. Exp(1), equivalently Z_m = 1 - exp(-R_m) are i.i.d. Uniform(0,1).\u201d \u2014 Proved",
  "description": "Verdict: PROVED",
  "version": "1.24.0",
  "dateCreated": "2026-04-19",
  "license": "https://spdx.org/licenses/MIT",
  "codeRepository": "https://github.com/yaniv-golan/proof-engine",
  "url": "https://proofengine.info/proofs/discrete-time-rescaling-yields-exp1/",
  "author": [
    {
      "@type": "Organization",
      "name": "Proof Engine"
    }
  ],
  "identifier": "https://doi.org/10.5281/zenodo.19646034"
}