Information for "Linear temporal logic to Buchi automaton"

Basic information

Display title	Linear temporal logic to Buchi automaton
Redirects to	Linear temporal logic to Büchi automaton (info)
Default sort key	Linear temporal logic to Buchi automaton
Page length (in bytes)	91
Namespace ID	0
Page ID	34797146
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	1

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

Page creator	RjwilmsiBot (talk \| contribs)
Date of page creation	08:59, 19 February 2012
Latest editor	RjwilmsiBot (talk \| contribs)
Date of latest edit	08:59, 19 February 2012
Total number of edits	1
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 titles without diacritics Category:Unprintworthy redirects
Transcluded templates (9)	Pages transcluded onto the current version of this page (help): Template:Em (view source) (template editor protected) Template:R from title without diacritics (view source) (template editor protected) Template:R to diacritic (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)