Clausal rewriting (Q5881281): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-54317-1_95
+Normal rank
@@ Property / OpenAlex ID @@
+W2911429558
@@ Property / OpenAlex ID: W2911429558 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Proving refutational completeness of theorem-proving strategies
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5881281