Mathematical induction in Otter-lambda (Q861715): Difference between revisions

@@ Property / cites work @@
+TPS: A theorem-proving system for classical type theory
+Normal rank
@@ Property / cites work @@
+Mechanizing structural induction. I: Formal system
+Normal rank
@@ Property / cites work @@
+Mechanizing structural induction. II: Strategies
@@ Property / cites work: Mechanizing structural induction. II: Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical induction in Otter-lambda
@@ Property / cites work: Mathematical induction in Otter-lambda / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040283
@@ Property / cites work: Q4040283 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751365
@@ Property / cites work: Q2751365 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated reasoning about elementary point-set topology
+Normal rank
@@ Property / cites work @@
+A Fascinating Country in the World of Computing
@@ Property / cites work: A Fascinating Country in the World of Computing / rank @@
+Normal rank