scientific article
From MaRDI portal
Publication:3804226
zbMath0656.68091MaRDI QIDQ3804226
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A new subsumption method in the connection graph proof procedure ⋮ An efficient subsumption test pipeline for BS(LRA) clauses