The number of axioms (Q2120967): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2021.103078
@@ Property / DOI: 10.1016/j.apal.2021.103078 / rank @@
-Normal rank
@@ Property / Wikidata QID @@
+Q114682920
@@ Property / Wikidata QID: Q114682920 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2021.103078
+Normal rank
@@ Property / OpenAlex ID @@
+W4206319082
@@ Property / OpenAlex ID: W4206319082 / rank @@
+Normal rank
@@ Property / cites work @@
+UNSOUND INFERENCES MAKE PROOFS SHORTER
@@ Property / cites work: UNSOUND INFERENCES MAKE PROOFS SHORTER / rank @@
+Normal rank
@@ Property / cites work @@
+Reflection principles and provability algebras in formal arithmetic
+Normal rank
@@ Property / cites work @@
+The number of proof lines and the size of proofs in first order logic
+Normal rank
@@ Property / cites work @@
+Lower bounds for increasing complexity of derivations after cut elimination
+Normal rank
@@ Property / cites work @@
+Lower Bounds on Herbrand's Theorem
@@ Property / cites work: Lower Bounds on Herbrand's Theorem / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2021.103078
@@ Property / DOI: 10.1016/J.APAL.2021.103078 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2120967