Two systems for proving tautologies, based on the split method
type: Item
instance of: scholarly article
title: Two systems for proving tautologies, based on the split method
zbMATH Open document ID: 0509.03004
DOI: 10.1007/BF01084392
author: E. Ya. Dantsin
published in: Journal of Soviet Mathematics
publication date: 1983-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B05
Mathematics Subject Classification ID: 03D15
Mathematics Subject Classification ID: 03F20
zbMATH DE Number: 3803401
zbMATH Keywords: propositional tautologies
zbMATH Keywords: classes with polynomial time recognition algorithm
MaRDI profile type: Publication
cites work: Q4091421
cites work: Q4131061
description: scientific article; zbMATH DE number 3803401