Zenon: An Extensible Automated Theorem Prover Producing Checkable Proofs (Q3498463): Difference between revisions

@@ Property / cites work @@
+Autarkic computations in formal proofs
@@ Property / cites work: Autarkic computations in formal proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Automated proof construction in type theory using resolution
+Normal rank
@@ Property / cites work @@
+Q5582304
@@ Property / cites work: Q5582304 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723435
@@ Property / cites work: Q2723435 / rank @@
+Normal rank
@@ Property / cites work @@
+Source-Level Proof Reconstruction for Interactive Theorem Proving
+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