Subsumption computed algebraically (Q1202639): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0898-1221(92)90146-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2003040898
@@ Property / OpenAlex ID: W2003040898 / rank @@
+Normal rank
@@ Property / cites work @@
+Augustus De Morgan's Algebraic Work: The Three Stages
+Normal rank
@@ Property / cites work @@
+Frege against the Booleans
@@ Property / cites work: Frege against the Booleans / rank @@
+Normal rank
@@ Property / cites work @@
+Peirce the logician
@@ Property / cites work: Peirce the logician / rank @@
+Normal rank
@@ Property / cites work @@
+Q3330564
@@ Property / cites work: Q3330564 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3321495
@@ Property / cites work: Q3321495 / rank @@
+Normal rank
@@ Property / cites work @@
+A four-valued semantics for terminological logics
@@ Property / cites work: A four-valued semantics for terminological logics / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity of terminological reasoning in BACK
+Normal rank
@@ Property / cites work @@
+Terminological reasoning is inherently intractable
+Normal rank
@@ Property / cites work @@
+Attributive concept descriptions with complements
@@ Property / cites work: Attributive concept descriptions with complements / rank @@
+Normal rank
@@ Property / cites work @@
+Q4013976
@@ Property / cites work: Q4013976 / 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 @@
+The Theory of Representation for Boolean Algebras
@@ Property / cites work: The Theory of Representation for Boolean Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of relation algebras
@@ Property / cites work: Varieties of relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The contributions of Alfred Tarski to algebraic logic
+Normal rank
@@ Property / cites work @@
+Nonfinite axiomatizability results for cylindric and relation algebras
+Normal rank
@@ Property / cites work @@
+Boolean modules
@@ Property / cites work: Boolean modules / rank @@
+Normal rank
@@ Property / cites work @@
+Q3939782
@@ Property / cites work: Q3939782 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5740451
@@ Property / cites work: Q5740451 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3928287
@@ Property / cites work: Q3928287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3750100
@@ Property / cites work: Q3750100 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028788
@@ Property / cites work: Q4028788 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040000
@@ Property / cites work: Q4040000 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5810602
@@ Property / cites work: Q5810602 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5572358
@@ Property / cites work: Q5572358 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Refutational theorem proving using term-rewriting systems
+Normal rank
@@ Property / cites work @@
+Q3776590
@@ Property / cites work: Q3776590 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3707399
@@ Property / cites work: Q3707399 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3958592
@@ Property / cites work: Q3958592 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5616133
@@ Property / cites work: Q5616133 / rank @@
+Normal rank
@@ Property / cites work @@
+Feature-constraint logics for unification grammars
+Normal rank