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 languageen - English
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