Information for "Church–Rosser theorem"

Jump to: navigation, search

Basic information

Display titleChurch–Rosser theorem
Default sort keyChurch–Rosser theorem
Page length (in bytes)2,182
Page ID670
Page content languageEnglish (en)
Page content modelwikitext
Indexing by robotsAllowed
Number of views429
Number of redirects to this page0
Counted as a content pageYes

Page protection

EditAllow all users
MoveAllow all users

Edit history

Page creatorKarl Jones (Talk | contribs)
Date of page creation17:20, 20 August 2015
Latest editorKarl Jones (Talk | contribs)
Date of latest edit08:50, 21 April 2016
Total number of edits6
Total number of distinct authors2
Recent number of edits (within past 91 days)0
Recent number of distinct authors0