Automatic proofs and counterexamples for some ortholattice identities (Q293265): Difference between revisions

@@ Property / author @@
-William W. McCune
@@ Property / author: William W. McCune / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G12
@@ Property / Mathematics Subject Classification ID: 03G12 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C15
@@ Property / Mathematics Subject Classification ID: 06C15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6590702
@@ Property / zbMATH DE Number: 6590702 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automatic theorem proving
@@ Property / zbMATH Keywords: automatic theorem proving / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+ortholattice
@@ Property / zbMATH Keywords: ortholattice / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+quantum logic
@@ Property / zbMATH Keywords: quantum logic / rank @@
+Normal rank
@@ Property / author @@
+William W. McCune
@@ Property / author: William W. McCune / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+EQP
@@ Property / describes a project that uses: EQP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OTTER
@@ Property / describes a project that uses: OTTER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mace4
@@ Property / describes a project that uses: Mace4 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q124814624
@@ Property / Wikidata QID: Q124814624 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264723
@@ Property / cites work: Q4264723 / rank @@
+Normal rank
@@ Property / cites work @@
+Orthomodularity is not elementary
@@ Property / cites work: Orthomodularity is not elementary / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction in equational logic and cubic curves
+Normal rank
@@ Property / cites work @@
+Q4240157
@@ Property / cites work: Q4240157 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:293265