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

@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B35
@@ Property / Mathematics Subject Classification ID: 03B35 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C15
@@ Property / Mathematics Subject Classification ID: 06C15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6585255
@@ Property / zbMATH DE Number: 6585255 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formalization of mathematics
@@ Property / zbMATH Keywords: formalization of mathematics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Mizar
@@ Property / zbMATH Keywords: Mizar / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+complemented lattices
@@ Property / zbMATH Keywords: complemented lattices / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mathematica
@@ Property / describes a project that uses: Mathematica / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59407587
@@ Property / Wikidata QID: Q59407587 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-015-9333-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2128085487
@@ Property / OpenAlex ID: W2128085487 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:286797