Combinations of Theories for Decidable Fragments of First-Order Logic (Q3655205): Difference between revisions

@@ Property / describes a project that uses @@
+E Theorem Prover
@@ Property / describes a project that uses: E Theorem Prover / 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.1007/978-3-642-04222-5_16
+Normal rank
@@ Property / OpenAlex ID @@
+W1535925611
@@ Property / OpenAlex ID: W1535925611 / rank @@
+Normal rank
@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751356
@@ Property / cites work: Q2751356 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3905252
@@ Property / cites work: Q3905252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinations of Theories for Decidable Fragments of First-Order Logic
+Normal rank
@@ Property / cites work @@
+Q4417916
@@ Property / cites work: Q4417916 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Decision Problem for Two-Variable First-Order Logic
+Normal rank
@@ Property / cites work @@
+Q4934623
@@ Property / cites work: Q4934623 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150300
@@ Property / cites work: Q3150300 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539621
@@ Property / cites work: Q4539621 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5486135
@@ Property / cites work: Q5486135 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385439
@@ Property / cites work: Q4385439 / rank @@
+Normal rank
@@ Property / cites work @@
+Unions of non-disjoint theories and combinations of satisfiability procedures
+Normal rank
@@ Property / cites work @@
+Combining nonstably infinite theories
@@ Property / cites work: Combining nonstably infinite theories / rank @@
+Normal rank
@@ Property / cites work @@
+Combining Theories with Shared Set Operations
@@ Property / cites work: Combining Theories with Shared Set Operations / rank @@
+Normal rank