{"entities":{"Q795178":{"pageid":797026,"ns":120,"title":"Item:Q795178","lastrevid":48717580,"modified":"2026-01-05T17:08:41Z","type":"item","id":"Q795178","labels":{"en":{"language":"en","value":"A language theoretic interpretation of the Sch\u00fctzenberger representations with applications to certain varieties of languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3861453"}},"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":"Q795178$E47138AF-85AC-4E39-A28D-538F6CBC4BDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a3716f03fb93befc5382ebc686a2edd98f2e7cc","datavalue":{"value":{"text":"A language theoretic interpretation of the Sch\u00fctzenberger representations with applications to certain varieties of languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q795178$2A260428-5EB8-489D-951E-4A977795ED0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6222822fef0da1c6bb000bfdc10498b16196d3d7","datavalue":{"value":"0542.20045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795178$3E6A707C-69D0-415A-BAA1-B7DE63DD171F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85a0a84968b2fb78a4d10c2c5c769142fbe6878d","datavalue":{"value":"10.1007/BF02572486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795178$FCC5C487-BF23-40CA-BCFB-05062C86E344","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fda2b843008097467141f2c2de99a1b410da08e","datavalue":{"value":{"entity-type":"item","numeric-id":685707,"id":"Q685707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795178$55952034-9C62-4A19-9491-90286E59F712","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":"Q795178$C5056EF8-BAF6-492F-9AD9-D91315556222","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q795178$8DC6AF71-7BD0-4DD1-93F9-AF3B84181337","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c6cd10c099705d02cd0525299e34601f98a1333","datavalue":{"value":"https://eudml.org/doc/134652","type":"string"},"datatype":"url"},"type":"statement","id":"Q795178$5A4F5634-9233-4F78-B04E-4343DBBF8455","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"916e5cc4138b8af57764b822226410abf49ed6bd","datavalue":{"value":"Let A be a finite set and \\(A^+\\) the free semigroup generated by A. A finite semigroup S recognizes the language \\(X\\subseteq A^+\\) iff there exists a morphism \\(\\phi:A^+\\to S\\) such that X is the union of equivalence classes of the congruence \\(\\phi \\phi^{-1}\\). A class V of finite semigroups is called an S-variety (or a pseudovariety) if for any \\(S,T\\in V,\\quad S\\times T\\in V\\) and V contains all morphic images of subsemigroups of S. If V is an S-variety and \\({\\mathcal V}\\) a class of subsets of \\(A^+\\), then \\(V\\leftrightarrow {\\mathcal V}\\) means that \\({\\mathcal V}\\) consists of all languages \\(X\\subseteq A^+\\) which are recognized by semigroups in V. M-varieties and G-varieties are defined similarly for monoids and groups respectively and the corresponding classes of recognizable languages consist of subsets of \\(A^*\\) (the free monoid generated by A). Using a graph theoretic interpretation of the Sch\u00fctzenberger representation of semigroups the author develops a general technique for describing languages in \\({\\mathcal V}\\), \\({\\mathcal V}\\leftrightarrow V\\), when V is some special variety (in particular, a certain M-variety of unions of groups from the given G-variety or a certain S-variety of semigroups S such that eSe is in the given G-variety for all idempotents e of S).","type":"string"},"datatype":"string"},"type":"statement","id":"Q795178$F2D96B64-EC07-4441-8565-BCB3835E8FAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795178$B71F5A3A-DC76-41B9-BABD-BC9D47AFA6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795178$51A95DE6-B475-4E51-89AE-4679A1DD4A3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da8461fa5641a464a58844f405361b62a12c2059","datavalue":{"value":"3861453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795178$B70CD00F-8E35-4CAB-A5D3-1B3BEC786FB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b489be36f2806b138f130171c2492c208d47cd2","datavalue":{"value":"free semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q795178$F6421603-FA46-49AA-A944-CB82232BC1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q795178$4829586C-FC64-419F-A5D6-739D97BB5856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ae52c8f67f146f93874234c0534949dab63cc34","datavalue":{"value":"pseudovariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q795178$00FE9214-D337-41A0-87BF-3FF3DA268056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c8a3771d592253533a2e546c05e00722cd3a680","datavalue":{"value":"languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q795178$F42B9294-F0F3-4AA2-B1BB-F4ADBDD693B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecde1dfa99d1cbd08aec8d0026129ef8a157b8d6","datavalue":{"value":"recognizable languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q795178$85078686-F09C-4923-BE61-A99AF57E7C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94a05d86bd865530ccf1c2707cfd623fedddb087","datavalue":{"value":"Sch\u00fctzenberger representation of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q795178$3F4B8072-3F68-4A80-81DD-F7DFF22D3130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbda73d8ed62add50f423d5b7bffe5b1cde392d8","datavalue":{"value":"unions of groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q795178$BD1B05A6-5818-418E-AC1E-96B965C3A77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2b2952403bc9913b13b364ff2ee4a26166f3b9","datavalue":{"value":"idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q795178$980A974F-5153-4716-B665-BC7FB1FC772F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ad7c027c59c6648ca487e716a098970fe6716339","datavalue":{"value":{"entity-type":"item","numeric-id":766194,"id":"Q766194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795178$7E6581C8-0655-40BB-8558-717B4CD4420C","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":"Q795178$08819084-3E03-4FB7-97B9-1A8B1EC9D818","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0130b3ef0214443a39b995b9a0fd268b9f55af9","datavalue":{"value":{"entity-type":"item","numeric-id":2553949,"id":"Q2553949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795178$E3EB85DE-F4BC-41BB-B92B-BF2F7833EDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795178$D501E8FF-00E4-4A29-BB77-F0BD144855AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795178$C4030364-F1D0-4BF1-B9EA-236E9F72E829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9844351f58878ba449a8fd8cf45bb4cc809d46","datavalue":{"value":{"entity-type":"item","numeric-id":599182,"id":"Q599182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795178$7D05CA29-824D-47CC-AD8F-5E923050B4F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68d97498f3b00ee82a6fb3b1824abad9c697a48","datavalue":{"value":{"entity-type":"item","numeric-id":3776657,"id":"Q3776657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce5d11adef59bf09f52eb979725ef93971d34ff1","datavalue":{"value":{"amount":"+0.7774215936660767","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":"Q795178$7AAB5D51-B954-4280-8CE1-1F7903F3BD88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"382a9131d7263cc47553ea2803454a670497e37b","datavalue":{"value":{"entity-type":"item","numeric-id":3584900,"id":"Q3584900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e9d39e7057f1141b461b7f0296aaf4d9daa2065","datavalue":{"value":{"amount":"+0.7707064747810364","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":"Q795178$C5711592-9620-46CF-8A1F-8C76E6A5A83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7569e24eecd348dc44041ec07b76125e52fb054","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39d9ed54a51ad83ae7cf48fba4e49c42f11afc9d","datavalue":{"value":{"amount":"+0.770020604133606","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":"Q795178$5A510556-E308-4530-ADBD-033D70F40D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69aec11b3aa0dd9dde82af8d63582f5c02e15f9d","datavalue":{"value":{"entity-type":"item","numeric-id":3728249,"id":"Q3728249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6596a9056599728dec5df2d5cc82be241850ac45","datavalue":{"value":{"amount":"+0.769938588142395","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":"Q795178$93C2C37A-7ABA-4B82-B605-7DED40167390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a95802aa5d71182eaddc9767c7c52e61ae5dd23","datavalue":{"value":{"entity-type":"item","numeric-id":1105050,"id":"Q1105050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74416221bd2a388bf25cda61b9781407dfdf21ec","datavalue":{"value":{"amount":"+0.7615206241607666","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":"Q795178$395B8B05-B7CA-4AA4-93AC-984BC2D7D6CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:795178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:795178"}}}}}