No label defined (Q2751358)

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

    Statements

    0 references
    0 references
    27 August 2002
    0 references
    clause normal form
    0 references
    CNF transformation of first-order predicate logic formulae
    0 references
    formula renaming
    0 references
    Skolemization
    0 references
    simplification
    0 references

    Identifiers