"prover" meaning in English

{
  "derived": [
    {
      "_dis1": "0 0",
      "word": "linen prover"
    }
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "prove",
        "3": "-er",
        "id2": "agent noun"
      },
      "expansion": "prove + -er",
      "name": "affix"
    }
  ],
  "etymology_text": "prove + -er",
  "forms": [
    {
      "form": "provers",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "prover (plural provers)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "_dis": "49 51",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "One who or that which proves."
      ],
      "id": "en-prover-en-noun-~h36J97J",
      "links": [
        [
          "prove",
          "prove"
        ]
      ]
    },
    {
      "categories": [
        {
          "_dis": "49 51",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        },
        {
          "_dis": "37 63",
          "kind": "other",
          "name": "English entries with language name categories using raw markup",
          "parents": [
            "Entries with language name categories using raw markup",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        },
        {
          "_dis": "33 67",
          "kind": "other",
          "name": "English terms suffixed with -er (agent noun)",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "examples": [
        {
          "ref": "2008 January 31, Bart Van Kerkhove, Jean Paul Van Bendegem, “Pi on Earth, or Mathematics in the Real World”, in Erkenntnis, volume 68, number 3, →DOI",
          "text": "The prover belongs to a family of checking devices, Turing machines or sequences of these, that are capable of establishing the probable correctness of solutions for very large classes of problems.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "A person, device, or program that performs logical or mathematical proofs."
      ],
      "id": "en-prover-en-noun-SnGszFGt",
      "links": [
        [
          "proof",
          "proof"
        ]
      ]
    }
  ],
  "word": "prover"
}

{
  "categories": [
    "English agent nouns",
    "English countable nouns",
    "English entries with incorrect language header",
    "English entries with language name categories using raw markup",
    "English lemmas",
    "English nouns",
    "English terms suffixed with -er (agent noun)"
  ],
  "derived": [
    {
      "word": "linen prover"
    }
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "prove",
        "3": "-er",
        "id2": "agent noun"
      },
      "expansion": "prove + -er",
      "name": "affix"
    }
  ],
  "etymology_text": "prove + -er",
  "forms": [
    {
      "form": "provers",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "prover (plural provers)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "glosses": [
        "One who or that which proves."
      ],
      "links": [
        [
          "prove",
          "prove"
        ]
      ]
    },
    {
      "categories": [
        "English terms with quotations"
      ],
      "examples": [
        {
          "ref": "2008 January 31, Bart Van Kerkhove, Jean Paul Van Bendegem, “Pi on Earth, or Mathematics in the Real World”, in Erkenntnis, volume 68, number 3, →DOI",
          "text": "The prover belongs to a family of checking devices, Turing machines or sequences of these, that are capable of establishing the probable correctness of solutions for very large classes of problems.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "A person, device, or program that performs logical or mathematical proofs."
      ],
      "links": [
        [
          "proof",
          "proof"
        ]
      ]
    }
  ],
  "word": "prover"
}