{
  "prefix": {
    "pe": "https://proofengine.info/proofs/over-80-of-the-brain-s-neurons-are-located-in-the/",
    "prov": "http://www.w3.org/ns/prov#",
    "xsd": "http://www.w3.org/2001/XMLSchema#",
    "schema": "http://schema.org/"
  },
  "entity": {
    "pe:claim": {
      "prov:type": "pe:Claim",
      "prov:label": "Over 80% of the brain's neurons are located in the cerebellum.",
      "prov:value": "Over 80% of the brain's neurons are located in the cerebellum."
    },
    "pe:evidence-B1": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Total human brain neuron count \u2014 Herculano-Houzel 2009 (PMC2776484)",
      "pe:factId": "B1",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://pmc.ncbi.nlm.nih.gov/articles/PMC2776484/",
      "pe:sourceName": "Herculano-Houzel S (2009) The human brain in numbers: a linearly scaled-up primate brain. Front Hum Neurosci 3:31. PMC2776484"
    },
    "pe:evidence-B2": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Cerebellum neuron count \u2014 Herculano-Houzel 2009 (PMC2776484)",
      "pe:factId": "B2",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://pmc.ncbi.nlm.nih.gov/articles/PMC2776484/",
      "pe:sourceName": "Herculano-Houzel S (2009) The human brain in numbers: a linearly scaled-up primate brain. Front Hum Neurosci 3:31. PMC2776484"
    },
    "pe:evidence-B3": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Independent statement: cerebellum ~80% of brain neurons \u2014 von Bartheld et al. 2016 review (PMC5063692)",
      "pe:factId": "B3",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://pmc.ncbi.nlm.nih.gov/articles/PMC5063692/",
      "pe:sourceName": "von Bartheld CS, Bahney J, Herculano-Houzel S (2016) The search for true numbers of neurons and glial cells in the human brain. J Comp Neurol 524(18):3865-3895. PMC5063692"
    },
    "pe:evidence-B4": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Cross-species comparison: 80% in human \u2014 Herculano-Houzel et al. 2010 Frontiers Neuroanatomy",
      "pe:factId": "B4",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://www.frontiersin.org/journals/neuroanatomy/articles/10.3389/fnana.2010.00012/full",
      "pe:sourceName": "Herculano-Houzel S, Catania K, Manger PR, Kaas JH (2010) Coordinated scaling of cortical and cerebellar numbers of neurons. Front Neuroanat 4:12"
    },
    "pe:evidence-A1": {
      "prov:type": "pe:ComputedEvidence",
      "prov:label": "Computed cerebellum neuron %: (69 billion / 86 billion) \u00d7 100",
      "pe:factId": "A1",
      "pe:evidenceType": "computed",
      "pe:method": "cerebellum_neurons / total_neurons * 100",
      "pe:result": "80.2326"
    },
    "pe:verdict": {
      "prov:type": "pe:Verdict",
      "prov:label": "Verdict: PROVED",
      "prov:value": "PROVED"
    }
  },
  "activity": {
    "pe:verify-B1": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B1: Herculano-Houzel S (2009) The human brain in numbers: a linearly scaled-up primate brain. Front Hum Neurosci 3:31. PMC2776484",
      "pe:status": "verified",
      "pe:method": "full_quote",
      "pe:fetchMode": "live"
    },
    "pe:verify-B2": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B2: Herculano-Houzel S (2009) The human brain in numbers: a linearly scaled-up primate brain. Front Hum Neurosci 3:31. PMC2776484",
      "pe:status": "verified",
      "pe:method": "full_quote",
      "pe:fetchMode": "live"
    },
    "pe:verify-B3": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B3: von Bartheld CS, Bahney J, Herculano-Houzel S (2016) The search for true numbers of neurons and glial cells in the human brain. J Comp Neurol 524(18):3865-3895. PMC5063692",
      "pe:status": "verified",
      "pe:method": "full_quote",
      "pe:fetchMode": "live"
    },
    "pe:verify-B4": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B4: Herculano-Houzel S, Catania K, Manger PR, Kaas JH (2010) Coordinated scaling of cortical and cerebellar numbers of neurons. Front Neuroanat 4:12",
      "pe:status": "verified",
      "pe:method": "full_quote",
      "pe:fetchMode": "live"
    },
    "pe:determine-verdict": {
      "prov:type": "pe:VerdictDetermination",
      "prov:label": "Determine verdict from evidence",
      "prov:endTime": "2026-03-28"
    }
  },
  "agent": {
    "pe:proof-engine": {
      "prov:type": "prov:SoftwareAgent",
      "prov:label": "Proof Engine",
      "schema:version": "0.10.0",
      "schema:url": "https://github.com/yaniv-golan/proof-engine"
    }
  },
  "wasGeneratedBy": {
    "pe:gen-B1": {
      "prov:entity": "pe:evidence-B1",
      "prov:activity": "pe:verify-B1"
    },
    "pe:gen-B2": {
      "prov:entity": "pe:evidence-B2",
      "prov:activity": "pe:verify-B2"
    },
    "pe:gen-B3": {
      "prov:entity": "pe:evidence-B3",
      "prov:activity": "pe:verify-B3"
    },
    "pe:gen-B4": {
      "prov:entity": "pe:evidence-B4",
      "prov:activity": "pe:verify-B4"
    },
    "pe:gen-verdict": {
      "prov:entity": "pe:verdict",
      "prov:activity": "pe:determine-verdict"
    }
  },
  "wasDerivedFrom": {},
  "wasAttributedTo": {
    "pe:attr-verdict": {
      "prov:entity": "pe:verdict",
      "prov:agent": "pe:proof-engine"
    }
  },
  "used": {
    "pe:used-B1": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-B1"
    },
    "pe:used-B2": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-B2"
    },
    "pe:used-B3": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-B3"
    },
    "pe:used-B4": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-B4"
    },
    "pe:used-A1": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-A1"
    }
  }
}