Theories with the independence property (Q993495): Difference between revisions

@@ Property / OpenAlex ID @@
+W2152646692
@@ Property / OpenAlex ID: W2152646692 / rank @@
+Normal rank
@@ Property / cites work @@
+A feature constraint system for logic programming with entailment
+Normal rank
@@ Property / cites work @@
+A complete axiomatization of a theory with feature and arity constraints
+Normal rank
@@ Property / cites work @@
+A complete and recursive feature theory
@@ Property / cites work: A complete and recursive feature theory / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Reduced products, Horn sentences, and decision problems
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789064
@@ Property / cites work: Q3789064 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Varieties Containing Relation Algebras
@@ Property / cites work: Some Varieties Containing Relation Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras
@@ Property / cites work: Relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3677149
@@ Property / cites work: Q3677149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124795
@@ Property / cites work: Q4124795 / rank @@
+Normal rank
@@ Property / cites work @@
+Records for logic programming
@@ Property / cites work: Records for logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141898
@@ Property / cites work: Q3141898 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpreting first-order theories into a logic of records
+Normal rank