Automatic proofs and counterexamples for some ortholattice identities
Work
Year: 1998
Type: article
Source: Information Processing Letters
Author William McCune
Institution Argonne National Laboratory
Cites: 12
Cited by: 29
Related to: 10
FWCI: 3.496
Citation percentile (by year/subfield): 76.43
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed