Information for "Disprover"

From Event-B
Jump to: navigation, search

Basic information

Display titleDisprover
Default sort keyDisprover
Page length (in bytes)1,046
Page ID817
Page content languageen - English
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page0

Page protection

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

Edit history

Page creatorJastram (talk | contribs)
Date of page creation16:06, 10 September 2009
Latest editorJens (talk | contribs)
Date of latest edit14:34, 2 May 2016
Total number of edits7
Total number of distinct authors3
Recent number of edits (within past 90 days)0
Recent number of distinct authors0