| _version_ | 1866902193511071744 |
|---|---|
| author | Bártek, Filip Bhayat, Ahmed Coutelier, Robin Hajdu, Márton Hetzenberger, Matthias Hozzová, Petra Kovács, Laura Rath, Jakob Rawson, Michael Reger, Giles Schoisswohl, Johannes Suda, Martin Voronkov, Andrei |
| author_facet | Bártek, Filip Bhayat, Ahmed Coutelier, Robin Hajdu, Márton Hetzenberger, Matthias Hozzová, Petra Kovács, Laura Rath, Jakob Rawson, Michael Reger, Giles Schoisswohl, Johannes Suda, Martin Voronkov, Andrei |
| contents | <p>The Vampire automated theorem prover.</p> <p>This upload includes the Vampire source tree, an AMD64 Docker image, LICENSE, README, and running examples.</p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_15205674 |
| institution | Zenodo |
| language | eng |
| publishDate | 2025 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | Vampire Bártek, Filip Bhayat, Ahmed Coutelier, Robin Hajdu, Márton Hetzenberger, Matthias Hozzová, Petra Kovács, Laura Rath, Jakob Rawson, Michael Reger, Giles Schoisswohl, Johannes Suda, Martin Voronkov, Andrei automated theorem proving <p>The Vampire automated theorem prover.</p> <p>This upload includes the Vampire source tree, an AMD64 Docker image, LICENSE, README, and running examples.</p> |
| title | Vampire |
| topic | automated theorem proving |
| url | https://doi.org/10.5281/zenodo.15205674 |