Information for "Proof Simplification"

From Event-B
Jump to navigationJump to search

Basic information

Display titleProof Simplification
Default sort keyProof Simplification
Page length (in bytes)2,996
Page ID271
Page content languageen-gb - British English
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page0
Counted as a content pageYes

Page protection

EditAllow all users (infinite)
MoveAllow all users (infinite)
View the protection log for this page.

Edit history

Page creatorimported>Nicolas
Date of page creation17:38, 4 June 2009
Latest editorimported>Mathieu
Date of latest edit12:58, 12 August 2009
Total number of edits6
Total number of distinct authors3
Recent number of edits (within past 90 days)0
Recent number of distinct authors0