scientific article; zbMATH DE number 3648165

zbMATH Open0416.68084MaRDI QIDQ3206347FDOQ3206347

Authors: Sergey Popov, Michael Zakharyaschev 

Publication date: 1978

Title of this publication is not available (Why is that?)

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)