lean\(T^ AP\): Lean tableau-based deduction (Q1904400): Difference between revisions

@@ Property / cites work @@
+Q4282596
@@ Property / cites work: Q4282596 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997615
@@ Property / cites work: Q3997615 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996619
@@ Property / cites work: Q3996619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4244309
@@ Property / cites work: Q4244309 / rank @@
+Normal rank
@@ Property / cites work @@
+SETHEO: A high-performance theorem prover
@@ Property / cites work: SETHEO: A high-performance theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q3821629
@@ Property / cites work: Q3821629 / rank @@
+Normal rank
@@ Property / cites work @@
+Seventy-five problems for testing automatic theorem provers
+Normal rank
@@ Property / cites work @@
+A Mechanical Proof Procedure and its Realization in an Electronic Computer
+Normal rank
@@ Property / cites work @@
+A Prolog technology theorem prover: Implementation by an extended Prolog compiler
+Normal rank
@@ Property / cites work @@
+Toward Mechanical Mathematics
@@ Property / cites work: Toward Mechanical Mathematics / rank @@
+Normal rank