Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\) (Q2577589): Difference between revisions

@@ Property / describes a project that uses @@
+Theorema
@@ Property / describes a project that uses: Theorema / rank @@
+Normal rank
@@ 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.1007/s10958-005-0090-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2073634051
@@ Property / OpenAlex ID: W2073634051 / rank @@
+Normal rank
@@ Property / cites work @@
+The liberalized \(\delta\)-rule in free variable semantic tableaux
+Normal rank
@@ Property / cites work @@
+Q4263168
@@ Property / cites work: Q4263168 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4524782
@@ Property / cites work: Q4524782 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic derivation of the irrationality of \(e\)
+Normal rank
@@ Property / cites work @@
+Q4692618
@@ Property / cites work: Q4692618 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction. A basis for applications. Vol. III: Applications
+Normal rank
@@ Property / cites work @@
+Towards the automation of set theory and its logic
+Normal rank
@@ Property / cites work @@
+Q4226993
@@ Property / cites work: Q4226993 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938416
@@ Property / cites work: Q4938416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4863622
@@ Property / cites work: Q4863622 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539640
@@ Property / cites work: Q4539640 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5620583
@@ Property / cites work: Q5620583 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751547
@@ Property / cites work: Q2751547 / 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 @@
+Q4499154
@@ Property / cites work: Q4499154 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4274311
@@ Property / cites work: Q4274311 / rank @@
+Normal rank
@@ Property / cites work @@
+An improved proof procedure1
@@ Property / cites work: An improved proof procedure1 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2724150
@@ Property / cites work: Q2724150 / rank @@
+Normal rank
@@ Property / cites work @@
+Toward Mechanical Mathematics
@@ Property / cites work: Toward Mechanical Mathematics / rank @@
+Normal rank