scientific article; zbMATH DE number 3654114

MaRDI QIDQ3853623zbMATH OpenFDO

Authors A. V. Lyaletskiĭ

Publication date 1975

zbMATH Keywords

proof theoryresolution rule

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Cited in

(1)

• Evidence algorithm and inference search in first-order logics

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 Q3853623)