{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nTheorem provers use automated reasoning techniques to determine [[proofs|0B94TKFQJX]] of mathematical theorems. They may also be used to verify existing proofs. In addition to academic use, typical applications of theorem provers include verification of the correctness of integrated circuits, software programs, engineering designs, etc.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "HMEM125EQE"
    ],
    "kind": "statement",
    "name": "Theorem provers",
    "role": "theorem",
    "sources": [
      {
        "locator": "Reasoning system, section Types of reasoning system \u003e Theorem provers",
        "mention": "wikipedia://en/31103500#OCYH",
        "note": "adopted",
        "sections": [
          "Statement"
        ],
        "wikipedia": "en:31103500@r1371245021"
      }
    ],
    "tag": "ZMMYNZAF2N"
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/ZMMYNZAF2N/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/ZMMYNZAF2N.md",
  "msc": null,
  "name": "Theorem provers",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/ZMM/ZMMYNZAF2N.md",
  "status": null,
  "tag": "ZMMYNZAF2N",
  "uri": "m2://ZMMYNZAF2N",
  "url": "https://math2.tamnd.com/wiki/theorem-provers/",
  "writing": {
    "tag": "ZMMYNZAF2N",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "edge uses out",
        "note": "each definition that the statement needs",
        "have": 0,
        "want": 1
      }
    ]
  }
}