Some Results on the Length of Proofs (Q5686023): Difference between revisions

@@ label / en / label / en @@
+Some Results on the Length of Proofs
@@ 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.2307/1996581
@@ Property / full work available at URL: https://doi.org/10.2307/1996581 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4252443779
@@ Property / OpenAlex ID: W4252443779 / rank @@
+Normal rank
@@ Property / title @@
+Some Results on the Length of Proofs (English)
@@ Property / title: Some Results on the Length of Proofs (English) / rank @@
+Normal rank
@@ Property / cites work @@
+Semigroups, Presburger formulas, and languages
@@ Property / cites work: Semigroups, Presburger formulas, and languages / rank @@
+Normal rank
@@ Property / cites work @@
+Some applications of formalized consistency proofs
+Normal rank
@@ Property / cites work @@
+On Context-Free Languages
@@ Property / cites work: On Context-Free Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Existence and feasibility in arithmetic
@@ Property / cites work: Existence and feasibility in arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Sets of theorems with short proofs
@@ Property / cites work: Sets of theorems with short proofs / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5686023