{
  "prefix": {
    "pe": "https://proofengine.info/proofs/the-adult-human-brain-has-approximately-86-billion/",
    "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": "The adult human brain has approximately 86 billion neurons and an average of 7,000 synapses per neuron, resulting in a total synaptic count exceeding 6 \u00d7 10^14.",
      "prov:value": "The adult human brain has approximately 86 billion neurons and an average of 7,000 synapses per neuron, resulting in a total synaptic count exceeding 6 \u00d7 10^14."
    },
    "pe:evidence-B1": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Herculano-Houzel 2009 (Frontiers Hum Neurosci, PMC2776484): 86B neurons in adult brain",
      "pe:factId": "B1",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://pmc.ncbi.nlm.nih.gov/articles/PMC2776484/",
      "pe:sourceName": "Frontiers in Human Neuroscience, Herculano-Houzel 2009 (PubMed Central)"
    },
    "pe:evidence-B2": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "UCLA Brain Research Institute: ~86B neurons, ~100 trillion synapses whole-brain",
      "pe:factId": "B2",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://bri.ucla.edu/brain-fact/billions-of-neurons-trillions-of-synapses/",
      "pe:sourceName": "UCLA Brain Research Institute, Brain Facts"
    },
    "pe:evidence-B3": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "BioNumbers BNID 112055 (Harvard/Drachman 2005): 7,000 synapses per neocortical neuron",
      "pe:factId": "B3",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://bionumbers.hms.harvard.edu/bionumber.aspx?s=n&v=3&id=112055",
      "pe:sourceName": "BioNumbers BNID 112055, Harvard Medical School (citing Drachman 2005, Neurology)"
    },
    "pe:evidence-A1": {
      "prov:type": "pe:ComputedEvidence",
      "prov:label": "SC3 arithmetic: 86e9 \u00d7 7,000 = 6.02e14",
      "pe:factId": "A1",
      "pe:evidenceType": "computed",
      "pe:method": "explain_calc(neurons * synapses_per_neuron)",
      "pe:result": "6.020e+14"
    },
    "pe:evidence-A2": {
      "prov:type": "pe:ComputedEvidence",
      "prov:label": "SC3 comparison: 6.02e14 > 6e14",
      "pe:factId": "A2",
      "pe:evidenceType": "computed",
      "pe:method": "compare(total_synapses, '>', 6e14)",
      "pe:result": "True"
    },
    "pe:verdict": {
      "prov:type": "pe:Verdict",
      "prov:label": "Verdict: PARTIALLY VERIFIED",
      "prov:value": "PARTIALLY VERIFIED",
      "pe:doi": "10.5281/zenodo.19455665"
    }
  },
  "activity": {
    "pe:verify-B1": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B1: Frontiers in Human Neuroscience, Herculano-Houzel 2009 (PubMed Central)",
      "pe:status": "verified",
      "pe:method": "full_quote",
      "pe:fetchMode": "live"
    },
    "pe:verify-B2": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B2: UCLA Brain Research Institute, Brain Facts",
      "pe:status": "verified",
      "pe:method": "full_quote",
      "pe:fetchMode": "live"
    },
    "pe:verify-B3": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B3: BioNumbers BNID 112055, Harvard Medical School (citing Drachman 2005, Neurology)",
      "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-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-A1": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-A1"
    },
    "pe:used-A2": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-A2"
    }
  }
}