scientific article
From MaRDI portal
Publication:3338217
zbMath0547.03013MaRDI QIDQ3338217
Graham Wrightson, Hans Jürgen Ohlbach
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
relevance logicconverse of contraction theoremgenerator clausesgenerator control mechanismresolution-based theorem prover
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
This page was built for publication: