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

@@ Property / author @@
-Michael J. Beeson
@@ Property / author: Michael J. Beeson / rank @@
-Normal rank
@@ Property / author @@
+Michael J. Beeson
@@ Property / author: Michael J. Beeson / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TPS
@@ Property / describes a project that uses: TPS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MathXpert
@@ Property / describes a project that uses: MathXpert / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OTTER
@@ Property / describes a project that uses: OTTER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NQTHM
@@ Property / describes a project that uses: NQTHM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RRL
@@ Property / describes a project that uses: RRL / 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/s10817-006-9036-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2033513250
@@ Property / OpenAlex ID: W2033513250 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q115056505
@@ Property / Wikidata QID: Q115056505 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:861715