Information for "Submissions:2015/The socially driven logical prover"

Jump to navigation Jump to search

Basic information

Display titleSubmissions:2015/The socially driven logical prover
Default sort key2015/The socially driven logical prover
Page length (in bytes)3,279
NamespaceSubmissions
Page ID560
Page content languageen - English
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page0
Number of subpages of this page0 (0 redirects; 0 non-redirects)

Page protection

EditAllow all users (infinite)
MoveAllow all users (infinite)
View the protection log for this page.

Edit history

Page creatorYevgenyyakushev (talk | contribs)
Date of page creation02:30, 1 September 2015
Latest editorBluerasberry (talk | contribs)
Date of latest edit19:51, 8 September 2015
Total number of edits3
Recent number of edits (within past 90 days)0
Recent number of distinct authors0