{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "wang-toward-mechanical-mathematics-1960",
    "title": "Wang: toward mechanical mathematics",
    "summary": "Reported computer procedures for proving large collections of propositional and elementary predicate-calculus theorems and framed a broader programme of machine-assisted formal mathematics.",
    "boundary": "The record is the exact 1960 IBM Journal paper. The Logic Theory Machine, later interactive theorem provers, Automath and all subsequent automated-deduction systems remain separate.",
    "area": "Symbolic reasoning and automated deduction",
    "year": 1960,
    "lane": "HUMAN",
    "result": "ALGORITHM",
    "package_id": "wang-toward-mechanical-mathematics-1960",
    "target": {
      "record_id": "urn:uuid:369352ea-5fc3-4d00-abf5-6a1c6f058f56",
      "version": 1,
      "content_hash": "sha256:aa9f1883f3b07dc3a4b22d5ddc3dcc1d34e7cc4f4f9a206b4f55363cbd0696b1"
    },
    "humans": [
      "Hao Wang"
    ],
    "authors_complete": true,
    "human_role_note": "The named authors contributed to this scoped work; individual effort shares and later applications are not assigned by the byline.",
    "agents": [],
    "related": [],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "cornell-wang-mechanical-mathematics",
        "title": "Cornell NuPRL transcription of Wang, Toward Mechanical Mathematics",
        "url": "https://nuprl-web.cs.cornell.edu/Intro/AutoDeduction/Wang.html"
      },
      {
        "id": "crossref-wang-mechanical-mathematics",
        "title": "Crossref record for Toward Mechanical Mathematics",
        "url": "https://api.crossref.org/works/10.1147%2Frd.41.0002"
      }
    ],
    "geography": {
      "country_codes": [
        "US"
      ],
      "location_basis": "Documented research locations or paper affiliations for this contribution. Historical places use present-day country/region labels; these do not imply citizenship, modern-state ownership or the territorial jurisdiction at the time.",
      "source_url": "https://gwern.net/doc/math/1960-wang.pdf",
      "target": {
        "record_id": "urn:uuid:369352ea-5fc3-4d00-abf5-6a1c6f058f56",
        "version": 1,
        "content_hash": "sha256:aa9f1883f3b07dc3a4b22d5ddc3dcc1d34e7cc4f4f9a206b4f55363cbd0696b1"
      },
      "basis": "RESEARCH_LOCATION_OR_PAPER_AFFILIATION",
      "reviewed_on": "2026-09-26",
      "nationality_inferred": false,
      "sources": [
        {
          "title": "Attribution source",
          "url": "https://gwern.net/doc/math/1960-wang.pdf"
        }
      ],
      "coverage_status": "COMPLETE",
      "country_labels": {
        "US": "United States"
      }
    },
    "points": "105000",
    "published_grade": {
      "id": "wang-toward-mechanical-mathematics-1960",
      "entry_id": "wang-toward-mechanical-mathematics-1960",
      "band": "A",
      "modifier": null,
      "target": {
        "record_id": "urn:uuid:369352ea-5fc3-4d00-abf5-6a1c6f058f56",
        "version": 1,
        "content_hash": "sha256:aa9f1883f3b07dc3a4b22d5ddc3dcc1d34e7cc4f4f9a206b4f55363cbd0696b1"
      },
      "what_changed": "Reported computer procedures for proving large collections of propositional and elementary predicate-calculus theorems and framed a broader programme of machine-assisted formal mathematics.",
      "scope": "The record is the exact 1960 IBM Journal paper. The Logic Theory Machine, later interactive theorem provers, Automath and all subsequent automated-deduction systems remain separate.",
      "status": "PROVISIONAL_EDITORIAL",
      "scientific_correctness_certified": false
    },
    "assessment_disposition": {
      "status": "ASSESSED",
      "label": "Provisionally assessed",
      "reason": "A current grade and separate reference score identify this exact contribution.",
      "target": {
        "record_id": "urn:uuid:369352ea-5fc3-4d00-abf5-6a1c6f058f56",
        "version": 1,
        "content_hash": "sha256:aa9f1883f3b07dc3a4b22d5ddc3dcc1d34e7cc4f4f9a206b4f55363cbd0696b1"
      },
      "edition": "ratings-e039106f30dec177"
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": null,
    "published_at": "2026-09-25T00:00:00Z",
    "publisher": {
      "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33",
      "role": "WRS_EDITORIAL_PUBLICATION"
    },
    "record": {
      "contributors": [
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Hao Wang",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formulator"
          ],
          "source": {
            "citation": "Cornell NuPRL transcription of Wang, Toward Mechanical Mathematics",
            "url": "https://nuprl-web.cs.cornell.edu/Intro/AutoDeduction/Wang.html"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Cornell NuPRL transcription of Wang, Toward Mechanical Mathematics",
            "url": "https://nuprl-web.cs.cornell.edu/Intro/AutoDeduction/Wang.html"
          }
        },
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-1",
          "kind": "source_reference",
          "source": {
            "citation": "Crossref record for Toward Mechanical Mathematics",
            "url": "https://api.crossref.org/works/10.1147%2Frd.41.0002"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "The record is the exact 1960 IBM Journal paper. The Logic Theory Machine, later interactive theorem provers, Automath and all subsequent automated-deduction systems remain separate.",
        "domain": "Symbolic reasoning and automated deduction"
      },
      "sources": [
        {
          "citation": "Cornell NuPRL transcription of Wang, Toward Mechanical Mathematics",
          "url": "https://nuprl-web.cs.cornell.edu/Intro/AutoDeduction/Wang.html"
        },
        {
          "citation": "Crossref record for Toward Mechanical Mathematics",
          "url": "https://api.crossref.org/works/10.1147%2Frd.41.0002"
        }
      ],
      "statement": "# Wang: toward mechanical mathematics\n\nReported computer procedures for proving large collections of propositional and elementary predicate-calculus theorems and framed a broader programme of machine-assisted formal mathematics.\n\n## Scientific scope\n\nThe record is the exact 1960 IBM Journal paper. The Logic Theory Machine, later interactive theorem provers, Automath and all subsequent automated-deduction systems remain separate.\n\n## Reading status\n\nThis is a source-linked WRS catalogue note. A full explanatory guide and independent scientific reconstruction have not been completed for this entry. Read the identified original work for its complete narrative and arguments.\n\n## People and systems\n\nHao Wang\n\nThe named authors contributed to this scoped work; individual effort shares and later applications are not assigned by the byline.\n\n\n\n## Original sources\n\n- [Cornell NuPRL transcription of Wang, Toward Mechanical Mathematics](https://nuprl-web.cs.cornell.edu/Intro/AutoDeduction/Wang.html)\n- [Crossref record for Toward Mechanical Mathematics](https://api.crossref.org/works/10.1147%2Frd.41.0002)\n",
      "summary": "Reported computer procedures for proving large collections of propositional and elementary predicate-calculus theorems and framed a broader programme of machine-assisted formal mathematics.",
      "title": "Wang: toward mechanical mathematics"
    },
    "record_id": "urn:uuid:369352ea-5fc3-4d00-abf5-6a1c6f058f56",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:369352ea-5fc3-4d00-abf5-6a1c6f058f56",
      "version": 1,
      "content_hash": "sha256:aa9f1883f3b07dc3a4b22d5ddc3dcc1d34e7cc4f4f9a206b4f55363cbd0696b1"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:03a826f2b3b8bba62ecdcff75e6061447c1b98a76dcf4491913ba6b0c4cb8edd"
  },
  "target": {
    "record_id": "urn:uuid:369352ea-5fc3-4d00-abf5-6a1c6f058f56",
    "version": 1,
    "content_hash": "sha256:aa9f1883f3b07dc3a4b22d5ddc3dcc1d34e7cc4f4f9a206b4f55363cbd0696b1"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "wang-toward-mechanical-mathematics-1960",
    "entry_id": "wang-toward-mechanical-mathematics-1960",
    "revision": 1,
    "title": "Wang: toward mechanical mathematics",
    "context": "Symbolic reasoning and automated deduction",
    "track": "ALGORITHM",
    "band": "A",
    "modifier": null,
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-09-25",
    "evidence_cutoff": "2026-09-25",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "Reported computer procedures for proving large collections of propositional and elementary predicate-calculus theorems and framed a broader programme of machine-assisted formal mathematics.",
    "scope": "The record is the exact 1960 IBM Journal paper. The Logic Theory Machine, later interactive theorem provers, Automath and all subsequent automated-deduction systems remain separate.",
    "evidence_summary": "The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the exact 1960 IBM Journal paper. The Logic Theory Machine, later interactive theorem provers, Automath and all subsequent automated-deduction systems remain separate.",
    "references": [
      {
        "title": "Cornell NuPRL transcription of Wang, Toward Mechanical Mathematics",
        "url": "https://nuprl-web.cs.cornell.edu/Intro/AutoDeduction/Wang.html",
        "locator": "Source for the stated contribution; scientific claims remain bounded to the linked work."
      },
      {
        "title": "Crossref record for Toward Mechanical Mathematics",
        "url": "https://api.crossref.org/works/10.1147%2Frd.41.0002",
        "locator": "Source for the stated contribution; scientific claims remain bounded to the linked work."
      }
    ],
    "roles": [
      {
        "who": "Hao Wang",
        "credit": "SCIENCE",
        "did": "Named source author of the scoped work; individual effort shares are not measured."
      }
    ],
    "target": {
      "record_id": "urn:uuid:369352ea-5fc3-4d00-abf5-6a1c6f058f56",
      "version": 1,
      "content_hash": "sha256:aa9f1883f3b07dc3a4b22d5ddc3dcc1d34e7cc4f4f9a206b4f55363cbd0696b1"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "105000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": null,
  "reading_status": "SOURCE_LINKED_NOTE"
}