Information for "Automated reasoning"

Basic information

Display title	Automated reasoning
Default sort key	Automated reasoning
Page length (in bytes)	13,063
Namespace ID	0
Page ID	29895
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	0
Counted as a content page	Yes
HandWiki item ID	None

Edit	Allow all users (infinite)
Move	Allow all users (infinite)

Page creator	imported>StanislovAI
Date of page creation	21:01, 6 February 2024
Latest editor	imported>StanislovAI
Date of latest edit	21:01, 6 February 2024
Total number of edits	1
Recent number of edits (within past 90 days)	0
Recent number of distinct authors	0

Hidden categories (2)	This page is a member of 2 hidden categories: Category:All articles with unsourced statements Category:Articles with invalid date parameter in template
Transcluded templates (33)	Templates used on this page: Template:Category handler (view source) Template:Citation (view source) Template:Citation/core (view source) Template:Citation/identifier (view source) Template:Citation/make link (view source) Template:Citation needed (view source) Template:Cite book (view source) Template:Delink (view source) Template:Fix (view source) Template:Fix/category (view source) Template:Full citation needed (view source) Template:Hide in print (view source) Template:Imbox (view source) Template:Main other (view source) Template:Only in print (view source) Template:Short description (view source) Template:Sourceattribution (view source) Module:Arguments (view source) Module:Category handler (view source) Module:Category handler/blacklist (view source) Module:Category handler/config (view source) Module:Category handler/data (view source) Module:Category handler/shared (view source) Module:Check for unknown parameters (view source) Module:Delink (view source) Module:Message box (view source) Module:Message box/configuration (view source) Module:Namespace detect/config (view source) Module:Namespace detect/data (view source) Module:No globals (view source) Module:String (view source) Module:Unsubst (view source) Module:Yesno (view source)

Description	Content
Article description: (`description`) This attribute controls the content of the `description` and `og:description` elements.	In computer science, in particular in knowledge representation and reasoning and metalogic, the area of automated reasoning is dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer programs that allow computers to reason completely, or nearly...

Information from Extension:WikiSEO