Extending Sledgehammer with SMT Solvers (Q5200019)
From MaRDI portal
scientific article; zbMATH DE number 5934346
In more languages
ConfigureLanguage | Label | Description | Also known as |
---|---|---|---|
English | Extending Sledgehammer with SMT Solvers |
scientific article; zbMATH DE number 5934346 |