Help:Creating a Page

From ProofWiki
Jump to navigation Jump to search


In contrast to other wikis, the pages at $\mathsf{Pr} \infty \mathsf{fWiki}$ deviate from the encyclopaedic style in that they are shorter and present a limited amount of information.

Thus, naturally, the number of pages at $\mathsf{Pr} \infty \mathsf{fWiki}$ is very high, and creating a new page is a very frequent task.

Before creating a page

Before creating a page, make sure that the anticipated content is not already up somewhere else on $\mathsf{Pr} \infty \mathsf{fWiki}$.

In case of a red link, the page in question may simply have a (slightly) different name.

In that case, it can be a good idea to set up an Also known as section.

The link may also be wrongly spelled or capitalized.

Choosing a name

See Help:Page Naming for instructions for how to choose a good name.

Be sure to place definitions in the definition namespace, by starting the title with Definition:.

If a page with the intended name already exists, but is about something else, see Help:Name Conflict for how to resolve the problem.

Creating a Page

After searching, you may conclude that the page you're looking for does not exist yet.

There are several ways to create it, as follows:

By Searching

Search for the page name which you would like to create.

As you have found out by now, the page has not already been created.

You will see something that looks like this:

Create the page "Proof name" on this wiki!

Clicking on Proof name will open the page editing window, and you can start writing.

By following a red link

All you have to do is click the red link and start writing.

By entering a direct URL

If you know for sure that the proof is not on the site, then simply type that name into the URL.

For example, if you wanted to prove the Riemann Hypothesis, you would type: Hypothesis

If this page does not exist then, you will get a single line saying:

There is currently no text in this page. You can search for this page title in other pages, search the related logs, or create this page.

Clicking create this page will open the editing page where you can edit the page.

Writing the new page

When creating a new page, be sure to give it the correct page structure (that is, to use the right sections in the right order) and to apply the house style.

Also see