Java libraries to use with Mizar System and Mizar Mathematical Library.
Mizar, Mizar Mathematical Library and Mizar System are the sole and exclusive property of Association of Mizar Users.
SHOW FULL COLUMNS FROM `jrk_downrecords` [ RunTime:0.001935s ]
SELECT `a`.`aid`,`a`.`title`,`a`.`create_time`,`m`.`username` FROM `jrk_downrecords` `a` INNER JOIN `jrk_member` `m` ON `a`.`uid`=`m`.`id` WHERE `a`.`status` = 1 GROUP BY `a`.`aid` ORDER BY `a`.`create_time` DESC LIMIT 10 [ RunTime:0.089547s ]
SHOW FULL COLUMNS FROM `jrk_tagrecords` [ RunTime:0.002385s ]
SELECT * FROM `jrk_tagrecords` WHERE `status` = 1 ORDER BY `num` DESC LIMIT 20 [ RunTime:0.002021s ]
SHOW FULL COLUMNS FROM `jrk_member` [ RunTime:0.002314s ]
SELECT `id`,`username`,`userhead`,`usertime` FROM `jrk_member` WHERE `status` = 1 ORDER BY `usertime` DESC LIMIT 10 [ RunTime:0.003808s ]
SHOW FULL COLUMNS FROM `jrk_searchrecords` [ RunTime:0.002115s ]
SELECT * FROM `jrk_searchrecords` WHERE `status` = 1 ORDER BY `num` DESC LIMIT 5 [ RunTime:0.003288s ]
SELECT aid,title,count(aid) as c FROM `jrk_downrecords` GROUP BY `aid` ORDER BY `c` DESC LIMIT 10 [ RunTime:0.014706s ]
SHOW FULL COLUMNS FROM `jrk_articles` [ RunTime:0.002260s ]
UPDATE `jrk_articles` SET `hits` = 1 WHERE `id` = 49040 [ RunTime:0.001155s ]
