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

From Event-B
Jump to navigationJump to search

Basic information

Display titleUser:YGU/SMT Solvers Plug-in
Default sort keyYGU/SMT Solvers Plug-in
Page length (in bytes)14,897
Namespace ID2
NamespaceUser
Page ID517
Page content languageen-gb - British English
Page content modelwikitext
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)
View the protection log for this page.

Edit history

Page creatorimported>YGU
Date of page creation14:48, 3 April 2012
Latest editorimported>YGU
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
Retrieved from ‘https://wiki.event-b.org/index.php/User:YGU/SMT_Solvers_Plug-in’