scientific article; zbMATH DE number 3332500
From MaRDI portal
Publication:5609410
zbMath0209.03303MaRDI QIDQ5609410
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Experiments with resolution-based theorem-proving algorithms ⋮ Semantically guided first-order theorem proving using hyper-linking ⋮ Renamable paramodulation for automatic theorem proving with equality
This page was built for publication:
