On quasitautologies (Q4610330): Difference between revisions

@@ Property / cites work @@
+Q4052072
@@ Property / cites work: Q4052072 / rank @@
+Normal rank
@@ Property / cites work @@
+On Shostak's decision procedure for combinations of theories
+Normal rank
@@ Property / cites work @@
+Q3129297
@@ Property / cites work: Q3129297 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of simultaneous rigid E-unification
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / 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 @@
+Fast Decision Procedures Based on Congruence Closure
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm for reasoning about equality
@@ Property / cites work: An algorithm for reasoning about equality / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Combinations of Theories
@@ Property / cites work: Deciding Combinations of Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory
@@ Property / cites work: Proof theory / rank @@
+Normal rank