Limited resource strategy in resolution theorem proving (Q1404979): Difference between revisions

@@ Property / describes a project that uses @@
+OTTER
@@ Property / describes a project that uses: OTTER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DISCOUNT
@@ Property / describes a project that uses: DISCOUNT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Waldmeister
@@ Property / describes a project that uses: Waldmeister / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Bliksem
@@ Property / describes a project that uses: Bliksem / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+E-SETHEO
@@ Property / describes a project that uses: E-SETHEO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SETHEO
@@ Property / describes a project that uses: SETHEO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPASS
@@ Property / describes a project that uses: SPASS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4524770
@@ Property / cites work: Q4524770 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and automated reasoning. International conference, LPAR `92, St. Peterburg, Russia, July 15--20, 1992. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4539610
@@ Property / cites work: Q4539610 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539622
@@ Property / cites work: Q4539622 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539621
@@ Property / cites work: Q4539621 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751378
@@ Property / cites work: Q2751378 / rank @@
+Normal rank
@@ Property / cites work @@
+The CADE-16 ATP system competition
@@ Property / cites work: The CADE-16 ATP system competition / rank @@
+Normal rank