Lightweight relevance filtering for machine-generated resolution problems (Q1006731): Difference between revisions

@@ Property / author @@
-Lawrence Charles Paulson
@@ Property / author: Lawrence Charles Paulson / rank @@
-Normal rank
@@ Property / author @@
+Lawrence Charles Paulson
@@ Property / author: Lawrence Charles Paulson / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57382620
@@ Property / Wikidata QID: Q57382620 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TPTP
@@ Property / describes a project that uses: TPTP / rank @@
+Normal rank
@@ 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 @@
+VAMPIRE
@@ Property / describes a project that uses: VAMPIRE / 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.1016/j.jal.2007.07.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2013792502
@@ Property / OpenAlex ID: W2013792502 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4524769
@@ Property / cites work: Q4524769 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751353
@@ Property / cites work: Q2751353 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated reasoning. Second international joint conference, IJCAR 2004, Cork, Ireland, July 4--8, 2004. Proceedings.
+Normal rank
@@ Property / cites work @@
+Automated proof construction in type theory using resolution
+Normal rank
@@ Property / cites work @@
+Q4263169
@@ Property / cites work: Q4263169 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Automation for interactive proof: first prototype
@@ Property / cites work: Automation for interactive proof: first prototype / rank @@
+Normal rank
@@ Property / cites work @@
+Q4229404
@@ Property / cites work: Q4229404 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520767
@@ Property / cites work: Q4520767 / rank @@
+Normal rank
@@ Property / cites work @@
+A relevance restriction strategy for automated deduction
+Normal rank
@@ Property / cites work @@
+Q2702602
@@ Property / cites work: Q2702602 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150300
@@ Property / cites work: Q3150300 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2724150
@@ Property / cites work: Q2724150 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4664927
@@ Property / cites work: Q4664927 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / 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 @@
+Q2751379
@@ Property / cites work: Q2751379 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
+Normal rank