Information for "Publication:1648864"

Basic information

Display title	Direct encodings of NP-complete problems into Horn sequents of multiplicative linear logic
Default sort key	1648864
Page length (in bytes)	15
Namespace ID	4206
Namespace	Publication
Page ID	9466601
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	Q1648864
Central description	scientific article; zbMATH DE number 6900723

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	04:16, 1 February 2024
Latest editor	Import240129110113 (talk \| contribs)
Date of latest edit	04:16, 1 February 2024
Total number of edits	1
Recent number of edits (within past 90 days)	0
Recent number of distinct authors	0

Transcluded templates (15)	Pages included on this page: Template:Badge (view source) Template:DeepChat (view source) Template:Publication (view source) Template:ReportABug (view source) Module:BacklinksList (view source) Module:HelperMethods (view source) Module:PublicationAuthorList (view source) Module:PublicationCitesWork (view source) Module:PublicationContainsTheoremList (view source) Module:PublicationMSCList (view source) Module:PublicationRecommendedItems (view source) Module:PublicationShowAbstract (view source) Module:PublicationUsesSoftwareList (view source) Module:Wd (view source) Module:Wd/i18n (view source)
MaRDI portal entities used in this page	full work available at URL 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 Direct encodings of NP-complete problems into Horn sequents of multiplicative linear logic Title Miscellaneous (e.g. entity existence) Label: en Sitelink Some statements