Relaxed weighted path order in theorem proving (Q2209265): Difference between revisions

@@ Property / cites work @@
+Hammer for Coq: automation for dependent type theory
+Normal rank
@@ Property / cites work @@
+Towards a unified ordering for superposition-based automated reasoning
+Normal rank
@@ Property / cites work @@
+Hierarchical invention of theorem proving strategies
+Normal rank
@@ Property / cites work @@
+Things to know when implementing KBO
@@ Property / cites work: Things to know when implementing KBO / rank @@
+Normal rank
@@ Property / cites work @@
+Solution of the Robbins problem
@@ Property / cites work: Solution of the Robbins problem / rank @@
+Normal rank
@@ Property / cites work @@
+System Description: E 1.8
@@ Property / cites work: System Description: E 1.8 / rank @@
+Normal rank
@@ Property / cites work @@
+The 8th IJCAR automated theorem proving system competition – CASC-J8
+Normal rank
@@ Property / cites work @@
+The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
+Normal rank
@@ Property / cites work @@
+AC-KBO revisited
@@ Property / cites work: AC-KBO revisited / rank @@
+Normal rank