mediawikis - id: 11580
Name LanguageGood Total Edits Admins Users Active Users Files Stub Ratio Version License http id mt Last update
11341stSRI YICESEnglish 2 56 1923 1 538 0 0 0.0357 n/a
992
11580 8 2025-04-02 19:46:40

SRI YICES

There are 12009 wikis in table 'mediawikis'. 'SRI YICES' is ranked 11341st by good pages, 10702nd by total pages, 8436th by edits and 4687th by users.

main statistics

edits users total good admins activeusers images
1923 538 56 2 1 0 0

(manual) config

statsurl name lang id method loclang version versionurl
http://yices-wiki.csl.sri.com/api.php SRI YICES English 11580 8 n/a n/a n/a

extended info from API

si_articlepath si_base si_case si_dbtype si_dbversion si_favicon si_generator si_git-branch
n/a
si_git-hash si_lang si_linkprefix si_linktrail si_logo si_mainpage si_phpsapi si_phpversion
n/a
si_rights si_script si_scriptpath si_server si_servername si_sitename si_timezone si_wikiid

status & timestamps

http oldness ts added_ts added_sc
992 676 2025-04-02 19:46:40 0000-00-00 00:00:00 n/a

misc columns

0 1 2 3 4 5 6 7
http://yices-wiki.csl.sri.com/api.php SRI YICES English 11580 1923 992 676 538
0 1 2 3 4 5 6 ratio
56 8 2025-04-02 19:46:40 2 1 0000-00-00 00:00:00 0.0357 0.0357
0 1 2 3 4 5 6 7
0 0
0 1 2 3 4 5 6 7
0 1 2 3 4 5 6 7
0 1 2 3 4 5 6 7
0 1 2 3 4 5 feedurl mainurl
old_statsurl rc_date rc_title rc_user test_flag views