Proof compressions with circuit-structured substitutions (Q843604): Difference between revisions

@@ Property / cites work @@
+Q4399249
@@ Property / cites work: Q4399249 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial size proofs of the propositional pigeonhole principle
+Normal rank
@@ Property / cites work @@
+Q4513125
@@ Property / cites work: Q4513125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3007263
@@ Property / cites work: Q3007263 / rank @@
+Normal rank
@@ Property / cites work @@
+On cut elimination in the presence of perice rule
@@ Property / cites work: On cut elimination in the presence of perice rule / rank @@
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Finite investigations of transfinite derivations
@@ Property / cites work: Finite investigations of transfinite derivations / rank @@
+Normal rank