Distributive Lattice-Structured Ontologies (Q2888493): Difference between revisions

@@ Property / cites work @@
+Q4533343
@@ Property / cites work: Q4533343 / rank @@
+Normal rank
@@ Property / cites work @@
+Free Modal Algebras: A Coalgebraic Perspective
@@ Property / cites work: Free Modal Algebras: A Coalgebraic Perspective / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded distributive lattice expansions
@@ Property / cites work: Bounded distributive lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408136
@@ Property / cites work: Q3408136 / rank @@
+Normal rank
@@ Property / cites work @@
+An application of lattice theory to knowledge representation
+Normal rank
@@ Property / cites work @@
+Automated theorem proving by resolution in non-classical logics
+Normal rank