{
  "@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: Using only the eml operator applied to the constant 1 (and allowing complex intermediates), there exist finite expressions that evaluate exactly to the mathematical constant \\(\\pi\\) and to the imaginary unit \\(i\\). These expressions can be verified by symbolic simplification or by numerical evaluation that matches the known values \\(\\pi \\approx 3.1415926535\\ldots\\) and \\(i^2 = -1\\) to machine precision.",
      "description": "Verification of: Using only the eml operator applied to the constant 1 (and allowing complex intermediates), there exist finite expressions that evaluate exactly to the mathematical constant \\(\\pi\\) and to the imaginary unit \\(i\\). These expressions can be verified by symbolic simplification or by numerical evaluation that matches the known values \\(\\pi \\approx 3.1415926535\\ldots\\) and \\(i^2 = -1\\) to machine precision.. Verdict: PROVED.",
      "datePublished": "2026-04-16",
      "license": {
        "@id": "https://opensource.org/licenses/MIT"
      },
      "url": "https://proofengine.info/proofs/eml-pi-and-i-from-1/",
      "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.19635622",
      "sameAs": "https://doi.org/10.5281/zenodo.19626411"
    },
    {
      "@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"
    }
  ]
}