Information for "Conjunctive normal form"

Basic information

Display title	Conjunctive normal form
Default sort key	Conjunctive normal form
Page length (in bytes)	30,451
Namespace ID	0
Page ID	48523
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	3
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	17:59, 10 May 2025
Latest editor	imported>Disadvantageous
Date of latest edit	14:21, 13 December 2025
Total number of edits	3
Total number of distinct authors	3
Recent number of edits (within past 90 days)	0
Recent number of distinct authors	0

Transcluded templates (17)	Pages transcluded onto the current version of this page (help): Template:Cite book (view source) Template:Cite conference (view source) Template:Cite web (view source) Template:Distinguish (view source) Template:Mvar (view source) Template:Normal forms in logic (view source) Template:Refbegin (view source) Template:Refend (view source) Template:Reflist (view source) Template:Refn (view source) Template:Sfn (view source) Template:Short description (view source) Template:Slink (view source) Template:Springer (view source) Module:Check for unknown parameters (view source) Module:Citation/CS1 (view source) Module:Distinguish (view source)