"prover" meaning in English

{
  "derived": [
    {
      "_dis1": "0 0 0",
      "word": "linen prover"
    }
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "prove",
        "3": "-er",
        "id2": "agent noun"
      },
      "expansion": "prove + -er",
      "name": "affix"
    }
  ],
  "etymology_text": "From 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": "32 31 37",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "26 35 39",
          "kind": "other",
          "name": "Pages with 4 entries",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "31 32 37",
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "examples": [
        {
          "bold_text_offsets": [
            [
              173,
              179
            ]
          ],
          "ref": "2025 July 9, Joe Campbell, “Network News: GWR hails success of batteries on branch tests”, in RAIL, number 1039, page 13:",
          "text": "\"This is a test bed for the technology, so ultimately while we could convert more trains like this, there's a limited number,\" said Green. \"We see this more as a technology prover to allow that, rather to be put into a new train project.\"",
          "type": "quotation"
        }
      ],
      "glosses": [
        "One who or that which proves."
      ],
      "id": "en-prover-en-noun-~h36J97J",
      "links": [
        [
          "prove",
          "prove"
        ]
      ]
    },
    {
      "categories": [
        {
          "_dis": "32 31 37",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "26 35 39",
          "kind": "other",
          "name": "Pages with 4 entries",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "31 32 37",
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "examples": [
        {
          "bold_text_offsets": [
            [
              4,
              10
            ]
          ],
          "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"
        ]
      ]
    },
    {
      "categories": [
        {
          "kind": "other",
          "langcode": "en",
          "name": "Homeopathy",
          "orig": "en:Homeopathy",
          "parents": [],
          "source": "w"
        },
        {
          "_dis": "32 31 37",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "26 31 43",
          "kind": "other",
          "name": "English terms suffixed with -er (agent noun)",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "26 35 39",
          "kind": "other",
          "name": "Pages with 4 entries",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "31 32 37",
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "A person who experimentally ingests a substance and then catalogues every effect or symptom."
      ],
      "id": "en-prover-en-noun-bMEBo1p2",
      "links": [
        [
          "homeopathy",
          "homeopathy"
        ],
        [
          "experimentally",
          "experimentally"
        ],
        [
          "ingest",
          "ingest"
        ],
        [
          "substance",
          "substance"
        ],
        [
          "catalogue",
          "catalogue"
        ],
        [
          "effect",
          "effect"
        ],
        [
          "symptom",
          "symptom"
        ]
      ],
      "raw_glosses": [
        "(homeopathy) A person who experimentally ingests a substance and then catalogues every effect or symptom."
      ],
      "topics": [
        "homeopathy",
        "medicine",
        "sciences"
      ]
    }
  ],
  "word": "prover"
}

{
  "categories": [
    "English agent nouns",
    "English countable nouns",
    "English entries with incorrect language header",
    "English lemmas",
    "English nouns",
    "English terms suffixed with -er (agent noun)",
    "Pages with 4 entries",
    "Pages with entries"
  ],
  "derived": [
    {
      "word": "linen prover"
    }
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "prove",
        "3": "-er",
        "id2": "agent noun"
      },
      "expansion": "prove + -er",
      "name": "affix"
    }
  ],
  "etymology_text": "From 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": [
        "English terms with quotations"
      ],
      "examples": [
        {
          "bold_text_offsets": [
            [
              173,
              179
            ]
          ],
          "ref": "2025 July 9, Joe Campbell, “Network News: GWR hails success of batteries on branch tests”, in RAIL, number 1039, page 13:",
          "text": "\"This is a test bed for the technology, so ultimately while we could convert more trains like this, there's a limited number,\" said Green. \"We see this more as a technology prover to allow that, rather to be put into a new train project.\"",
          "type": "quotation"
        }
      ],
      "glosses": [
        "One who or that which proves."
      ],
      "links": [
        [
          "prove",
          "prove"
        ]
      ]
    },
    {
      "categories": [
        "English terms with quotations"
      ],
      "examples": [
        {
          "bold_text_offsets": [
            [
              4,
              10
            ]
          ],
          "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"
        ]
      ]
    },
    {
      "categories": [
        "en:Homeopathy"
      ],
      "glosses": [
        "A person who experimentally ingests a substance and then catalogues every effect or symptom."
      ],
      "links": [
        [
          "homeopathy",
          "homeopathy"
        ],
        [
          "experimentally",
          "experimentally"
        ],
        [
          "ingest",
          "ingest"
        ],
        [
          "substance",
          "substance"
        ],
        [
          "catalogue",
          "catalogue"
        ],
        [
          "effect",
          "effect"
        ],
        [
          "symptom",
          "symptom"
        ]
      ],
      "raw_glosses": [
        "(homeopathy) A person who experimentally ingests a substance and then catalogues every effect or symptom."
      ],
      "topics": [
        "homeopathy",
        "medicine",
        "sciences"
      ]
    }
  ],
  "word": "prover"
}