Modular instantiation schemes (Q1944184): Difference between revisions

@@ 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.1016/j.ipl.2011.07.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2052829079
@@ Property / OpenAlex ID: W2052829079 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable fragments of many-sorted logic
@@ Property / cites work: Decidable fragments of many-sorted logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Satisfiability Modulo Theories: An Appetizer
@@ Property / cites work: Satisfiability Modulo Theories: An Appetizer / rank @@
+Normal rank
@@ Property / cites work @@
+An instantiation scheme for satisfiability modulo theories
+Normal rank
@@ Property / cites work @@
+Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories
+Normal rank
@@ Property / cites work @@
+Decision procedures for extensions of the theory of arrays
+Normal rank
@@ Property / cites work @@
+Ordered semantic hyper-linking
@@ Property / cites work: Ordered semantic hyper-linking / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385439
@@ Property / cites work: Q4385439 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining nonstably infinite theories
@@ Property / cites work: Combining nonstably infinite theories / rank @@
+Normal rank