scientific article
From MaRDI portal
Publication:2723432
zbMath0963.03014MaRDI QIDQ2723432
Andrei Voronkov, Anatoli Degtyarev
Publication date: 5 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Stratified resolution ⋮ Superposition with equivalence reasoning and delayed clause normal form transformation
Uses Software
This page was built for publication:
