Information for "Publication:1400708"

Basic information

Display title	The \(\exists^\forall^\) part of the theory of ground term algebra modulo an AC symbol is undecidable.
Default sort key	1400708
Page length (in bytes)	15
Namespace ID	4206
Namespace	Publication
Page ID	9265413
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	Q1400708
Central description	scientific article

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	15:59, 31 January 2024
Latest editor	Import240129110113 (talk \| contribs)
Date of latest edit	15:59, 31 January 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 The \(\exists^\forall^\) part of the theory of ground term algebra modulo an AC symbol is undecidable. Title Miscellaneous (e.g. aliases, entity existence) Label: en Sitelink Some statements Information and Computation Label: en