Information for "Category talk:Automated reasoning"

Jump to: navigation, search

Basic information

Display titleCategory talk:Automated reasoning
Default sort keyAutomated reasoning
Page length (in bytes)33
Page ID13786
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)

Edit history

Page creator109.230.217.166 (talk)
Date of page creation20:06, 29 September 2011
Latest editor142.11.218.189 (talk)
Date of latest edit07:06, 15 October 2012
Total number of edits15
Total number of distinct authors14
Recent number of edits (within past 90 days)0
Recent number of distinct authors0