For example Mizar has the laughable style of   
   collecting knowledge in the form of "articles"   
      
   ( by the number of 1150 ). I guess these articles   
   are much longer than a wikipedia "article".   
      
   https://en.wikipedia.org/wiki/Mizar_system#Breadth   
      
   So much to Mathematical Knowledge Management (MKM).   
      
   Am Sonntag, 29. Oktober 2017 02:24:21 UTC+2 schrieb burs...@gmail.com:   
   > But all the above will be dust in the wind, if   
   > not somebody pulls it in the style of Wolfram Alpha.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)