Minlog: A minimal logic theorem prover (Q5234710)
From MaRDI portal
scientific article; zbMATH DE number 7111180
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Minlog: A minimal logic theorem prover |
scientific article; zbMATH DE number 7111180 |
Statements
Minlog: A minimal logic theorem prover (English)
0 references
1 October 2019
0 references
