Information for "Software:Equational prover"

Basic information

Display title	Software:Equational prover
Default sort key	Equational prover
Page length (in bytes)	941
Namespace	Software
Page ID	1065459
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>Steve Marsio
Date of page creation	06:30, 9 November 2021
Latest editor	imported>Steve Marsio
Date of latest edit	06:30, 9 November 2021
Total number of edits	1
Recent number of edits (within past 60 days)	0
Recent number of distinct authors	0

Transcluded templates (7)	Templates used on this page: Template:Imbox (view source) Template:Sourceattribution (view source) (semi-protected) Module:Arguments (view source) Module:Message box (view source) Module:Message box/configuration (view source) Module:No globals (view source) Module:Yesno (view source)