Information for "File:Rule-based Prover Proposal.pdf"

From Event-B
Jump to navigationJump to search

Basic information

Display titleFile:Rule-based Prover Proposal.pdf
Default sort keyRule-based Prover Proposal.pdf
Page length (in bytes)0
NamespaceFile
Page ID1188
Page content languageen-gb - British English
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page0
Hash valuef06f12861a6f5d5c1c0a5bd010517b7015ca5a76

Page protection

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

Edit history

Page creatorimported>Im06r
Date of page creation14:08, 3 July 2009
Latest editorMaintenance script (talk | contribs)
Date of latest edit20:49, 30 April 2020
Total number of edits3
Total number of distinct authors2
Recent number of edits (within past 90 days)0
Recent number of distinct authors0