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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11786-020-00474-0
+Normal rank
@@ Property / OpenAlex ID @@
+W3014201085
@@ Property / OpenAlex ID: W3014201085 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q108482108
@@ Property / Wikidata QID: Q108482108 / rank @@
+Normal rank
@@ 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