Eliciting implicit assumptions of Mizar proofs by property omission (Q1945901): Difference between revisions

@@ Property / describes a project that uses @@
+Tipi
@@ Property / describes a project that uses: Tipi / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+mizar-items
@@ Property / describes a project that uses: mizar-items / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LPL software
@@ Property / describes a project that uses: LPL software / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MML
@@ Property / describes a project that uses: MML / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3122106493
@@ Property / OpenAlex ID: W3122106493 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0633
@@ Property / arXiv ID: 1109.0633 / rank @@
+Normal rank
@@ Property / cites work @@
+Large Formal Wikis: Issues and Solutions
@@ Property / cites work: Large Formal Wikis: Issues and Solutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3096993
@@ Property / cites work: Q3096993 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast LCF-Style Proof Reconstruction for Z3
@@ Property / cites work: Fast LCF-Style Proof Reconstruction for Z3 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075247
@@ Property / cites work: Q3075247 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099559
@@ Property / cites work: Q4099559 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Obvious inferences
@@ Property / cites work: Obvious inferences / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+MPTP 0.2: Design, implementation, and initial experiments
+Normal rank
@@ Property / cites work @@
+ATP-based cross-verification of Mizar proofs: method, systems, and first experiments
+Normal rank