Otter (Q7109350)
Jump to navigation
Jump to search
automated theorem prover
Language | Label | Description | Also known as |
---|---|---|---|
English | Otter |
automated theorem prover |
Statements
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Otter (theorem prover)