No label defined (Q4182501)

From MaRDI portal
scientific article; zbMATH DE number 3619885
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 3619885

    Statements

    1976
    0 references
    Speed-Up
    0 references
    Decidable
    0 references
    Axiomatizable
    0 references
    Formal Theories
    0 references
    Theorem Proving
    0 references
    Complexity of Proofs
    0 references
    Algorithm
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references