Extending E Prover with Similarity Based Clause Selection Strategies (Q2817300): Difference between revisions

@@ Property / describes a project that uses @@
+E Theorem Prover
@@ Property / describes a project that uses: E Theorem Prover / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OTTER
@@ Property / describes a project that uses: OTTER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BliStr
@@ Property / describes a project that uses: BliStr / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2438025153
@@ Property / OpenAlex ID: W2438025153 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q62044871
@@ Property / Wikidata QID: Q62044871 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03888
@@ Property / arXiv ID: 1606.03888 / rank @@
+Normal rank
@@ Property / cites work @@
+Premise selection for mathematics by corpus analysis and kernel methods
+Normal rank
@@ Property / cites work @@
+Q3150301
@@ Property / cites work: Q3150301 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple Fast Algorithms for the Editing Distance between Trees and Related Problems
+Normal rank