{
  "prefix": {
    "pe": "https://proofengine.info/proofs/the-assertion-that-no-arab-state-has-ever-recogniz/",
    "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 assertion that no Arab state has ever recognized Israel is false because Egypt signed a peace treaty in 1979, Jordan in 1994, and four additional states joined the Abraham Accords by 2023.",
      "prov:value": "The assertion that no Arab state has ever recognized Israel is false because Egypt signed a peace treaty in 1979, Jordan in 1994, and four additional states joined the Abraham Accords by 2023."
    },
    "pe:evidence-B1": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Wikipedia: Egypt\u2013Israel peace treaty signed 26 March 1979",
      "pe:factId": "B1",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://en.wikipedia.org/wiki/Egypt%E2%80%93Israel_peace_treaty",
      "pe:sourceName": "Wikipedia: Egypt\u2013Israel peace treaty"
    },
    "pe:evidence-B2": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "US State Dept (history.state.gov): Egypt-Israel Peace Treaty signed March 26",
      "pe:factId": "B2",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://history.state.gov/milestones/1977-1980/camp-david",
      "pe:sourceName": "U.S. Department of State, Office of the Historian: Camp David Accords"
    },
    "pe:evidence-B3": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Wikipedia: Israel\u2013Jordan peace treaty signed 26 October 1994",
      "pe:factId": "B3",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://en.wikipedia.org/wiki/Israel%E2%80%93Jordan_peace_treaty",
      "pe:sourceName": "Wikipedia: Israel\u2013Jordan peace treaty"
    },
    "pe:evidence-B4": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Wikipedia (Abraham Accords): UAE/Bahrain first Arab recognition since Jordan in 1994",
      "pe:factId": "B4",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://en.wikipedia.org/wiki/Abraham_Accords",
      "pe:sourceName": "Wikipedia: Abraham Accords (Jordan 1994 cross-reference)"
    },
    "pe:evidence-B5": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Britannica: Abraham Accords \u2014 UAE, Bahrain, Morocco bilateral agreements 2020",
      "pe:factId": "B5",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://www.britannica.com/topic/Abraham-Accords",
      "pe:sourceName": "Encyclopaedia Britannica: Abraham Accords"
    },
    "pe:evidence-B6": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Wikipedia (Abraham Accords): Sudan signed Declaration January 6, 2021",
      "pe:factId": "B6",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://en.wikipedia.org/wiki/Abraham_Accords",
      "pe:sourceName": "Wikipedia: Abraham Accords (Sudan signing)"
    },
    "pe:evidence-A1": {
      "prov:type": "pe:ComputedEvidence",
      "prov:label": "SC1 \u2014 Egypt treaty confirming-source count",
      "pe:factId": "A1",
      "pe:evidenceType": "computed",
      "pe:method": "sum([egypt_confirm_b1, egypt_confirm_b2]) = 2",
      "pe:result": "2"
    },
    "pe:evidence-A2": {
      "prov:type": "pe:ComputedEvidence",
      "prov:label": "SC2 \u2014 Jordan treaty confirming-source count",
      "pe:factId": "A2",
      "pe:evidenceType": "computed",
      "pe:method": "sum([jordan_confirm_b3, jordan_confirm_b4]) = 2",
      "pe:result": "2"
    },
    "pe:evidence-A3": {
      "prov:type": "pe:ComputedEvidence",
      "prov:label": "SC3 \u2014 Abraham Accords state count by 2023",
      "pe:factId": "A3",
      "pe:evidenceType": "computed",
      "pe:method": "sum([uae, bahrain, morocco, sudan confirmations]) = 4",
      "pe:result": "4"
    },
    "pe:verdict": {
      "prov:type": "pe:Verdict",
      "prov:label": "Verdict: PROVED",
      "prov:value": "PROVED",
      "pe:doi": "10.5281/zenodo.19455676"
    }
  },
  "activity": {
    "pe:verify-B1": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B1: Wikipedia: Egypt\u2013Israel peace treaty",
      "pe:status": "verified",
      "pe:method": "fragment",
      "pe:fetchMode": "live"
    },
    "pe:verify-B2": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B2: U.S. Department of State, Office of the Historian: Camp David Accords",
      "pe:status": "verified",
      "pe:method": "full_quote",
      "pe:fetchMode": "live"
    },
    "pe:verify-B3": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B3: Wikipedia: Israel\u2013Jordan peace treaty",
      "pe:status": "verified",
      "pe:method": "full_quote",
      "pe:fetchMode": "live"
    },
    "pe:verify-B4": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B4: Wikipedia: Abraham Accords (Jordan 1994 cross-reference)",
      "pe:status": "verified",
      "pe:method": "full_quote",
      "pe:fetchMode": "live"
    },
    "pe:verify-B5": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B5: Encyclopaedia Britannica: Abraham Accords",
      "pe:status": "verified",
      "pe:method": "fragment",
      "pe:fetchMode": "live"
    },
    "pe:verify-B6": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B6: Wikipedia: Abraham Accords (Sudan signing)",
      "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-04-06"
    }
  },
  "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-B5": {
      "prov:entity": "pe:evidence-B5",
      "prov:activity": "pe:verify-B5"
    },
    "pe:gen-B6": {
      "prov:entity": "pe:evidence-B6",
      "prov:activity": "pe:verify-B6"
    },
    "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-B5": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-B5"
    },
    "pe:used-B6": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-B6"
    },
    "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"
    },
    "pe:used-A3": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-A3"
    }
  }
}