Information for "Flyspeck in a semantic wiki collaborating on a large scale formalization of the kepler conjecture"

Jump to: navigation, search

Basic information

Display titleFlyspeck in a semantic wiki collaborating on a large scale formalization of the kepler conjecture
Default sort keyFlyspeck in a semantic wiki collaborating on a large scale formalization of the kepler conjecture
Page length (in bytes)7,664
Page ID17889
Page content languageEnglish (en)
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page0
Counted as a content pageYes
Number of subpages of this page0 (0 redirects; 0 non-redirects)

Page protection

EditAllow all users
MoveAllow all users

Edit history

Page creatorNemo bis (Talk | contribs)
Date of page creation19:33, November 7, 2014
Latest editorNemo bis (Talk | contribs)
Date of latest edit19:33, November 7, 2014
Total number of edits1
Total number of distinct authors1
Recent number of edits (within past 90 days)0
Recent number of distinct authors0

Page properties

Magic word (1)
  • __NOTOC__
Hidden categories (7)

This page is a member of 7 hidden categories:

Transcluded templates (12)

Templates used on this page: