Information for "User:YGU/SMT Solvers Plug-in"

From Event-B
Jump to: navigation, search

Basic information

Display titleUser:YGU/SMT Solvers Plug-in
Default sort keyYGU/SMT Solvers Plug-in
Page length (in bytes)14,897
Page ID1856
Page content languageen - English
Page content modelwikitext
User ID100
Indexing by robotsAllowed
Number of redirects to this page0
Number of subpages of this page0 (0 redirects; 0 non-redirects)

Page protection

EditAllow all users (infinite)
MoveAllow all users (infinite)

Edit history

Page creatorYGU (talk | contribs)
Date of page creation14:48, 3 April 2012
Latest editorYGU (talk | contribs)
Date of latest edit15:13, 4 April 2012
Total number of edits23
Total number of distinct authors1
Recent number of edits (within past 90 days)0
Recent number of distinct authors0