Eliminating disjunctions by disjunction elimination (Q1688959)

From MaRDI portal





scientific article; zbMATH DE number 6825025
Language Label Description Also known as
English
Eliminating disjunctions by disjunction elimination
scientific article; zbMATH DE number 6825025

    Statements

    Eliminating disjunctions by disjunction elimination (English)
    0 references
    0 references
    0 references
    0 references
    12 January 2018
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers