scientific article
From MaRDI portal
Publication:3086782
zbMath1226.03016MaRDI QIDQ3086782
Publication date: 30 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Proofs and Reconstructions ⋮ A semantic framework for proof evidence ⋮ Induction and Skolemization in saturation theorem proving
This page was built for publication: