Understanding Resolution Proofs through Herbrand’s Theorem (Q2851942): Difference between revisions

@@ Property / describes a project that uses @@
+Prover9
@@ Property / describes a project that uses: Prover9 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mace4
@@ Property / describes a project that uses: Mace4 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ivy
@@ Property / describes a project that uses: Ivy / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CERES
@@ Property / describes a project that uses: CERES / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TRAMP
@@ Property / describes a project that uses: TRAMP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GAPT
@@ Property / describes a project that uses: GAPT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ProofTool
@@ Property / describes a project that uses: ProofTool / 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/978-3-642-40537-2_15
+Normal rank
@@ Property / OpenAlex ID @@
+W104201083
@@ Property / OpenAlex ID: W104201083 / rank @@
+Normal rank