OTTER experiments in a system of combinatory logic (Q1893130): Difference between revisions

@@ Property / author @@
-Thomas J. Jech
@@ Property / author: Thomas J. Jech / rank @@
-Normal rank
@@ Property / author @@
+Thomas J. Jech
@@ Property / author: Thomas J. Jech / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OTTER
@@ Property / describes a project that uses: OTTER / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q115059466
@@ Property / Wikidata QID: Q115059466 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+math/9409201
@@ Property / arXiv ID: math/9409201 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Combinatory logic. With two sections by William Craig.
+Normal rank
@@ Property / cites work @@
+Systems of combinatory logic related to Quine's `New Foundations'
+Normal rank
@@ Property / cites work @@
+Single axioms for groups
@@ Property / cites work: Single axioms for groups / rank @@
+Normal rank
@@ Property / cites work @@
+Automated discovery of new axiomatizations of the left group and right group calculi
+Normal rank
@@ Property / cites work @@
+Single axioms for groups and abelian groups with various operations
+Normal rank
@@ Property / cites work @@
+The kernel strategy and its use for the study of combinatory logic
+Normal rank