scientific article; zbMATH DE number 3648165

MaRDI QIDQ3206347zbMATH OpenFDO

Authors Sergey Popov, Michael Zakharyaschev

Publication date 1978

zbMATH Keywords

theorem proving systemdeduction procedurefirst order predicate calculus with identitysyntactic tree method

Mathematics Subject Classification ID

Classical first-order logic (03B10)

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