Learning-assisted theorem proving with millions of lemmas (Q485842): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T05
@@ Property / Mathematics Subject Classification ID: 68T05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6386142
@@ Property / zbMATH DE Number: 6386142 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Flyspeck
@@ Property / zbMATH Keywords: Flyspeck / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+lemma mining
@@ Property / zbMATH Keywords: lemma mining / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+machine learning
@@ Property / zbMATH Keywords: machine learning / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+artificial intelligence
@@ Property / zbMATH Keywords: artificial intelligence / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MoMM
@@ Property / describes a project that uses: MoMM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sledgehammer
@@ Property / describes a project that uses: Sledgehammer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MaSh
@@ Property / describes a project that uses: MaSh / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRocH
@@ Property / describes a project that uses: PRocH / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MaLeCoP
@@ Property / describes a project that uses: MaLeCoP / 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 @@
+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 / describes a project that uses @@
+VAMPIRE
@@ Property / describes a project that uses: VAMPIRE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MPTP
@@ Property / describes a project that uses: MPTP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Prover9
@@ Property / describes a project that uses: Prover9 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL Light
@@ Property / describes a project that uses: HOL Light / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mace4
@@ Property / describes a project that uses: Mace4 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOLyHammer
@@ Property / describes a project that uses: HOLyHammer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+E-MaLeS
@@ Property / describes a project that uses: E-MaLeS / 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 @@
+SRASS
@@ Property / describes a project that uses: SRASS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q35829526
@@ Property / Wikidata QID: Q35829526 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2127812195
@@ Property / OpenAlex ID: W2127812195 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3578
@@ Property / arXiv ID: 1402.3578 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:485842