Re: [mizar] "Formalized Mathematics"

[Piotr Rudnicki <piotr@cs.ualberta.ca>]

I meant that paying attention to CiteSeer statistics for basic MML articles
is essentially meaningless.  If something is cited everywhere it is like cited
by default, i.e. not cited at all. 

PR


On Thu, Jul 17, 2008 at 05:56:17PM +0200, trybulec wrote:
> Piotr Rudnicki wrote:
> 
> >I think that the most frequently referenced Mizar articles should be
> >imported by deafault and then the Mizar presence at CiteSeer would become
> >somewhat more realistic.
> >
> > 
> >
> What do you mean by this?
> 
> It is not a critisism, just interested.
> 
> Andrzej

-- 
Piotr Rudnicki                                http://web.cs.ualberta.ca/~piotr