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 / 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
@@ Property / OpenAlex ID @@
+W1984341203
@@ Property / OpenAlex ID: W1984341203 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:293265