Information for "Software:PRISM model checker"

From HandWiki

Basic information

Display titleSoftware:PRISM model checker
Default sort keyPRISM model checker
Page length (in bytes)2,346
NamespaceSoftware
Page ID316330
Page content languageen - English
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page0
Counted as a content pageYes
HandWiki item IDNone

Page protection

EditAllow all users (infinite)
MoveAllow all users (infinite)
View the protection log for this page.

Edit history

Page creatorWikiG (talk | contribs)
Date of page creation14:12, 9 February 2024
Latest editorWikiG (talk | contribs)
Date of latest edit14:12, 9 February 2024
Total number of edits1
Recent number of edits (within past 60 days)0
Recent number of distinct authors0

Page properties

Transcluded templates (11)

Templates used on this page: