scientific article
From MaRDI portal
zbMath0963.68518MaRDI QIDQ2721183
Francesco M. Donini, Fabio Massacci
Publication date: 1 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Towards a unified model of search in theorem-proving: subgoal-reduction strategies, Debugging incoherent terminologies, \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments, : A Resolution-Based Prover for Multimodal K, EXPtime tableaux for ALC