mediawikis - id: 11580
№Name LanguageGood Total Edits Admins Users Active Users Files Stub Ratio Version License http id mt Last update
11344thSRI YICESEnglish 2 56 1923 1 538 0 0 0.0357 n/a
992
 11580 8 2025-07-06 19:48:54

SRI YICES

There are 12009 wikis in table 'mediawikis'. 'SRI YICES' is ranked 11344th by good pages, 10704th by total pages, 8437th by edits and 4689th 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 576 2025-07-06 19:48:54 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 576 538
0 1 2 3 4 5 6 ratio
56 8 2025-07-06 19:48:54 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