Formalizing two generalized approximation operators (Q2311527): Difference between revisions

@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / rank @@
+Normal rank
@@ 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-2018-0016
+Normal rank
@@ Property / OpenAlex ID @@
+W2908006987
@@ Property / OpenAlex ID: W2908006987 / 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 @@
+Q3146276
@@ Property / cites work: Q3146276 / 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 @@
+Lattice Theory for Rough Sets – A Case Study with Mizar
+Normal rank
@@ Property / cites work @@
+Formalization of generalized almost distributive lattices.
+Normal rank
@@ Property / cites work @@
+Relational Formal Characterization of Rough Sets
@@ Property / cites work: Relational Formal Characterization of Rough Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Binary relations-based rough sets -- an automated approach
+Normal rank
@@ Property / cites work @@
+On Duplication in Mathematical Repositories
@@ Property / cites work: On Duplication in Mathematical Repositories / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice Theory for Rough Sets
@@ Property / cites work: Lattice Theory for Rough Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to formal preference spaces
@@ Property / cites work: Introduction to formal preference spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Rough sets
@@ Property / cites work: Rough sets / rank @@
+Normal rank
@@ Property / cites work @@
+Two views of the theory of rough sets in finite universes
+Normal rank
@@ Property / cites work @@
+Generalized rough sets based on relations
@@ Property / cites work: Generalized rough sets based on relations / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q128644858
@@ Property / Wikidata QID: Q128644858 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2311527