Generating Minimum Transitivity Constraints in P-time for Deciding Equality Logic (Q2864399): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2008.04.077
@@ Property / DOI: 10.1016/j.entcs.2008.04.077 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+SMT-LIB
@@ Property / describes a project that uses: SMT-LIB / 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.1016/j.entcs.2008.04.077
+Normal rank
@@ Property / OpenAlex ID @@
+W2020525563
@@ Property / OpenAlex ID: W2020525563 / rank @@
+Normal rank
@@ Property / cites work @@
+Solvable cases of the decision problem
@@ Property / cites work: Solvable cases of the decision problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754075
@@ Property / cites work: Q2754075 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+The small model property: How small can it be?
@@ Property / cites work: The small model property: How small can it be? / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2008.04.077
@@ Property / DOI: 10.1016/J.ENTCS.2008.04.077 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2864399