Information for "Short theorem prover"

Jump to: navigation, search

Basic information

Display titleShort theorem prover
Default sort keyShort theorem prover
Page length (in bytes)3,460
Page ID2546
Page content languageEnglish (en)
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page1
Counted as a content pageYes
Number of subpages of this page0 (0 redirects; 0 non-redirects)

Page protection

EditAllow all users (infinite)
MoveAllow all users (infinite)

Edit history

Page creatorStefan (talk | contribs)
Date of page creation02:04, 22 December 2006
Latest editorNewacct (talk | contribs)
Date of latest edit08:23, 13 December 2009
Total number of edits7
Total number of distinct authors4
Recent number of edits (within past 90 days)0
Recent number of distinct authors0