Information for "Executable temporal logics"

Basic information

Display title	Executable temporal logics
Default sort key	Executable temporal logics
Page length (in bytes)	15
Namespace ID	0
Page ID	12621806
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	1
Counted as a content page	Yes
Page views in the past month	0
MaRDI portal item ID	Q679343

Edit	Allow all users (infinite)
Move	Allow all users (infinite)

Page creator	Import240305080351 (talk \| contribs)
Date of page creation	01:38, 6 March 2024
Latest editor	AllProfilePages260409040437 (talk \| contribs)
Date of latest edit	15:07, 11 April 2026
Total number of edits	2
Recent number of edits (within past 90 days)	1
Recent number of distinct authors	1

Transcluded templates (17)	Pages included on this page: Template:BadgeSimple (view source) Template:Badges/styles.css (view source) Template:DeepChat (view source) Template:ItemCards/styles.css (view source) Template:ItemLink (view source) Template:Publication (view source) Template:Publication/styles.css (view source) Template:ReportABug (view source) Module:BacklinksList (view source) Module:HelperMethods (view source) Module:HelperStrConverter (view source) Module:PublicationJournalEntry (view source) Module:PublicationKeywordList (view source) Module:PublicationMSCList (view source) Module:PublicationShowAbstract (view source) Module:Wd (view source) Module:Wd/i18n (view source)
MaRDI portal entities used in this page	published in Miscellaneous (e.g. entity existence) Label: en Mathematics Subject Classification ID Miscellaneous (e.g. entity existence) Label: en publication date Miscellaneous (e.g. entity existence) Label: en Executable temporal logics Title Miscellaneous (e.g. entity existence) Label: en Some statements Journal of Symbolic Computation Label: en