Information for "Formal methods"

Basic information

Display title	Formal methods
Default sort key	Formal Methods
Page length (in bytes)	33,072
Namespace ID	0
Page ID	117269
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	2
Counted as a content page	Yes

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

Page creator	imported>GreenC bot
Date of page creation	08:28, 27 May 2025
Latest editor	imported>OAbot
Date of latest edit	21:55, 19 June 2025
Total number of edits	2
Total number of distinct authors	2
Recent number of edits (within past 90 days)	0
Recent number of distinct authors	0

Transcluded templates (25)	Pages transcluded onto the current version of this page (help): Template:Catalog lookup link (view source) Template:Cbignore (view source) Template:Citation needed (view source) Template:Cite book (view source) Template:Cite conference (view source) Template:Cite journal (view source) Template:Cite web (view source) Template:Computer science (view source) Template:Dead link (view source) Template:Expand section (view source) Template:ISBN (view source) Template:ISSN (view source) Template:Main (view source) Template:Refbegin (view source) Template:Refend (view source) Template:Reflist (view source) Template:Short description (view source) Template:Software engineering (view source) Template:Trim (view source) Template:Webarchive (view source) Template:Yesno-no (view source) Module:Check isxn (view source) Module:Citation/CS1 (view source) Module:Labelled list hatnote (view source) Module:Unsubst (view source)