Information for "Boolean satisfiability problem"

Basic information

Display title	Boolean satisfiability problem
Default sort key	Boolean Satisfiability Problem
Page length (in bytes)	48,013
Namespace ID	0
Page ID	2763
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	10
Counted as a content page	Yes

Edit	Allow all users (infinite)
Move	Allow all users (infinite)

Page creator	imported>Ftiercel
Date of page creation	16:31, 30 May 2025
Latest editor	imported>Elestrophe
Date of latest edit	02:49, 5 November 2025
Total number of edits	4
Total number of distinct authors	4
Recent number of edits (within past 90 days)	1
Recent number of distinct authors	1

Transcluded templates (32)	Pages transcluded onto the current version of this page (help): Template:Additional citation needed (view source) Template:Block indent (view source) Template:Citation (view source) Template:Citation needed (view source) Template:Cite arXiv (view source) Template:Cite book (view source) Template:Cite conference (view source) Template:Cite journal (view source) Template:Cite report (view source) Template:Cite web (view source) Template:Commons category (view source) Template:Efn (view source) Template:In lang (view source) Template:Logic (view source) Template:Main (view source) Template:Math (view source) Template:Mvar (view source) Template:No (view source) Template:Notelist (view source) Template:Redirect (view source) Template:Refbegin (view source) Template:Refend (view source) Template:Reflist (view source) Template:Sfnp (view source) Template:Short description (view source) Template:Sister project (view source) Template:Usurped (view source) Template:Yes (view source) Module:Citation/CS1 (view source) Module:Labelled list hatnote (view source) Module:Redirect hatnote (view source) Module:Unsubst (view source)