Information for "Maude Tools:Order-sorted Term Patterns"

Jump to: navigation, search

Basic information

Display titleMaude Tools:Order-sorted Term Patterns
Default sort keyMaude Tools:Order-sorted Term Patterns
Page length (in bytes)5,993
Page ID38
Page content languageEnglish (en)
Page content modelwikitext
Indexing by robotsAllowed
Number of views32,518
Number of redirects to this page0
Counted as a content pageYes

Page protection

EditAllow all users
MoveAllow all users

Edit history

Page creatorMaudesystem (Talk | contribs)
Date of page creation22:23, 30 April 2015
Latest editorMaudesystem (Talk | contribs)
Date of latest edit18:49, 22 October 2015
Total number of edits17
Total number of distinct authors1
Recent number of edits (within past 91 days)0
Recent number of distinct authors0