Pages that link to "Item:Q5756776"
From MaRDI portal
The following pages link to Information Retrieval and Rendering with MML Query (Q5756776):
Displayed 9 items.
- Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization (Q286801) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- The Mizar Mathematical Library in OMDoc: translation and applications (Q1945907) (← links)
- A survey on retrieval of mathematical knowledge (Q2364882) (← links)
- Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)
- Semantics of MML Query (Q2852150) (← links)
- Semantics of MML Query - Ordering (Q2852181) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- Large Formal Wikis: Issues and Solutions (Q5200113) (← links)