SRI Formal Methods
From WikiApiary, monitoring SRI Formal Methods and over 25,500 other wikis
Data from SRI Formal Methods can no longer be collected. It is marked defunct.
This may be due to one (or more) of the following reasons:
Overview
Name:
SRI Formal Methods
Description:
This wiki site has no description, please add a description.
Founded on:
2006/08/14 09:31:05 PM
7,242 days old; the 2,167 wiki site by date founded; the 978 wiki site added to WikiApiary.
7,242 days old; the 2,167 wiki site by date founded; the 978 wiki site added to WikiApiary.
Tags (topics):
This wiki site has no subject or topic tags, please add tags.
Farm:
This wiki site is not hosted by a known wiki farm.
If you are aware of a farm it is hosted by, please add its farm.
If you are aware of a farm it is hosted by, please add its farm.
Archive:
WikiTeam archived 43,969,575 bytes for wiki-fm_wikicslsricom to the Internet Archive (at Archive.org) on 2012/08/07 12:16:18 AM.
Network
| HTTP server | |
|---|---|
| IP address | 128.18.92.74 |
| Reverse lookup | www.vscomp.org, vscomp.org |
| Netblock organization | Host:SRI International (SRIINT) |
The "_geo" type of this property is invalid
General
| MediaWiki version: | Generator:MediaWiki 1.17.0 (1.17.0) |
|---|---|
| Time zone: | UTC |
| Time offset: | 0 (minutes) |
| Sitename: | SRI Formal Methods |
| Rights: | GNU Free Documentation License |
| PHP server API: | apache2handler |
| PHP version: | 5.3.10-1ubuntu3.26 (5.3) |
| Language: | English (English) |
| Database type: | mysql |
| Database version: | 5.5.54-0ubuntu0.12.04.1 (5.5) |
| Wiki ID: | fm |
| Max upload size: | |
| Server: | http://fm-wiki.csl.sri.com |
| Article path: | /index.php/$1 |
| Interwiki URL: | http://fm-wiki.csl.sri.com/index.php/$1 |
| Settings: | Write API True |
Usage
General statistics
| Users | |
|---|---|
| Total registered users: | 340 |
| Current active users: | 0 |
| Administrators: | 1 |
| Contents | |
| Article pages: | 4 |
| Images: | 9 |
| Total pages (AllPages): | 31 |
| Index: | 1 |
| Activity | |
| Total edits: | 1723 |
| Jobs: | 0 |
| Total page views: | 2692660 |
Last updated: 2017-08-17 13:44:35
Extensions
SRI Formal Methods uses the following 4 extensions (by version number, date and time, Git hash):
- Confirm user accounts (unknown)
- ConfirmEdit (unknown)
- Renameuser (unknown)
- User Merge and Delete (1.6.1)
Notifications
SRI Formal Methods has 0 notification(s). So far no notification on WikiApiary has been requested for this wiki website.
Settings
Collection URLs
Identifiers
ID
4124
Bot segment
44
Day segment
1
Hour segment
20
Operators
Audited:
This wiki site was last audited on 2023/05/03 03:17:10 AM
Flags:
Active:
Yes
+defunct — this wiki website has been marked as defunct.
Collecting
+general +extensions
+statistics (via API)
Check every:
240 minutes
Edit index
not available
Pages change
0%
Users change
0
Admin ratio
0