scientific article; zbMATH DE number 3338912
From MaRDI portal
Publication:5615716
zbMath0213.43005MaRDI QIDQ5615716
Publication date: 1969
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Saturation, nonmonotonic reasoning and the closed-world assumption, MRPPS?An interactive refutation proof procedure system for question-answering