scientific article
From MaRDI portal
Publication:3917510
zbMath0465.68045MaRDI QIDQ3917510
P. T. Cox, Tomasz Pietrzykowski
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
hypothesiscompletenessterminationsoundnessclosed formulacausesnonredundancyclosed quantified literalsimplicational independence
Related Items
This page was built for publication: