Re: [mizar] Where to find "MML Query" documentation and source code?

[Boris Schminke <schminkeba@gmail.com>]

Hello,
there is an entry in Mizar TWiki collaboration tool
http://wiki.mizar.org/twiki/pub/Mizar/MmlQuerySyntax/mmlquery-grammar.html.
At the project's bibliography page there is a useful link
http://mizar.org/project/bibliography.html
Actually there are two similarly named publications, Information
Retrieval in MML (by Bancerek and Rudnicki, 2003) and Information
Retrieval and Rendering with MML Query (by Bancerek, 2006). The latter
is available, for example, here
http://www.springerlink.com/content/3p26572782981210/ and this is the
best publication on MML Query I've found.
And you're right, MML Query rulez:)

On 31 August 2011 11:20, psvr <pmq2001@gmail.com> wrote:
> Hello Everybody,
>
> I find MML Query quite essential to the information retrieval of the Mizar Library.
> However I really can't find more information about this tool than its query page.
>
> I wonder whether MML Query is open source so that I can check the source code and know how to use
> and
> whether MML Query has a documentation somewhere that eludes me.
>
> Thank you very much!
>
> P.S.V.R
> 8.31 2011
Yours,
Boris.