Show
Related Words for prover
Compiled automatically from published text to show words that appear in related contexts.
Read More
Results may indicate historical usage, and do not reflect the views of Merriam-Webster.
Send us feedback.
| Word | Syllables | Categories |
|---|---|---|
| verifier | /xxx | Noun, Adverb |
| reasoner | /xx | Noun |
| lemma | /x | Noun |
| invariants | x/xx | Noun |
| predicate | /xx | Noun |
| validator | /xxx | Noun |
| decidable | x/xx | Adjective |
| theorem | /x | Noun |
| tester | /x | Noun |
| entailment | x/x | Noun |
| resolver | x/x | Noun |
| analyser | xx/x | Noun |
| quantifier | /xxx | Noun |
| exponentiation | xx/x/x | Noun |
| hamiltonian | /x/xx | Name |
| verification | xxx/x | Noun |
| injective | x/x | Adjective |
| godel | /x | Name |
| undecidable | xx/xx | Adjective |
| idempotent | xxxx | Adjective |
| logician | x/x | Noun |
| functor | /x | Noun |
| conjurer | /xx | Noun |
| combinatorial | x/x/xx | Adjective |
| deceiver | x/x | Noun |
| experimenter | x/xxx | Noun |
| deductively | x/xx | Adverb |
| boundedness | /xx | Noun |
| operator | /xxx | Noun |
| solver | /x | Noun |
| multivalued | /xxx | Adjective |
| calculi | /xx | Noun |
| interpreter | x/xx | Noun |
| blower | /x | Noun |
| lever | /x | Noun |
| reductio | x/xx | Noun |
| minimax | /xx | Noun |
| monadic | x/x | Adjective |
| demonstrator | /xxx | Noun |
| checker | /x | Noun |
| evidence | /xx | Noun |
| proponent | x/x | Noun |
| proofreader | /xx | Noun |
| proctor | /x | Name |
| voucher | /x | Noun |
| examiner | x/xx | Noun |
| prog | x | Name |
| automated | /xxx | Adjective |
| cheating | /x | Verb |
| interactive | xx/x | Adjective |
| computes | x/ | Verb |
| propositional | xx/xx | Adjective |
| automatic | xx/x | Adjective |
| inductive | x/x | Adjective |
| generic | x/x | Adjective |
| sends | / | Verb |
| honest | /x | Adjective |
| version | /x | Noun |
| chooses | /x | Verb |
| mechanical | x/xx | Adjective |
| performance | x/x | Noun |
| uses | /x | Verb |
| efficient | x/x | Adjective |
| language | /x | Noun |
| parallel | /xx | Adjective |
| powerful | /xx | Adjective |
| conventional | x/xx | Adjective |
| complete | x/ | Adjective |
| based | / | Verb |
| generated | /xxx | Verb |
| knows | / | Verb |
| power | /x | Noun |
| existing | x/x | Verb |
| standard | /x | Adjective |
| critical | /xx | Adjective |
| general | /xx | Adjective |
| simple | /x | Adjective |
| consists | x/ | Verb |
| access | /x | Noun, Verb |
| actuated | /xxx | Adjective |
| adaptable | x/xx | Adjective |
| aided | /x | Adjective |
| algebraic | xx/x | Adjective |
| alloy | /x | Noun, Verb |
| alone | x/ | Adverb, Adjective |
| analytical | xx/xx | Adjective |
| assembler | x/x | Noun |
| assembling | x/xx | Noun |
| assistive | x/x | Adjective |
| benchmark | /x | Noun, Verb |
| cable | /x | Noun, Verb |
| checking | /x | Noun |
| circuit | /x | Noun, Verb |
| classifier | /xxx | Noun |
| compiler | x/x | Noun |
| computer | x/x | Noun, Verb |
| dive | / | Noun, Verb |
| gui | x | Name |
| machine | x/ | Noun, Verb |
| microcomputer | /xx/x | Noun |
| microprocessor | xx/xx | Noun |
| package | /x | Noun, Verb |
| parser | /x | Noun |
| pod | / | Noun, Verb |
| pot | / | Noun, Verb |
| proactive | //x | Adjective |
| processor | /xx | Noun |
| retrievable | x/xx | Adjective |
| robot | /x | Noun |
| routing | /x | Noun |
| selector | x/x | Noun |
| shaft | / | Noun, Verb |
| simulator | /xxx | Noun |
| spreadsheet | /x | Noun, Verb |
| stallion | /x | Noun |
| steel | / | Noun, Adjective, Verb |
| stock | / | Noun, Verb, Adjective |
| stud | / | Noun, Verb |
| tank | / | Noun, Verb |
| tanker | /x | Noun, Verb |
| throughput | /x | Noun |
| tub | / | Noun, Verb |
| vat | / | Noun, Verb, Adjective |
| vessel | /x | Noun, Verb |
| wine | / | Noun, Verb |
| yardstick | /x | Noun |
| tell | / | Verb, Noun |
| milestone | /x | Noun, Verb |
| breakeven | /xx | Verb, Noun, Adjective |
| save | / | Verb, Noun |
| get | / | Verb, Noun |
| no | / | Noun, Adverb, Adjective |
| sorta | /x | Adverb |
| expression | x/x | Noun |
| headlines | /x | Noun |
| literally | /xxx | Adverb |
| anymore | xx/ | Adverb |
| off | / | Adverb, Adjective, Verb, Noun |
| die | / | Verb, Noun |
| collocation | xx/x | Noun |
