Automation for interactive proof: first prototype (Q2432769): Difference between revisions

@@ Property / cites work @@
+Q4524769
@@ Property / cites work: Q4524769 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729065
@@ Property / cites work: Q2729065 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4304753
@@ Property / cites work: Q4304753 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated proof construction in type theory using resolution
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+Normal rank
@@ Property / cites work @@
+A unification algorithm for typed \(\overline\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q2723444
@@ Property / cites work: Q2723444 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Q2751358
@@ Property / cites work: Q2751358 / rank @@
+Normal rank
@@ Property / cites work @@
+The foundation of a generic theorem prover
@@ Property / cites work: The foundation of a generic theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520767
@@ Property / cites work: Q4520767 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539622
@@ Property / cites work: Q4539622 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2724150
@@ Property / cites work: Q2724150 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4664927
@@ Property / cites work: Q4664927 / 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