A Query Language for Formal Mathematical Libraries (Q2907320): Difference between revisions

@@ Property / describes a project that uses @@
+MathWebSearch
@@ Property / describes a project that uses: MathWebSearch / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MMT
@@ Property / describes a project that uses: MMT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QMT
@@ Property / describes a project that uses: QMT / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1581739545
@@ Property / OpenAlex ID: W1581739545 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4685
@@ Property / arXiv ID: 1204.4685 / rank @@
+Normal rank
@@ Property / cites work @@
+Querying Proofs
@@ Property / cites work: Querying Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+A math query language with an expanded set of wildcards
+Normal rank
@@ Property / cites work @@
+Q4413887
@@ Property / cites work: Q4413887 / rank @@
+Normal rank
@@ Property / cites work @@
+Project Abstract: Logic Atlas and Integrator (LATIN)
+Normal rank
@@ Property / cites work @@
+Q4413879
@@ Property / cites work: Q4413879 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+Towards MKM in the Large: Modular Representation and Scalable Software Architecture
+Normal rank
@@ Property / cites work @@
+A Search Engine for Mathematical Formulae
@@ Property / cites work: A Search Engine for Mathematical Formulae / rank @@
+Normal rank
@@ Property / cites work @@
+Methods to Access and Retrieve Mathematical Content in ActiveMath
+Normal rank
@@ Property / cites work @@
+Q3398150
@@ Property / cites work: Q3398150 / rank @@
+Normal rank
@@ Property / cites work @@
+Technical aspects of the digital library of mathematical functions
+Normal rank
@@ Property / cites work @@
+The MMT API: A Generic MKM System
@@ Property / cites work: The MMT API: A Generic MKM System / rank @@
+Normal rank
@@ Property / cites work @@
+A scalable module system
@@ Property / cites work: A scalable module system / rank @@
+Normal rank
@@ Property / cites work @@
+Indexing and Searching Mathematics in Digital Libraries
+Normal rank
@@ Property / cites work @@
+The TPTP problem library. CNF release v1. 2. 1
@@ Property / cites work: The TPTP problem library. CNF release v1. 2. 1 / rank @@
+Normal rank