SEPIA: Search for Proofs Using Inferred Automata (Q3454097): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1581101260
@@ Property / OpenAlex ID: W1581101260 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07987
@@ Property / arXiv ID: 1505.07987 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated and Human Proofs in General Mathematics: An Initial Comparison
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Mining State-Based Models from Proof Corpora
@@ Property / cites work: Mining State-Based Models from Proof Corpora / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Learning of Proof Methods in Proof Planning
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Q5302561
@@ Property / cites work: Q5302561 / rank @@
+Normal rank