Generalizing theorems in real closed fields (Q1899140): Difference between revisions

@@ Property / cites work @@
+Q4304753
@@ Property / cites work: Q4304753 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4283227
@@ Property / cites work: Q4283227 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3140629
@@ Property / cites work: Q3140629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997615
@@ Property / cites work: Q3997615 / rank @@
+Normal rank
@@ Property / cites work @@
+The number of proof lines and the size of proofs in first order logic
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Some Results on the Length of Proofs
@@ Property / cites work: Some Results on the Length of Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Sets of theorems with short proofs
@@ Property / cites work: Sets of theorems with short proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. 2nd ed
@@ Property / cites work: Proof theory. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+Some results on speed-up
@@ Property / cites work: Some results on speed-up / rank @@
+Normal rank