Proof normalization modulo (Q4650285): Difference between revisions

@@ Property / DOI @@
-.2178/jsl/1067620188
@@ Property / DOI: 10.2178/jsl/1067620188 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1977882652
@@ Property / OpenAlex ID: W1977882652 / rank @@
+Normal rank
@@ Property / cites work @@
+A normalization theorem for set theory
@@ Property / cites work: A normalization theorem for set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+A formulation of the simple theory of types
@@ Property / cites work: A formulation of the simple theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4365102
@@ Property / cites work: Q4365102 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving modulo
@@ Property / cites work: Theorem proving modulo / rank @@
+Normal rank
@@ Property / cites work @@
+On the sum Σ n &amp;nbsp;P h i σ h j
@@ Property / cites work: On the sum Σ n  P h i σ h j / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819063
@@ Property / cites work: Q3819063 / rank @@
+Normal rank
@@ Property / cites work @@
+Banishing the rule of substitution for functional variables
+Normal rank
@@ Property / cites work @@
+Q3883561
@@ Property / cites work: Q3883561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3477935
@@ Property / cites work: Q3477935 / rank @@
+Normal rank
@@ Property / cites work @@
+A Brief Overview of PVS
@@ Property / cites work: A Brief Overview of PVS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281483
@@ Property / cites work: Q4281483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5678447
@@ Property / cites work: Q5678447 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction by theory resolution
@@ Property / cites work: Automated deduction by theory resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank
@@ Property / DOI @@
+.2178/JSL/1067620188
@@ Property / DOI: 10.2178/JSL/1067620188 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4650285