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	4
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>Feydun
Date of latest edit	21:09, 26 March 2026
Total number of edits	4
Total number of distinct authors	4
Recent number of edits (within past 90 days)	0
Recent number of distinct authors	0

Transcluded templates (18)	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) Module:Footnotes (view source)