Mechanizing complemented lattices within Mizar type system (Q286797): Difference between revisions

@@ Property / cites work @@
+Licensing the Mizar Mathematical Library
@@ Property / cites work: Licensing the Mizar Mathematical Library / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751538
@@ Property / cites work: Q2751538 / rank @@
+Normal rank
@@ Property / cites work @@
+Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem
+Normal rank
@@ Property / cites work @@
+Short single axioms for Boolean algebra
@@ Property / cites work: Short single axioms for Boolean algebra / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive algebraic hierarchy in Coq.
@@ Property / cites work: A constructive algebraic hierarchy in Coq. / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Discovery of Properties of Rough Sets
@@ Property / cites work: Automated Discovery of Properties of Rough Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Prime filters and ideals in distributive lattices
@@ Property / cites work: Prime filters and ideals in distributive lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075247
@@ Property / cites work: Q3075247 / rank @@
+Normal rank
@@ Property / cites work @@
+Revisions as an Essential Tool to Maintain Mathematical Repositories
+Normal rank
@@ Property / cites work @@
+Lattice Theory: Foundation
@@ Property / cites work: Lattice Theory: Foundation / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebra. A Correction
@@ Property / cites work: Boolean Algebra. A Correction / rank @@
+Normal rank
@@ Property / cites work @@
+New Sets of Independent Postulates for the Algebra of Logic, With Special Reference to Whitehead and Russell's Principia Mathematica
+Normal rank
@@ Property / cites work @@
+On rewriting rules in Mizar
@@ Property / cites work: On rewriting rules in Mizar / rank @@
+Normal rank
@@ Property / cites work @@
+Solution of the Robbins problem
@@ Property / cites work: Solution of the Robbins problem / rank @@
+Normal rank
@@ Property / cites work @@
+Interfacing external CA systems for Gröbner bases computation in M<scp>izar</scp>proof checking
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+A Brief Overview of Mizar
@@ Property / cites work: A Brief Overview of Mizar / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Improving legibility of natural deduction proofs is not trivial
+Normal rank
@@ Property / cites work @@
+Methods of lemma extraction in natural deduction proofs
+Normal rank
@@ Property / cites work @@
+ATP and presentation service for Mizar formalizations
+Normal rank