scientific article; zbMATH DE number 1497745

zbMath0958.68151MaRDI QIDQ4499155

Michael J. Beeson

Publication date: 6 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automatic generation of proofsmetavariables

Mathematics Subject Classification ID

This page was built for publication: