scientific article
From MaRDI portal
Publication:2751547
zbMath0986.68131MaRDI QIDQ2751547
Publication date: 21 October 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
\textit{Theorema}: Towards computer-aided mathematical theory exploration, Liberalized variable splitting, Towards a unified model of search in theorem-proving: subgoal-reduction strategies, Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\)
Uses Software
