Four decades of {\textsc{Mizar}}. Foreword (Q286794): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B15
@@ Property / Mathematics Subject Classification ID: 00B15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B35
@@ Property / Mathematics Subject Classification ID: 03B35 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+E75
@@ Property / Mathematics Subject Classification ID: 03E75 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+-06
@@ Property / Mathematics Subject Classification ID: 68-06 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+-06
@@ Property / Mathematics Subject Classification ID: 03-06 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6585253
@@ Property / zbMATH DE Number: 6585253 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formalization of mathematics
@@ Property / zbMATH Keywords: formalization of mathematics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+computer proof assistant
@@ Property / zbMATH Keywords: computer proof assistant / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+natural deduction
@@ Property / zbMATH Keywords: natural deduction / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Mizar
@@ Property / zbMATH Keywords: Mizar / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Mizar mathematical library
@@ Property / zbMATH Keywords: Mizar mathematical library / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59407702
@@ Property / Wikidata QID: Q59407702 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / 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 @@
+miz3
@@ Property / describes a project that uses: miz3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isar
@@ Property / describes a project that uses: Isar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OMDoc
@@ Property / describes a project that uses: OMDoc / 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/s10817-015-9345-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2184838578
@@ Property / OpenAlex ID: W2184838578 / rank @@
+Normal rank
@@ Property / cites work @@
+Licensing the Mizar Mathematical Library
@@ Property / cites work: Licensing the Mizar Mathematical Library / rank @@
+Normal rank
@@ Property / cites work @@
+A compendium of continuous lattices in MIZAR
@@ Property / cites work: A compendium of continuous lattices in MIZAR / rank @@
+Normal rank
@@ Property / cites work @@
+New Developments in Parsing Mizar
@@ Property / cites work: New Developments in Parsing Mizar / rank @@
+Normal rank
@@ Property / cites work @@
+A Declarative Language for the Coq Proof Assistant
+Normal rank
@@ Property / cites work @@
+Automated Discovery of Properties of Rough Sets
@@ Property / cites work: Automated Discovery of Properties of Rough Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075247
@@ Property / cites work: Q3075247 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Revisions as an Essential Tool to Maintain Mathematical Repositories
+Normal rank
@@ Property / cites work @@
+The Mizar Mathematical Library in OMDoc: translation and applications
+Normal rank
@@ Property / cites work @@
+On rewriting rules in Mizar
@@ Property / cites work: On rewriting rules in Mizar / rank @@
+Normal rank
@@ Property / cites work @@
+Flexary connectives in Mizar
@@ Property / cites work: Flexary connectives in Mizar / rank @@
+Normal rank
@@ Property / cites work @@
+Interfacing external CA systems for Gröbner bases computation in M<scp>izar</scp>proof checking
+Normal rank
@@ Property / cites work @@
+A Brief Overview of Mizar
@@ Property / cites work: A Brief Overview of Mizar / rank @@
+Normal rank
@@ Property / cites work @@
+Methods of lemma extraction in natural deduction proofs
+Normal rank
@@ Property / cites work @@
+Commutative algebra in the Mizar system
@@ Property / cites work: Commutative algebra in the Mizar system / rank @@
+Normal rank
@@ Property / cites work @@
+On equivalents of well-foundedness. An experiment in MIZAR
+Normal rank
@@ Property / cites work @@
+Q2767928
@@ Property / cites work: Q2767928 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413892
@@ Property / cites work: Q4413892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3685233
@@ Property / cites work: Q3685233 / rank @@
+Normal rank
@@ Property / cites work @@
+ATP and presentation service for Mizar formalizations
+Normal rank
@@ Property / cites work @@
+A comparison of Mizar and Isar
@@ Property / cites work: A comparison of Mizar and Isar / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790672
@@ Property / cites work: Q4790672 / rank @@
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / cites work @@
+A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:286794