scientific article; zbMATH DE number 1552520
From MaRDI portal
Publication:4524780
zbMath0970.68156MaRDI QIDQ4524780
No author found.
Publication date: 15 January 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Controlled use of clausal lemmas in connection tableau calculi ⋮ Set of support, demodulation, paramodulation: a historical perspective
Uses Software
This page was built for publication:
