Scavenger 0.1: a theorem prover based on conflict resolution (Q2405260)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Scavenger 0.1: a theorem prover based on conflict resolution
scientific article

    Statements

    Scavenger 0.1: a theorem prover based on conflict resolution (English)
    0 references
    0 references
    0 references
    22 September 2017
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers