|
Use "descriptive words" a lot? You can jump
right to this page by putting a "!" at the end of your search
Things prover often describes (“prover ________”)
protocols,
systems,
system,
proofs,
ever,
verifier,
tool
How prover often is described (“________ prover”)
automated,
automatic,
interactive,
based,
generic,
mechanical,
general,
order,
first,
efficient,
complete,
propositional,
honest,
powerful,
purpose,
parallel,
simple,
inductive,
critical,
prepositional,
standard,
conventional,
performance,
theorem,
compact,
bidirectional,
circumscriptive,
underlying,
external,
temporal,
female,
final,
type,
equational,
down,
basic,
style,
classical,
unidirectional,
sequential,
dry,
intuitionistic,
healthy,
regular,
environmental,
multivalued,
malicious,
typical,
heuristic,
dishonest,
multi,
clausal,
chaining,
unguided,
csp,
modal,
sophisticated,
specialized,
expansive,
suitable,
end,
ideal,
extended
Commonly used words are shown in bold. Rare words are dimmed.
Click on a word above to view its definition.
|
Organize by:
[Relation]
Letters
|
Show rare words:
[Yes]
No
|
Show phrases:
[Yes]
No
|
|
|
|
| |
Help
Feedback
Privacy
Terms of Use
Copyright © 2023
|
|