CODE: A powerful prover for problems of condensed detachment (Q5234708): Difference between revisions

@@ Property / describes a project that uses @@
+SCOTT
@@ Property / describes a project that uses: SCOTT / 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-63104-6_25
+Normal rank
@@ Property / OpenAlex ID @@
+W1501565997
@@ Property / OpenAlex ID: W1501565997 / rank @@
+Normal rank
@@ Property / cites work @@
+Experiments in the heuristic use of past proof experience
+Normal rank
@@ Property / cites work @@
+Q4524770
@@ Property / cites work: Q4524770 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5613169
@@ Property / cites work: Q5613169 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264737
@@ Property / cites work: Q4264737 / rank @@
+Normal rank
@@ Property / cites work @@
+An automatic theorem prover for substitution and detachment systems
+Normal rank
@@ Property / cites work @@
+The TPTP problem library
@@ Property / cites work: The TPTP problem library / rank @@
+Normal rank
@@ Property / cites work @@
+Q3240239
@@ Property / cites work: Q3240239 / rank @@
+Normal rank
@@ Property / cites work @@
+Meeting the challenge of fifty years of logic
@@ Property / cites work: Meeting the challenge of fifty years of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Searching for circles of pure proofs
@@ Property / cites work: Searching for circles of pure proofs / rank @@
+Normal rank