Information for "Boolean satisfiability problem"

Basic information

Display title	Boolean satisfiability problem
Default sort key	Boolean Satisfiability Problem
Page length (in bytes)	52,621
Page ID	4715
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of page watchers	246
Number of page watchers who visited recent edits	26
Number of redirects to this page	34
Counted as a content page	Yes
Page views in the past 30 days	15,843
Wikidata item ID	Q875276
Local description	Problem of determining if a Boolean formula could be made true
Central description	problem of determining if a Boolean formula could be made true

Page protection

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

View the protection log for this page.

Edit history

Page creator	151.99.218.xxx (talk)
Date of page creation	09:36, 3 December 2001
Latest editor	Quantling (talk \| contribs)
Date of latest edit	22:40, 25 May 2022
Total number of edits	945
Recent number of edits (within past 30 days)	0
Recent number of distinct authors	0

Page properties

Hidden categories (8)	This page is a member of 8 hidden categories (help): Category:All articles needing additional references Category:All articles with unsourced statements Category:Articles needing additional references from May 2020 Category:Articles with Russian-language sources (ru) Category:Articles with short description Category:Articles with unsourced statements from May 2020 Category:Commons category link from Wikidata Category:Short description matches Wikidata
Transcluded templates (97)	Pages transcluded onto the current version of this page (help): 3SAT (edit) Boolean satisfiability problem (edit) Template:Additional citation needed (view source) (semi-protected) Template:Additional citations needed (edit) Template:Category handler (view source) (protected) Template:Citation (view source) (protected) Template:Citation needed (view source) (protected) Template:Cite book (view source) (protected) Template:Cite conference (view source) (protected) Template:Cite journal (view source) (protected) Template:Cite web (view source) (protected) Template:Color (view source) (template editor protected) Template:Commons category (view source) (template editor protected) Template:Delink (view source) (template editor protected) Template:Fix (view source) (protected) Template:Fix/category (view source) (template editor protected) Template:Font color (view source) (template editor protected) Template:Fontcolor (view source) (template editor protected) Template:If then show (view source) (template editor protected) Template:In lang (view source) (template editor protected) Template:Logic (edit) Template:Main (view source) (template editor protected) Template:Main other (view source) (protected) Template:Math (view source) (template editor protected) Template:Mvar (view source) (template editor protected) Template:Navbox (view source) (template editor protected) Template:Pagetype (view source) (protected) Template:Portal-inline (view source) (template editor protected) Template:Redirect (view source) (template editor protected) Template:Refbegin (view source) (template editor protected) Template:Refbegin/styles.css (view source) (template editor protected) Template:Refend (view source) (template editor protected) Template:Reflist (view source) (protected) Template:Reflist/styles.css (view source) (protected) Template:Refn (view source) (template editor protected) Template:SDcat (view source) (template editor protected) Template:Short description (view source) (protected) Template:Short description/lowercasecheck (view source) (protected) Template:Side box (view source) (template editor protected) Template:Sister project (view source) (template editor protected) Template:Tmath (view source) (semi-protected) Template:Trim (view source) (protected) Module:Arguments (view source) (protected) Module:Category handler (view source) (protected) Module:Category handler/blacklist (view source) (protected) Module:Category handler/config (view source) (protected) Module:Category handler/data (view source) (protected) Module:Category handler/shared (view source) (protected) Module:Check for unknown parameters (view source) (protected) Module:Citation/CS1 (view source) (protected) This list may be incomplete.
Wikidata entities used in this page	Category:Satisfiability problems Sitelink boolean satisfiability problem Sitelink Title Statement: P910 Description: en

Lint errors

Missing end tag	2

Information for "Boolean satisfiability problem"

Contents

Basic information

Page protection

Edit history

Page properties

Lint errors

External tools

Navigation menu

Information for "Boolean satisfiability problem"

Basic information

Page protection

Edit history

Page properties

Lint errors

External tools

Navigation menu

Search