An extension of the Boyer-Moore theorem prover to support first-order quantification (Q688572): Difference between revisions

From MaRDI portal
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer proofs in group theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4016540 / rank
 
Normal rank

Latest revision as of 10:37, 22 May 2024

scientific article
Language Label Description Also known as
English
An extension of the Boyer-Moore theorem prover to support first-order quantification
scientific article

    Statements

    An extension of the Boyer-Moore theorem prover to support first-order quantification (English)
    0 references
    0 references
    4 January 1994
    0 references
    Boyer-Moore theorem prover
    0 references
    NQTHM
    0 references
    Skolemization quantifiers
    0 references
    first-order quantification
    0 references

    Identifiers