scientific article
From MaRDI portal
Publication:3348885
zbMath0727.03009MaRDI QIDQ3348885
Publication date: 1990
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 (6)
Using resolution for deciding solvable classes and building finite models ⋮ Condensed detachment is complete for relevance logic: A computer-aided proof ⋮ The search efficiency of theorem proving strategies ⋮ Semantic tableaux with ordering restrictions ⋮ Deciding the \(E^+\)-class by an a posteriori, liftable order ⋮ Deciding the guarded fragments by resolution
This page was built for publication:
