Two systems for proving tautologies, based on the split method (Q1838470): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4091421 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4131061 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 17:31, 13 June 2024

scientific article
Language Label Description Also known as
English
Two systems for proving tautologies, based on the split method
scientific article

    Statements

    Two systems for proving tautologies, based on the split method (English)
    0 references
    0 references
    1983
    0 references
    propositional tautologies
    0 references
    classes with polynomial time recognition algorithm
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references