Warning: foreach() argument must be of type array|object, null given in /var/www/html/w/extensions/MatomoAnalytics/includes/MatomoAnalyticsWiki.php on line 59
Information for "A verified algorithm for deciding pattern completeness" - MaRDI portal

Information for "A verified algorithm for deciding pattern completeness"

From MaRDI portal

Basic information

Display titleA verified algorithm for deciding pattern completeness
Default sort keyA verified algorithm for deciding pattern completeness
Page length (in bytes)15
Namespace ID0
Page ID20746471
Page content languageen - English
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page0
Counted as a content pageYes
Page views in the past month0
MaRDI portal item IDQ6874982
Central descriptionscientific article; zbMATH DE number 8144648

Page protection

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

Edit history

Page creatorZbMATH-Importer (talk | contribs)
Date of page creation13:04, 18 April 2026
Latest editorZbMATH-Importer (talk | contribs)
Date of latest edit13:04, 18 April 2026
Total number of edits1
Recent number of edits (within past 90 days)1
Recent number of distinct authors1

Page properties

Transcluded templates (18)

Pages included on this page:

MaRDI portal entities used in this page