scientific article; zbMATH DE number 1301751
From MaRDI portal
Publication:4246966
zbMath0928.03008MaRDI QIDQ4246966
Publication date: 12 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
demand-driven cooperative theorem provingrequirement-based cooperationsaturation-based theorem provers
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
This page was built for publication:
