{"entities":{"Q372971":{"pageid":374738,"ns":120,"title":"Item:Q372971","lastrevid":57268443,"modified":"2026-03-27T18:15:49Z","type":"item","id":"Q372971","labels":{"en":{"language":"en","value":"Nominal monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6217437"}},"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":"Q372971$D230CE1E-02E1-4CDA-AB2E-5E8FE734ECB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aaf6cbb396f74811d23b898fad1f7914b0dddff6","datavalue":{"value":{"text":"Nominal monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q372971$F5387D43-6D9B-470B-BC71-23840F56A26B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4be883f6062ee709541a5f9709994cda3a5ce88e","datavalue":{"value":"1295.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372971$A27A34BD-CC99-4A36-B449-663CD146B008","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f5b3c3247f723a8dd053286a58f85570c0f08c2","datavalue":{"value":{"entity-type":"item","numeric-id":290907,"id":"Q290907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372971$617804B1-D974-4B45-BF37-0B7CFAA7F339","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372971$A8A1DBE5-0F36-4E87-B0F7-905CEB380D90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"06bdca2898df413a78f8d2cdbb7311760f3e2760","datavalue":{"value":{"time":"+2013-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q372971$548538D9-8B67-4612-8F5E-94FDE75E5780","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"116168c5f9cbd4ad3d1cde8083da58cbeae7dc69","datavalue":{"value":"The author develops an algebraic theory for languages of data words, i.e. words over an alphabet \\(\\Sigma\\times \\mathbb{D}\\) where \\(\\Sigma\\) is a finite set of labels and \\(\\mathbb{D}\\) is an infinite set of data values. Some of the key notions of the paper are defined relative to a given data symmetry \\((\\mathbb{D},G)\\) in which \\(G\\) is a subgroup of the symmetric group on \\(\\mathbb{D}\\). Syntactic monoids of data word languages and data word logics have quite natural definitions. However, since data alphabets are infinite, the syntactic monoids are almost always infinite, and therefore the author employs the notions of nominality and orbit-finiteness that are extensively discussed and illustrated by examples. The main result of the paper is a partial counterpart to a classical theorem that characterizes the first-order definable languages by their syntactic monoids. It states that the syntactic monoid of any first-order definable data word language is aperiodic, and that for a nominal language also the converse implication holds if the syntactic monoid is orbit-finite and has a well-founded \\(\\mathcal{J}\\)-order.","type":"string"},"datatype":"string"},"type":"statement","id":"Q372971$E3FFC2BD-307D-4608-990A-452A466DE11C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6e07306c48ccd2e9c29ec0a26f6f3afb07223426","datavalue":{"value":{"entity-type":"item","numeric-id":591314,"id":"Q591314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372971$2D93252C-E72A-4F66-A2DE-924602145F36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372971$F659CD4F-24FC-44AD-87B5-328047F929D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372971$DA408DB0-F0F1-42AA-BDA6-9F3C52B78C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"efc18770377997605fa0afd0c8c5849057981bb8","datavalue":{"value":"68P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372971$0AAE78A0-89E9-491C-ADB4-B78CCB0C7FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372971$0E20F3B7-F0E9-4558-88B2-ED80C108F347","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"647a8181615548d9f3feac5e69d09ad38e7f2487","datavalue":{"value":"6217437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372971$080C74D0-1978-4859-AC63-FC5BF0F5B1C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aca14de8ab07e636788ee3f779a206e4d81d434","datavalue":{"value":"data words","type":"string"},"datatype":"string"},"type":"statement","id":"Q372971$AE63BC5B-A714-4352-8FA6-7CC26A8121BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b78fd06c75bce2f27c56fcdfc2f26769e147394","datavalue":{"value":"nominal sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q372971$A0442FE0-13ED-49A8-AF6F-96E0FA3B8DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ecbdea37adde42ef7f942b3d6ef7b75841234f8","datavalue":{"value":"syntactic monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q372971$B2B78DF0-7A88-4C60-8F88-8F4C15B65F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ee23d15863b09659270b3ad0cba0cad61c420ea","datavalue":{"value":"orbit-finite monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q372971$C84B4504-00B0-4213-B08A-2A7A81B591F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f736d02e86573c887541b685d4ac9ad40d12259b","datavalue":{"value":"first-order definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q372971$0D2B0CA6-D9E3-49D7-9166-47498354DB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c15a9522fa76ef9de67d9e9ac17c58b3f58c5b1e","datavalue":{"value":"aperiodic monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q372971$E21FE2BF-DC94-4F5E-A4CD-1C58924F0D05","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":"Q372971$48C70126-30D8-49EA-9134-658BCCFE1A92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7c0453b8068dc950fc3b96f1669d01cfb3e07bb","datavalue":{"value":"https://doi.org/10.1007/s00224-013-9464-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q372971$913F8210-BB53-480B-BF73-A9984F7D31CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20ef438cf1d99b1baa1439ff257207d0bc525166","datavalue":{"value":"W3188557745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372971$A5348E72-BB50-4716-AB9F-0D518A7B6450","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4a92cdc064e8655b8fafe7c275746c214830d485","datavalue":{"value":"Q59303507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372971$84733ABF-D790-493D-8874-1739B2FB259C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8117378c53f1e481fa5525db86cb285ac586194","datavalue":{"value":{"entity-type":"item","numeric-id":3586037,"id":"Q3586037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372971$C52ECC75-7EE2-40C0-A2C7-91C98BB641E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2645571d2837be6bb28e7347b3d800abcf02d690","datavalue":{"value":{"entity-type":"item","numeric-id":3113676,"id":"Q3113676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372971$F4892610-2C5D-4761-9C2F-EBB639A0A86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b35117a5e4f0b871215e34ddc1ee7cef53cae0ad","datavalue":{"value":{"entity-type":"item","numeric-id":2942888,"id":"Q2942888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372971$06687A60-4286-4927-B8BE-E53947303233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af107d22a521538fff2713d649f3149030f189b","datavalue":{"value":{"entity-type":"item","numeric-id":1398367,"id":"Q1398367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372971$A358BB2B-BF88-4248-987E-9DDBF81FE400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7e283aa7c1b32a57fb2fa6cc2dc1b25c4f4c0af","datavalue":{"value":{"entity-type":"item","numeric-id":1426447,"id":"Q1426447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372971$F37E8467-3864-4C3D-BA02-F349D97C0CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372971$41DE02CF-4B6B-4BA3-8F15-3F173EC79ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c169618aed507c8b9df1220e1260bccfbafaba8","datavalue":{"value":{"entity-type":"item","numeric-id":4003180,"id":"Q4003180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372971$3FF485C8-5A88-43EB-9743-C6086E497FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceda0c87bb63c8028473ee4ed8dfdc1d3b9f3f99","datavalue":{"value":{"entity-type":"item","numeric-id":1341718,"id":"Q1341718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372971$E0E00C4D-69CA-469B-AED2-888A3B37182F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9fa5a2c185c4a7a998608df2f3a972936a026e","datavalue":{"value":{"entity-type":"item","numeric-id":3613328,"id":"Q3613328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372971$DF940873-51F0-4C93-89E4-9CB81450C849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d8ebd3ef53d7996f7c569cf6663fe1170b13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4302435,"id":"Q4302435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372971$72895807-612D-40B1-99AD-D7628F3F388F","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"c5da5980fa6b9899a383d120f12c3f84022086fd","datavalue":{"value":"journals/mst/Bojanczyk13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372971$9DF23811-1559-425C-ACFB-BB9ABD78C691","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f00212ba4bbd8501e26e66cee79d9c0aeb05bc8e","datavalue":{"value":"10.1007/S00224-013-9464-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372971$D033123C-EBAB-4A7E-A91E-0886CD492224","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdff55ec96994a70666206883190d89464571b45","datavalue":{"value":{"entity-type":"item","numeric-id":3113676,"id":"Q3113676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19c5fe7515050ff8045a194daf72230dd70bb68e","datavalue":{"value":{"amount":"+0.955054521560669","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":"Q372971$14A54A9B-A315-41BC-B214-D38D4DB3B14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"111b220a2281efb1b532f549780a5b3d026e60ec","datavalue":{"value":{"entity-type":"item","numeric-id":3196341,"id":"Q3196341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"236bfdd917bcf97440de7770a01dc76e2c491b6b","datavalue":{"value":{"amount":"+0.7758612036705017","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":"Q372971$34F0D707-3523-4137-9BB0-BB3F75F6F0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af90ed6759bb3a1aecb88dc7afa9f05e3bd79cef","datavalue":{"value":{"entity-type":"item","numeric-id":3088044,"id":"Q3088044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d88eca86fd2bf6ae13345187bd424e3e57de1531","datavalue":{"value":{"amount":"+0.7600263357162476","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":"Q372971$59F8222A-C06F-4524-B112-B915FC1B83A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84e38890368d52f68bc788ef8f10f7db6c5b9e33","datavalue":{"value":{"entity-type":"item","numeric-id":2805453,"id":"Q2805453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1caa8a876334315135e25f97b9ed67347d58f3a","datavalue":{"value":{"amount":"+0.7590423822402954","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":"Q372971$A0779533-FF89-4CC0-9394-FF6F68ED8AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9744f14dace30910cc69859cd7b8a9c21053e28f","datavalue":{"value":{"entity-type":"item","numeric-id":3086925,"id":"Q3086925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ee779370d6667b7b4b2fb9afd219114fa043c21","datavalue":{"value":{"amount":"+0.7565475106239319","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":"Q372971$3A2FE3A6-31AD-4B65-AB5C-9F0D65623722","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372971$DE4760AE-75F6-4FD8-90BA-F6BD431A2780","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:372971","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:372971"}}}}}