Presentation and manipulation of Mizar properties in an Isabelle object logic (Q2364678): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2734056180
@@ Property / OpenAlex ID: W2734056180 / 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 @@
+On the Structure of Mizar Types
@@ Property / cites work: On the Structure of Mizar Types / rank @@
+Normal rank
@@ Property / cites work @@
+Mizar: State-of-the-art and Beyond
@@ Property / cites work: Mizar: State-of-the-art and Beyond / rank @@
+Normal rank
@@ Property / cites work @@
+Four decades of {\textsc{Mizar}}. Foreword
@@ Property / cites work: Four decades of {\textsc{Mizar}}. Foreword / rank @@
+Normal rank
@@ Property / cites work @@
+MizAR 40 for Mizar 40
@@ Property / cites work: MizAR 40 for Mizar 40 / 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 @@
+Enhancement of Mizar Texts with Transitivity Property of Predicates
+Normal rank
@@ Property / cites work @@
+Type Inference for ZFH
@@ Property / cites work: Type Inference for ZFH / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory for verification. I: From foundations to functions
+Normal rank
@@ Property / cites work @@
+Improving legibility of formal proofs based on the close reference principle is NP-hard
+Normal rank
@@ Property / cites work @@
+A logical framework combining model and proof theory
+Normal rank
@@ Property / cites work @@
+The Twelf Proof Assistant
@@ Property / cites work: The Twelf Proof Assistant / rank @@
+Normal rank
@@ Property / cites work @@
+ATP-based cross-verification of Mizar proofs: method, systems, and first experiments
+Normal rank
@@ Property / cites work @@
+The Isabelle Framework
@@ Property / cites work: The Isabelle Framework / rank @@
+Normal rank
@@ Property / cites work @@
+The seventeen provers of the world. Foreword by Dana S. Scott..
+Normal rank