scientific article
From MaRDI portal
Publication:2723435
zbMath0963.68527MaRDI QIDQ2723435
Olga Shumsky, William W. McCune
Publication date: 5 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
The reflective Milawa theorem prover is sound (down to the machine code that runs it) ⋮ Varieties of regular semigroups with uniquely defined inversion ⋮ Zenon: An Extensible Automated Theorem Prover Producing Checkable Proofs ⋮ Ivy ⋮ Extending Sledgehammer with SMT solvers
Uses Software
This page was built for publication:
