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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-03741-2_19
+Normal rank
@@ Property / OpenAlex ID @@
+W1659616924
@@ Property / OpenAlex ID: W1659616924 / rank @@
+Normal rank
@@ 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