The design of the CADE-13 ATP system competition (Q4647509): Difference between revisions

@@ Property / author @@
+Geoff Sutcliffe
@@ Property / author: Geoff Sutcliffe / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DIMACS
@@ Property / describes a project that uses: DIMACS / 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 @@
+TPTP
@@ Property / describes a project that uses: TPTP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-61511-3_76
+Normal rank
@@ Property / OpenAlex ID @@
+W1525311564
@@ Property / OpenAlex ID: W1525311564 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4431379
@@ Property / cites work: Q4431379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4013816
@@ Property / cites work: Q4013816 / rank @@
+Normal rank
@@ Property / cites work @@
+The search efficiency of theorem proving strategies
+Normal rank
@@ Property / cites work @@
+The TPTP problem library
@@ Property / cites work: The TPTP problem library / rank @@
+Normal rank
@@ Property / cites work @@
+The TPTP problem library. CNF release v1. 2. 1
@@ Property / cites work: The TPTP problem library. CNF release v1. 2. 1 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank