Information for "Proof assistant/External Links"

Basic information

Display title	Proof assistant/External Links
Default sort key	Proof assistant/External Links
Page length (in bytes)	2,827
Page ID	174121
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	0
Counted as a content page	Yes
Number of subpages of this page	0 (0 redirects; 0 non-redirects)

Edit	Allow all users (infinite)
Move	Allow all users (infinite)

Page creator	imported>Boris Tsirelson
Date of page creation	03:16, 12 August 2010
Latest editor	imported>Meg Taylor
Date of latest edit	16:14, 3 November 2013
Total number of edits	44
Total number of distinct authors	2
Recent number of edits (within past 90 days)	0
Recent number of distinct authors	0

Magic word (1)	__NOTOC__
Hidden categories (2)	This page is a member of 2 hidden categories: Category:Computers tag Category:Mathematics tag
Transcluded templates (29)	Templates used on this page: Template:All Subpage Content (view source) Template:All Subpage Content In (view source) Template:All Subpages (view source) Template:All Subpages In (view source) Template:Button off2 (view source) Template:Button on2 (view source) Template:Click (view source) Template:Clickurl (view source) Template:Default3 (view source) Template:Default4 (view source) Template:Editor error catch (view source) Template:Every page (view source) Template:Every page below (view source) Template:External Links footer (view source) Template:External Links header (view source) Template:Move (view source) Template:Optional3 (view source) Template:Proof assistant/Metadata (view source) Template:Statusmessage (view source) Template:Subpage approved (view source) Template:Subpage approved IN (view source) Template:Subpage list (view source) Template:Subpage style (view source) Template:Subpages (view source) Template:Subpages not draft (view source) Template:Subpages not draft IN (view source) Template:To Approve Info (view source) Template:To Approve Inner (view source) Template:X0 (view source)