Information for "Boolean satisfiability problem"

Basic information

Display title	Boolean satisfiability problem
Default sort key	Boolean Satisfiability Problem
Page length (in bytes)	49,630
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	17
Counted as a content page	Yes

Edit	Allow all users (no expiry set)
Move	Allow all users (no expiry set)

Page creator	imported>Ftiercel
Date of page creation	16:31, 30 May 2025
Latest editor	imported>AnomieBOT
Date of latest edit	19:16, 22 June 2026
Total number of edits	7
Total number of distinct authors	7
Recent number of edits (within past 90 days)	1
Recent number of distinct authors	1

Transcluded templates (35)	Pages transcluded onto the current version of this page (help): Template:Block indent (view source) Template:Category handler (view source) Template:Citation (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:Efn (view source) Template:Fix (view source) Template:In lang (view source) Template:Logic (view source) Template:Main (view source) Template:Math (view source) Template:More citations inline (view source) Template:Mvar (view source) Template:Navbox (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:Usurped (view source) Template:Yes (view source) Module:Category handler (view source) Module:Check for unknown parameters (view source) Module:Citation/CS1 (view source) Module:Labelled list hatnote (view source) Module:Navbox (view source) Module:Redirect hatnote (view source) Module:String (view source)