Re: Where to find "MML Query" documentation and source code?
"P.S.V.R" <[email protected]>
| Newsgroups | gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <CANUgXR-2eJ2_SB9ad2UgUwWqJAt-rXJcUUDkKj5eqmJ==Aafaw@mail.gmail.com> |
Thank very much Boris On Thursday, September 1, 2011, Boris Schminke <[email protected]> wrote: > 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 <[email protected]> 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. > -- https://github.com/pmq20