scientific article; zbMATH DE number 2098433

MaRDI QIDQ4814718zbMATH OpenFDO

Authors V. K. Kabulov

Publication date 7 September 2004

zbMATH Keywords

algorithmtheorem provingpropositional logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4814718)