Information for "Publication:4621226"

Basic information

Display title	SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME
Default sort key	4621226
Page length (in bytes)	15
Namespace ID	4206
Namespace	Publication
Page ID	11851767
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	0
Counted as a content page	Yes
MaRDI portal item ID	Q4621226
Central description	scientific article; zbMATH DE number 7020216

Edit	Allow only users with "overwriteprofilepages" permission (infinite)
Move	Allow only users with "overwriteprofilepages" permission (infinite)

Page creator	Import240129110113 (talk \| contribs)
Date of page creation	14:49, 7 February 2024
Latest editor	Import240129110113 (talk \| contribs)
Date of latest edit	14:49, 7 February 2024
Total number of edits	1
Recent number of edits (within past 365 days)	1
Recent number of distinct authors	1

Transcluded templates (12)	Templates used on this page: Item:Q1001812 (view source) Item:Q1125572 (view source) Item:Q1729668 (view source) Item:Q1885435 (view source) Item:Q1896669 (view source) Item:Q3115903 (view source) Item:Q3141200 (view source) Item:Q4222524 (view source) Item:Q4789648 (view source) Item:Q485781 (view source) Item:Q5404139 (view source) Item:Q5962485 (view source)
MaRDI portal entities used in this page	zbMATH Keywords Miscellaneous (e.g. aliases, entity existence) Label: en published in Miscellaneous (e.g. aliases, entity existence) Label: en full work available at URL Miscellaneous (e.g. aliases, entity existence) Label: en Mathematics Subject Classification ID Miscellaneous (e.g. aliases, entity existence) Label: en publication date Miscellaneous (e.g. aliases, entity existence) Label: en Scientific Annals of Computer Science Label: en SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME Title Miscellaneous (e.g. aliases, entity existence) Label: en Sitelink Some statements