scientific article; zbMATH DE number 1330426

zbMath0921.03010MaRDI QIDQ4261067

Could not fetch data.

Publication date: 2 September 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35)

Related Items

On Skolemization in constrained logics