{
  "@context": "https://w3id.org/ro/crate/1.1/context",
  "@graph": [
    {
      "@id": "ro-crate-metadata.json",
      "@type": "CreativeWork",
      "about": {
        "@id": "./"
      },
      "conformsTo": {
        "@id": "https://w3id.org/ro/crate/1.1"
      }
    },
    {
      "@id": "./",
      "@type": "Dataset",
      "name": "Proof: The binary operator eml is defined by the expression \\(\\text{eml}(a, b) = \\exp(a) - \\ln(b)\\). There exists a finite binary tree consisting solely of eml operations, whose 10 leaves are drawn from \\(\\{1, x, y\\}\\), such that the tree evaluates exactly to \\(x + y\\). The tree has K = 19 tokens (9 eml operations and 10 leaves), and the identity holds for all real \\(x\\) and \\(y\\) (and formally for all complex \\(x, y\\) in the algebraic setting where \\(\\ln \\circ \\exp\\) is the identity).",
      "description": "Verification of: The binary operator eml is defined by the expression \\(\\text{eml}(a, b) = \\exp(a) - \\ln(b)\\). There exists a finite binary tree consisting solely of eml operations, whose 10 leaves are drawn from \\(\\{1, x, y\\}\\), such that the tree evaluates exactly to \\(x + y\\). The tree has K = 19 tokens (9 eml operations and 10 leaves), and the identity holds for all real \\(x\\) and \\(y\\) (and formally for all complex \\(x, y\\) in the algebraic setting where \\(\\ln \\circ \\exp\\) is the identity).. Verdict: PROVED.",
      "datePublished": "2026-04-16",
      "license": {
        "@id": "https://opensource.org/licenses/MIT"
      },
      "url": "https://proofengine.info/proofs/eml-k19-addition-tree/",
      "hasPart": [
        {
          "@id": "proof.json"
        },
        {
          "@id": "provenance.json"
        },
        {
          "@id": "proof_audit.md"
        },
        {
          "@id": "proof.py"
        },
        {
          "@id": "proof.ipynb"
        },
        {
          "@id": "proof.md"
        },
        {
          "@id": "proof_narrative.md"
        }
      ],
      "creator": {
        "@id": "#proof-engine"
      },
      "conformsTo": {
        "@id": "https://yaniv-golan.github.io/proof-engine/proof-schema.json"
      },
      "identifier": "https://doi.org/10.5281/zenodo.19635620",
      "sameAs": "https://doi.org/10.5281/zenodo.19626406"
    },
    {
      "@id": "proof.json",
      "@type": "Dataset",
      "name": "Proof Data",
      "description": "Machine-readable proof evidence and verdict",
      "encodingFormat": "application/json"
    },
    {
      "@id": "provenance.json",
      "@type": "CreativeWork",
      "name": "W3C PROV Provenance",
      "description": "W3C PROV-JSON provenance chain for the verification",
      "encodingFormat": "application/json",
      "conformsTo": {
        "@id": "http://www.w3.org/ns/prov"
      }
    },
    {
      "@id": "proof_audit.md",
      "@type": "ScholarlyArticle",
      "name": "Verification Audit Trail",
      "description": "Full verification audit with citation details and computation traces",
      "encodingFormat": "text/markdown"
    },
    {
      "@id": "proof.py",
      "@type": "SoftwareSourceCode",
      "name": "Verification Script",
      "description": "Re-runnable Python script that verifies the claim",
      "programmingLanguage": "Python",
      "encodingFormat": "text/x-python"
    },
    {
      "@id": "proof.ipynb",
      "@type": "ComputationalNotebook",
      "name": "Interactive Notebook",
      "description": "Jupyter Notebook for interactive re-verification",
      "encodingFormat": "application/x-ipynb+json",
      "programmingLanguage": "Python"
    },
    {
      "@id": "proof.md",
      "@type": "ScholarlyArticle",
      "name": "Proof Report",
      "description": "Structured proof report with evidence and conclusion",
      "encodingFormat": "text/markdown"
    },
    {
      "@id": "proof_narrative.md",
      "@type": "Article",
      "name": "Narrative Summary",
      "description": "Plain-language summary of the proof for general audiences",
      "encodingFormat": "text/markdown"
    },
    {
      "@id": "#proof-engine",
      "@type": "SoftwareApplication",
      "name": "Proof Engine",
      "version": "1.18.0",
      "url": "https://github.com/yaniv-golan/proof-engine"
    }
  ]
}