Information for "Talk:Modus Ponens generalized"

From Event-B
Jump to navigationJump to search

Basic information

Display titleTalk:Modus Ponens generalized
Default sort keyModus Ponens generalized
Page length (in bytes)352
Namespace ID1
NamespaceTalk
Page ID448
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>Mathieu
Date of page creation08:31, 5 May 2011
Latest editorimported>Mathieu
Date of latest edit08:31, 5 May 2011
Total number of edits1
Total number of distinct authors1
Recent number of edits (within past 90 days)0
Recent number of distinct authors0