Renamable paramodulation for automatic theorem proving with equality (Q2542996): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5609410
@@ Property / cites work: Q5609410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5562604
@@ Property / cites work: Q5562604 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5616174
@@ Property / cites work: Q5616174 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5591533
@@ Property / cites work: Q5591533 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624683
@@ Property / cites work: Q5624683 / rank @@
+Normal rank
@@ Property / cites work @@
+The Concept of Demodulation in Theorem Proving
@@ Property / cites work: The Concept of Demodulation in Theorem Proving / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem-Proving for Computers: Some Results on Resolution and Renaming
+Normal rank
@@ Property / cites work @@
+Automatic Theorem Proving With Renamable and Semantic Resolution
+Normal rank