Information for "Davis-Putnam-Logeman-Loveland algorithm"

Basic information

Display title	Davis-Putnam-Logeman-Loveland algorithm
Redirects to	DPLL algorithm (info)
Default sort key	Davis-Putnam-Logeman-Loveland algorithm
Page length (in bytes)	51
Namespace ID	0
Page ID	48760373
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of page watchers	Fewer than 30 watchers
Number of redirects to this page	0
Wikidata item ID	None
Page views in the past 30 days	16

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

Page creator	Jochen Burghardt (talk \| contribs)
Date of page creation	06:43, 8 December 2015
Latest editor	RussBot (talk \| contribs)
Date of latest edit	23:04, 14 December 2015
Total number of edits	3
Recent number of edits (within past 30 days)	0
Recent number of distinct authors	0

Hidden categories (2)	This page is a member of 2 hidden categories (help): Category:Redirects from misspellings Category:Unprintworthy redirects
Transcluded templates (10)	Pages transcluded onto the current version of this page (help): Template:C (view source) (template editor protected) Template:Category link without namespace (view source) (template editor protected) Template:Main other (view source) (protected) Template:R from misspelling (view source) (template editor protected) Template:Redirect template (view source) (template editor protected) Template:Template link (view source) (protected) Template:Tl (view source) (protected) Module:Arguments (view source) (protected) Module:Redirect template (view source) (template editor protected) Module:Yesno (view source) (protected)