{"entities":{"Q1976433":{"pageid":1987175,"ns":120,"title":"Item:Q1976433","lastrevid":47474272,"modified":"2026-01-01T20:27:18Z","type":"item","id":"Q1976433","labels":{"en":{"language":"en","value":"On D0L and HDT0L sets in monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1445562"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976433$24C860EF-5453-49FD-91D3-17ABB25F1EE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94647e0c0e8303d8300da1a87885a281f2394985","datavalue":{"value":{"text":"On D0L and HDT0L sets in monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1976433$293A9C45-22D5-4267-B20A-DDB4A0ECCCB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2234abc0b8fd0e27dcadbdb67a51b6adb51575a","datavalue":{"value":"0973.20060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976433$E885ABD8-1EF9-4634-A85A-C7EF0946536E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"963c638c9ff10e13f8c063500013690e36a32a43","datavalue":{"value":{"entity-type":"item","numeric-id":221693,"id":"Q221693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976433$B44C8E92-B72E-4032-A313-720347F66D21","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976433$96F19269-DDCB-4601-9BB7-7F4353FE56A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf44e420fab71a4abce3e6474b6d599f4a2cb6f9","datavalue":{"value":{"time":"+2001-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1976433$0D99D86F-0BE2-4AD4-9394-5F7FD0364D48","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"20b58500ddbcac98b61eb78c0cadab10f68d2429","datavalue":{"value":"A monoid \\(M\\) is said to have the projection property if there exists a finite set \\(Y\\), a surjective morphism \\(p\\colon Y^*\\to M\\), and morphisms \\(t_1,\\ldots,t_n\\colon Y^*\\to Y^*\\) such that \\(\\ker p=\\ker t_1\\cap\\cdots\\cap\\ker t_n\\). If, furthermore, \\(\\ker p\\) is contained in the kernel of the projection onto the free commutative monoid over~\\(Y\\), then \\(M\\) is said to have the strong projection property. The author shows that strong equivalence of HDT0L sets in a monoid with the strong projection property and equivalence of D0L sets in a monoid with the projection property are both decidable. Although these results apply to the case of free partially commutative monoids, the arguments actually allow the author to prove a stronger version in this case.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976433$E09E08CD-B201-4AB4-8BFB-C1DC77715C63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976433$54920ED5-6A84-4482-BF5A-1CE476E7C6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976433$64A02337-2807-4F68-A464-D2565F4E78A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976433$C852B8B4-3994-410E-BA44-AFCA6F0EF555","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21379b8b936916d3aa8dbab090cef439d0068e29","datavalue":{"value":"1445562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976433$6046AFEC-C253-4A2D-8520-7A7E33FCB2C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8da053b001ea914d1780570fbbca45db511bb57b","datavalue":{"value":"Lindenmayer systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976433$142DDEA9-C153-4B6E-A345-FB5710FBED0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c48b241c2e53ac9c4073e4f6a37f6442b7c79d7d","datavalue":{"value":"free monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976433$AACB6D2D-BD74-4AAD-89C2-D5C6ECD3123D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c5bb15738e2e5320e59d7bc58c219e854d81c3a","datavalue":{"value":"free partial commutative monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976433$DDEB4479-877C-40D7-9418-0C07F50CA434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e7f2feeef651b2c554ccfb985af8895a34a8732","datavalue":{"value":"strong projection property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976433$4E4B5968-64ED-44B4-9643-3B3AFC5A8C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976433$7952BFC0-B878-4138-92E7-E591335C8F72","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"99980a1fe8b67be8570894d1f605195f6f2e1e0e","datavalue":{"value":{"entity-type":"item","numeric-id":375866,"id":"Q375866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976433$B3C452FF-64CD-4A87-AEC7-B16484388E17","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976433$C6B7A483-B239-4118-8856-031DFC7B3C37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91065645f25fee5fcebb404bf467825ff9e5acf2","datavalue":{"value":"https://doi.org/10.1007/s002339910036","type":"string"},"datatype":"url"},"type":"statement","id":"Q1976433$40C87377-F4EE-4458-846F-8C751FD5ACE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6654451589170defd06eabdf8742d3fcd2d063b9","datavalue":{"value":"W1974408532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976433$327281FA-5CBB-4D62-B7B4-521A6EF49BF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b88fe9ec45bd4a1328fcfa64516d81bc66d67ae","datavalue":{"value":"10.1007/S002339910036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976433$1378CF6E-CFBB-4FF6-A81D-C77CDE7559E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07a9338b47627ccf4f09f4ee3fb699cfa6407664","datavalue":{"value":{"entity-type":"item","numeric-id":1341732,"id":"Q1341732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab47f076afa1f8341e357c9fd73f7049f093128b","datavalue":{"value":{"amount":"+0.7166188359260559","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1976433$F8FA85BC-C1AA-45C3-BA1B-65DCEFD91798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c63741fe251127bf5f7479c3be58acbe72053b5","datavalue":{"value":{"entity-type":"item","numeric-id":4790423,"id":"Q4790423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"079eae4fcdd012c172bbd5739f7f0fe3292a4223","datavalue":{"value":{"amount":"+0.7154617309570312","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1976433$8517AF76-7DB7-4ABC-9EB5-1F807FF7C434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90099825b13871ef248f0558133fe7a86f65a342","datavalue":{"value":{"entity-type":"item","numeric-id":3782819,"id":"Q3782819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab756a54334e4bd827f88a62327844f3f93e55d3","datavalue":{"value":{"amount":"+0.71406090259552","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1976433$837F4512-32DA-42B2-B849-94FF0E50E4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51f7e6d0c76a565f7af2f3b400f4f8772879948e","datavalue":{"value":{"entity-type":"item","numeric-id":3747748,"id":"Q3747748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"736d494c40e563cfbbf30d6aec3482e2229647c9","datavalue":{"value":{"amount":"+0.71175217628479","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1976433$B256F9EB-2EFD-47CD-97CE-26964C9C6A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d34750880f96b6940959f9ed2e7fdd3cce35fba","datavalue":{"value":{"entity-type":"item","numeric-id":1763705,"id":"Q1763705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d8fb0b66fc540c554ec5e935d96d2f60869fd2e","datavalue":{"value":{"amount":"+0.71117103099823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1976433$85B8AF06-14F4-497D-8549-DDAE57AEA13A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1976433","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1976433"}}}}}