New results on rewrite-based satisfiability procedures (Q5277822): Difference between revisions

@@ Property / Wikidata QID @@
+Q118123555
@@ Property / Wikidata QID: Q118123555 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CVC
@@ Property / describes a project that uses: CVC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+cvc3
@@ Property / describes a project that uses: cvc3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SIMPLIFY
@@ Property / describes a project that uses: SIMPLIFY / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CVC Lite
@@ Property / describes a project that uses: CVC Lite / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+E Theorem Prover
@@ Property / describes a project that uses: E Theorem Prover / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPASS
@@ Property / describes a project that uses: SPASS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2084417024
@@ Property / OpenAlex ID: W2084417024 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+cs/0604054
@@ Property / arXiv ID: cs/0604054 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5277822