{"entities":{"Q2874893":{"pageid":2885613,"ns":120,"title":"Item:Q2874893","lastrevid":52064423,"modified":"2026-01-20T21:02:30Z","type":"item","id":"Q2874893","labels":{"en":{"language":"en","value":"Duality and the equational theory of regular languages."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6329590"}},"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":"Q2874893$62CAC504-D5F2-4E31-A7D3-2601390BB9E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef012a940aa9f6d08ca97d1223c56164ce866547","datavalue":{"value":"1302.08010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2874893$948E15E8-EDD6-44C2-9074-AA3A0203EBBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d27f6cdf8344c4e92458bbc4cad1ff8fd2b35d2","datavalue":{"value":{"entity-type":"item","numeric-id":494656,"id":"Q494656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2874893$10538A4F-F50A-455F-83E6-3AAE605B7EE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9b4b63f7cea1582a3ada3e746b2363fec15bfa5","datavalue":{"value":{"time":"+2014-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2874893$B6B50881-F6AE-4A64-B53A-5B97295E87F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2874893$B8D1CD6C-A399-4472-BF60-F77FF219EA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2874893$B1CA8017-C92E-4737-B283-C0A17986B716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2874893$C7EF523C-A1BC-4DFB-A397-8FD43BF6A311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2874893$11D8895D-552E-4EC2-A205-B0CC503F2713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2874893$0BA7D5DA-139A-4B5E-8ADF-84F84577445C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cef57b2c0e42555d6417dd7dba639497ddc3408","datavalue":{"value":"6329590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2874893$83819DE2-DF3B-4310-866C-80F67D591362","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bdbc176c5c912a168f2110e0c6690ebe7ad8d7c","datavalue":{"value":"varieties of regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2874893$333EDC44-C644-438D-9CF3-796EE4FF5418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c615f58ef1f2be22261f16469965a672a3a268bb","datavalue":{"value":"varieties of finite monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2874893$6F329F62-BDF8-4806-9F51-2B42D41F3E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a188ab4e06f01a6dbaff113d688f38f3e6005b06","datavalue":{"value":"profinite monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2874893$BDFE1640-D923-4D10-8214-D0D86D6193D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29135f9fb5f2d20a5236130c4959fe3c10dee8e6","datavalue":{"value":"profinite equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2874893$5308519F-27F3-4D25-8D13-94F94D971090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac82369a09bc861a3472a183669af4c78913c02","datavalue":{"value":"Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2874893$2B8EE43C-2442-4841-8FE6-BC6A58C774AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea5637c0809f4bbeea66bd3fe34058bbb3109b2","datavalue":{"value":"Stone duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2874893$0F6EF9EC-695A-48F0-A2DC-535F1FF1BB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"173c67fbb35db71b8264a102ba2ec33bf1b61b12","datavalue":{"value":"Stone spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2874893$B7837BA6-70DC-47E4-995F-BB1D6E697EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33b4f15d303e0bd72e97470108402270977b3578","datavalue":{"value":"Eilenberg variety theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2874893$12E7778E-AE7C-4873-8B21-3F07848E8424","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":"Q2874893$94113716-727E-492C-A390-D147373294BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ed263c580ab31f90cdf497186baaab0ffe77473","datavalue":{"value":{"text":"Duality and the equational theory of regular languages.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2874893$D09EF75A-8ED3-45D6-9E1A-F99D84C54004","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d4916ccbee3c5684cd5ece8c18fe39a1fac1258f","datavalue":{"value":"The author reviews a number of notions and facts pertaining to varieties of regular languages, varieties of finite monoids, profinite monoids and profinite equations as well as the Stone duality between Boolean algebras and Stone spaces. By combining Eilenberg's variety theorem and Reiterman's theorem on varieties of finite algebras (here restricted to monoids), he characterizes the varieties of regular languages as the families of languages definable by profinite equations. Furthermore, he considers the Boolean algebras and the residuated Boolean algebras of regular languages over a given alphabet from the perspective of the Stone duality and an extension of it.NEWLINENEWLINEFor the entire collection see [Zbl 1280.03005].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2874893$E1BC7CF7-A002-450B-A608-CA2D6FA6F76F","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":"Q2874893$AC764C6B-AA4D-408D-8B9E-D6EE4F190F47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"667c98663a054383ad11c38cf4ba80eff8370d8d","datavalue":{"value":{"entity-type":"item","numeric-id":3519505,"id":"Q3519505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a03b0861edd8271d86d96a5d7e7c3196b0852e9e","datavalue":{"value":{"amount":"+0.8850524425506592","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":"Q2874893$CCEB2D24-3F10-4D60-AE7F-892DE82154BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81aad6577107b2d83e45aad1e72539db72c1a2d","datavalue":{"value":{"entity-type":"item","numeric-id":2342107,"id":"Q2342107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25c02e1c963bfec48a964b398bb232a8aec335ab","datavalue":{"value":{"amount":"+0.8817822933197021","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":"Q2874893$23EE695E-CF03-4128-A359-DC39E493049A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5941c79f53b79d51be783e5aeac84930421dcaf2","datavalue":{"value":{"entity-type":"item","numeric-id":675860,"id":"Q675860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7474ca7c3ea49f3e5b6797bffc5bea753e7b691e","datavalue":{"value":{"amount":"+0.873587429523468","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":"Q2874893$EAF0BDFF-F956-488D-9219-A42E880C6B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d61461b83ea4bf8e1c371040306b47460f1b9ad","datavalue":{"value":{"entity-type":"item","numeric-id":3088025,"id":"Q3088025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6df41e49d1ba9d8c6f1d5c47485819e1933b7b6","datavalue":{"value":{"amount":"+0.8198361992835999","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":"Q2874893$ABCC9D29-94AF-4C98-990D-7D1DD7730BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a48859f0781a112e82c07aa66303e2a44d2e9731","datavalue":{"value":{"entity-type":"item","numeric-id":4923277,"id":"Q4923277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efb1e76453d53a84e569f775b4a17294bdcd46f7","datavalue":{"value":{"amount":"+0.8097168207168579","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":"Q2874893$FC3E967F-86AE-48DB-93F4-14BD048FEF00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2874893","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2874893"}}}}}