Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization (Q286801): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-015-9331-7
@@ Property / DOI: 10.1007/s10817-015-9331-7 / 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 @@
+Information Retrieval and Rendering with MML Query
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Gazing: An approach to the problem of definition and lemma use
+Normal rank
@@ Property / cites work @@
+The Mizar Mathematical Library in OMDoc: translation and applications
+Normal rank
@@ Property / cites work @@
+New Developments in Parsing Mizar
@@ Property / cites work: New Developments in Parsing Mizar / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847392
@@ Property / cites work: Q2847392 / 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 @@
+Improving legibility of natural deduction proofs is not trivial
+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 @@
+Q4165427
@@ Property / cites work: Q4165427 / rank @@
+Normal rank
@@ Property / cites work @@
+On the rules of suppositions in formal logic
@@ Property / cites work: On the rules of suppositions in formal logic / rank @@
+Normal rank
@@ Property / cites work @@
+On rewriting rules in Mizar
@@ Property / cites work: On rewriting rules in Mizar / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-Enhanced Mizar Proof Checking
@@ Property / cites work: SAT-Enhanced Mizar Proof Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+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 @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Evaluation of Automated Theorem Proving on the Mizar Mathematical Library
+Normal rank
@@ Property / cites work @@
+Q3994754
@@ Property / cites work: Q3994754 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10817-015-9331-7
@@ Property / DOI: 10.1007/S10817-015-9331-7 / rank @@
+Normal rank