Automatic decidability and combinability (Q549666): Difference between revisions

@@ Property / author @@
+Sumit K. Garg
@@ Property / author: Sumit K. Garg / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5925499
@@ Property / zbMATH DE Number: 5925499 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+decision procedures
@@ Property / zbMATH Keywords: decision procedures / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+paramodulation
@@ Property / zbMATH Keywords: paramodulation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+schematic saturation
@@ Property / zbMATH Keywords: schematic saturation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+combination
@@ Property / zbMATH Keywords: combination / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q118190406
@@ Property / Wikidata QID: Q118190406 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KRAKATOA
@@ Property / describes a project that uses: KRAKATOA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Caduceus
@@ Property / describes a project that uses: Caduceus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Jahob
@@ Property / describes a project that uses: Jahob / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Why3
@@ Property / describes a project that uses: Why3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SLAM
@@ Property / describes a project that uses: SLAM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SIMPLIFY
@@ Property / describes a project that uses: SIMPLIFY / 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.ic.2011.03.005
+Normal rank
@@ Property / OpenAlex ID @@
+W1998734164
@@ Property / OpenAlex ID: W1998734164 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:549666