Information Retrieval and Rendering with MML Query

DOI10.1007/11812289_21zbMath1188.68125OpenAlexW25797694MaRDI QIDQ5756776

Grzegorz Bancerek

Publication date: 5 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11812289_21

Mathematics Subject Classification ID

Knowledge representation (68T30) Information storage and retrieval of data (68P20)

Related Items

A survey on retrieval of mathematical knowledge ⋮ Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization ⋮ Mizar: State-of-the-art and Beyond ⋮ Crystal: Integrating structured queries into a tactic language ⋮ The role of the Mizar mathematical library for interactive proof development in Mizar ⋮ The Mizar Mathematical Library in OMDoc: translation and applications ⋮ Large Formal Wikis: Issues and Solutions ⋮ Semantics of MML Query ⋮ Semantics of MML Query - Ordering

Uses Software

• MizarMode
• MoMM
• Mizar
• MML