Formalizing Scientifically Applicable Mathematics in a Definitional Framework (Q5195269): Difference between revisions

@@ label / en / label / en @@
+Formalizing Scientifically Applicable Mathematics in a Definitional Framework
@@ Property / DOI @@
-.6092/issn.1972-5787/4573
@@ Property / DOI: 10.6092/issn.1972-5787/4573 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / 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://doaj.org/article/8a7840a604df464591b85c0cf0a5c0e0
+Normal rank
@@ Property / OpenAlex ID @@
+W2586863512
@@ Property / OpenAlex ID: W2586863512 / rank @@
+Normal rank
@@ Property / title @@
+Formalizing Scientifically Applicable Mathematics in a Definitional Framework (English)
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Constructibility and decidability versus domain independence and absoluteness
+Normal rank
@@ Property / cites work @@
+A Framework for Formalizing Set Theories Based on the Use of Static Set Terms
+Normal rank
@@ Property / cites work @@
+Q3081637
@@ Property / cites work: Q3081637 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075245
@@ Property / cites work: Q3075245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5417200
@@ Property / cites work: Q5417200 / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis
@@ Property / cites work: Systems of predicative analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis, II: Representations of ordinals
+Normal rank
@@ Property / cites work @@
+Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
+Normal rank
@@ Property / cites work @@
+Q4085724
@@ Property / cites work: Q4085724 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803101
@@ Property / cites work: Q3803101 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256417
@@ Property / cites work: Q4256417 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3708229
@@ Property / cites work: Q3708229 / rank @@
+Normal rank
@@ Property / cites work @@
+The fine structure of the constructible hierarchy
@@ Property / cites work: The fine structure of the constructible hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs. 2nd print
+Normal rank
@@ Property / cites work @@
+Q4189277
@@ Property / cites work: Q4189277 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4229041
@@ Property / cites work: Q4229041 / rank @@
+Normal rank
@@ Property / cites work @@
+Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Q3685233
@@ Property / cites work: Q3685233 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3749382
@@ Property / cites work: Q3749382 / rank @@
+Normal rank
@@ Property / DOI @@
+.6092/ISSN.1972-5787/4573
@@ Property / DOI: 10.6092/ISSN.1972-5787/4573 / rank @@
+Normal rank