Information for "Conjunctive normal form"

Basic information

Display title	Conjunctive normal form
Default sort key	Conjunctive normal form
Page length (in bytes)	30,447
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 (infinite)
Move	Allow all users (infinite)

Page creator	imported>Marc Schroeder
Date of page creation	17:59, 10 May 2025
Latest editor	imported>The elusive Creature
Date of latest edit	22:37, 8 October 2025
Total number of edits	2
Total number of distinct authors	2
Recent number of edits (within past 90 days)	1
Recent number of distinct authors	1

Transcluded templates (16)	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:Citation/CS1 (view source) Module:Distinguish (view source)