Lemmatization for Stronger Reasoning in Large Theories (Q2964472): Difference between revisions

@@ Property / describes a project that uses @@
+MaSh
@@ Property / describes a project that uses: MaSh / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+P.rex
@@ Property / describes a project that uses: P.rex / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BliStr
@@ Property / describes a project that uses: BliStr / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VAMPIRE
@@ Property / describes a project that uses: VAMPIRE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MaLARea
@@ Property / describes a project that uses: MaLARea / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Flyspeck
@@ Property / describes a project that uses: Flyspeck / 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/978-3-319-24246-0_21
+Normal rank
@@ Property / OpenAlex ID @@
+W2295529234
@@ Property / OpenAlex ID: W2295529234 / rank @@
+Normal rank
@@ Property / cites work @@
+Premise selection for mathematics by corpus analysis and kernel methods
+Normal rank
@@ Property / cites work @@
+Q4539626
@@ Property / cites work: Q4539626 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
+Normal rank
@@ Property / cites work @@
+Learning-assisted theorem proving with millions of lemmas
+Normal rank
@@ Property / cites work @@
+MizAR 40 for Mizar 40
@@ Property / cites work: MizAR 40 for Mizar 40 / rank @@
+Normal rank
@@ Property / cites work @@
+Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction
+Normal rank
@@ Property / cites work @@
+MaSh: Machine Learning for Sledgehammer
@@ Property / cites work: MaSh: Machine Learning for Sledgehammer / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723444
@@ Property / cites work: Q2723444 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated theorem proving in quasigroup and loop theory
+Normal rank
@@ Property / cites work @@
+Q2739546
@@ Property / cites work: Q2739546 / rank @@
+Normal rank
@@ Property / cites work @@
+System Description: E 1.8
@@ Property / cites work: System Description: E 1.8 / rank @@
+Normal rank
@@ Property / cites work @@
+SRASS - A Semantic Relevance Axiom Selection System
+Normal rank
@@ Property / cites work @@
+ATP-based cross-verification of Mizar proofs: method, systems, and first experiments
+Normal rank
@@ Property / cites work @@
+MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance
+Normal rank
@@ Property / cites work @@
+Using hints to increase the effectiveness of an automated reasoning program: Case studies
+Normal rank