scientific article; zbMATH DE number 3556010

zbMATH Open0357.02008MaRDI QIDQ4128519FDOQ4128519

Authors: G. V. Davydov, P. Yu. Suvorov 

Publication date: 1974

Full work available at URL: https://eudml.org/doc/66668

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

Mathematics Subject Classification ID

Classical propositional logic (03B05) Coloring of graphs and hypergraphs (05C15)

Cited In (1)

• On the recognition of the tautological nature of propositional formulas

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