Information for "Linear logic"

Basic information

Display title	Linear logic
Default sort key	Linear Logic
Page length (in bytes)	34,844
Namespace ID	0
Page ID	351785
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 (no expiry set)
Move	Allow all users (no expiry set)

Page creator	imported>Marc Schroeder
Date of page creation	10:22, 20 May 2025
Latest editor	imported>Beland
Date of latest edit	07:40, 9 December 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 (38)	Pages transcluded onto the current version of this page (help): Template:Anchor (view source) Template:Broken ref (view source) Template:Citation (view source) Template:Citation needed (view source) Template:Cite SEP (view source) Template:Cite book (view source) Template:Cite conference (view source) Template:Cite encyclopaedia (view source) Template:Cite encyclopedia (view source) Template:Cite journal (view source) Template:Cite tech report (view source) Template:Cite web (view source) Template:Commons category-inline (view source) Template:Em (view source) Template:Full citation needed (view source) Template:Main (view source) Template:Math (view source) Template:Mvar (view source) Template:NLab (view source) Template:Non-classical logic (view source) Template:Portal (view source) Template:Redirect (view source) Template:Reflist (view source) Template:Refn (view source) Template:Sfn (view source) Template:Short description (view source) Template:Sister-inline (view source) Template:Tee (view source) Template:Use dmy dates (view source) Template:Webarchive (view source) Module:Anchor (view source) Module:Check for unknown parameters (view source) Module:Citation/CS1 (view source) Module:Labelled list hatnote (view source) Module:Namespace detect (view source) Module:Portal (view source) Module:Redirect hatnote (view source) Module:Unsubst (view source)