Formalization of quasilattices (Q2113839): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2478/forma-2020-0019
+Normal rank
@@ Property / OpenAlex ID @@
+W3145098521
@@ Property / OpenAlex ID: W3145098521 / rank @@
+Normal rank
@@ Property / cites work @@
+Mizar: State-of-the-art and Beyond
@@ Property / cites work: Mizar: State-of-the-art and Beyond / rank @@
+Normal rank
@@ Property / cites work @@
+The role of the Mizar mathematical library for interactive proof development in Mizar
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing complemented lattices within Mizar type system
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+On two alternative axiomatizations of lattices by McKenzie and Sholander
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Q4165426
@@ Property / cites work: Q4165426 / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice Theory: Foundation
@@ Property / cites work: Lattice Theory: Foundation / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction in equational logic and cubic curves
+Normal rank
@@ Property / cites work @@
+Q3524776
@@ Property / cites work: Q3524776 / rank @@
+Normal rank
@@ Property / cites work @@
+ATP and presentation service for Mizar formalizations
+Normal rank