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

@@ 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.1016/0168-0072(94)00054-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1977680017
@@ Property / OpenAlex ID: W1977680017 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:1899140