No label defined (Q4040458)

From MaRDI portal
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    0 references
    0 references
    5 June 1993
    0 references
    proof systems of propositional and predicate logic
    0 references
    proof by well-founded induction
    0 references
    formal content of proofs in first-order logic
    0 references
    deductive system
    0 references
    tableaux method
    0 references
    theory of expressions
    0 references
    unification
    0 references
    Skolem functions
    0 references
    general resolution rule
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references