Preservation of equivalence of derivations under reduction of depth of formulas (Q1168318): Difference between revisions

@@ Property / author @@
-Serguei V. Solov'ev
@@ Property / author: Serguei V. Solov'ev / rank @@
-Normal rank
@@ Property / author @@
+Serguei V. Solov'ev
@@ Property / author: Serguei V. Solov'ev / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional Calculus and Realizability
@@ Property / cites work: Propositional Calculus and Realizability / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1168318