Information for "Abstract model checking"

Basic information

Display title	Abstract model checking
Default sort key	Abstract model checking
Page length (in bytes)	1,683
Namespace ID	0
Page ID	12443227
Page content language	en - English
Page content model	wikitext
Indexing by robots	Disallowed
Number of redirects to this page	1
Counted as a content page	Yes
English Wikipedia @ Freddythechick item ID	None

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

Page creator	imported>David Eppstein
Date of page creation	07:36, 31 May 2024
Latest editor	imported>David Eppstein
Date of latest edit	07:36, 31 May 2024
Total number of edits	1
Total number of distinct authors	1
Recent number of edits (within past 90 days)	0
Recent number of distinct authors	0

Transcluded templates (19)	Templates used on this page: Abstract model checking (view source) Template:Cite journal (view source) Template:Cmn (view source) Template:Columns-list (view source) Template:Div col (view source) Template:Div col/styles.css (view source) Template:Main other (view source) Template:Reflist (view source) Template:Reflist/styles.css (view source) Module:Check for unknown parameters (view source) Module:Citation/CS1 (view source) Module:Citation/CS1/COinS (view source) Module:Citation/CS1/Configuration (view source) Module:Citation/CS1/Date validation (view source) Module:Citation/CS1/Identifiers (view source) Module:Citation/CS1/Utilities (view source) Module:Citation/CS1/Whitelist (view source) Module:Citation/CS1/styles.css (view source) Module:Template wrapper (view source)
Page transcluded on (1)	Template used on this page: Abstract model checking (view source)