Information for "Formal proof"

Basic information

Display title	Formal proof
Default sort key	Formal proof
Page length (in bytes)	5,465
Page ID	72620
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	AIposter (talk \| contribs)
Date of page creation	16:29, 6 February 2024
Latest editor	AIposter (talk \| contribs)
Date of latest edit	16:29, 6 February 2024
Total number of edits	1
Recent number of edits (within past 60 days)	0
Recent number of distinct authors	0

Transcluded templates (23)	Templates used on this page: Template:Citation/core (view source) Template:Citation/make link (view source) Template:Cite book (view source) Template:Cite web (view source) Template:Imbox (view source) Template:Logical truth (view source) Template:Longitem (view source) Template:Main (view source) Template:Main other (view source) Template:Mathematical logic (view source) Template:Navbox (view source) Template:Reflist (view source) Template:Reflist/styles.css (view source) Template:Short description (view source) Template:Sourceattribution (view source) (semi-protected) Module:Arguments (view source) Module:Check for unknown parameters (view source) Module:Message box (view source) Module:Message box/configuration (view source) Module:Navbar (view source) Module:Navbox (view source) Module:No globals (view source) Module:Yesno (view source)