{"entities":{"Q1113686":{"pageid":1124435,"ns":120,"title":"Item:Q1113686","lastrevid":66153990,"modified":"2026-04-12T07:54:35Z","type":"item","id":"Q1113686","labels":{"en":{"language":"en","value":"A closure property of regular languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4080945"}},"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":"Q1113686$ADCEEE7D-A113-4E91-9C9B-53F8DB5FCD4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f472cd43f554d97b40e75cc3e9356ea982931c31","datavalue":{"value":{"text":"A closure property of regular languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1113686$67467CF2-433C-4E94-BD7A-ADFE2A066F3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c611b210eb10420978cdc68e3e24f312d91e3897","datavalue":{"value":"0661.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113686$93CE5A42-1A4B-4C39-AD30-AAC67C18C032","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e72734a3d391c9039366bd26fa520ad324081b6c","datavalue":{"value":"10.1016/0304-3975(88)90128-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113686$7D32D1AF-6422-45EF-82F9-299954B158E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bfcd8122f4e2d2857ca586eb0238f76655b4e53","datavalue":{"value":{"entity-type":"item","numeric-id":1113685,"id":"Q1113685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113686$D0069F32-373E-4512-9974-C6BB0ACB5200","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113686$03742918-3987-4557-9F2C-DAAE521068C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1113686$F29B6F97-105C-4480-AC44-2844CB111206","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"36f54f184ec71094c258368a0fb0b54d2b40c519","datavalue":{"value":"Given a semigroup homomorphism \\(\\theta\\) : \\(X^*\\to {\\mathcal P}(Y^*)\\) where \\({\\mathcal P}(Y^*)\\) is the powerset of \\(Y^*\\), we show that the inverse image \\(K\\theta^{-1}\\) of a regular set \\(K\\subseteq Y^*\\) is regular, too. This theorem has several consequences generalizing previously known results.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113686$09395580-8B79-4F15-A2BF-46B8C1E51AF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113686$71B138AD-A61E-48A4-B056-FBCEF2BF6767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113686$83960004-AFAE-4C01-B02C-6B2AB83A1B34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31ba45715e673700729f4bfd9ec6a6c0529e7f10","datavalue":{"value":"4080945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113686$86FFF0DB-A095-49DD-95F7-A9363E8C60C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113686$E64683B6-DC01-42BD-8EA8-9EA0B6255F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d6f538b08e69057661b54b3efc02988b26d9938","datavalue":{"value":"regular sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113686$4325F0E8-D93E-4CAF-9D56-61CAE42B5045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23d46f9ea0bf3844fc461ad4691b8db974357e56","datavalue":{"value":"semigroup homomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113686$E0B871A1-6F4A-416E-BD87-68E5F62D0F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e250e0bd1561eb8b7696c9e15cbde7831c28b50b","datavalue":{"value":"inverse image","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113686$8CF028DD-34E5-4639-BF9B-DEC9B049AA86","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":"Q1113686$B40071AE-DA75-4FB8-B645-254B806D8B29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfae2bd805026cb70192a022a579547f32fe6927","datavalue":{"value":"https://doi.org/10.1016/0304-3975(88)90128-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1113686$460464DC-1603-405B-A7E6-5337A1F8D18D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba0389a18d848c3cfdf82d4740543ea4199504aa","datavalue":{"value":"W2041963673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113686$71316B59-0DA3-4741-9A83-875CBDACB8ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"937911e42f68d251c82fa9be54759bda8aea4ecb","datavalue":{"value":{"entity-type":"item","numeric-id":1165842,"id":"Q1165842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113686$3642B8E5-2995-4A50-809F-2F9F31CF768D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113686$9C137E41-67C9-4BB5-9BBE-507781369DE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16a8264797c9f5b9f6ed58e8ca55830fc05afd15","datavalue":{"value":{"entity-type":"item","numeric-id":4268872,"id":"Q4268872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1671e2a1363af654ea761e3645d77c6c643c02ba","datavalue":{"value":{"amount":"+0.9241236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113686$4908F652-975A-4782-9577-843E10E2B002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41d36e0da58f86fd47cdbe41fcdb0ae0a83da01b","datavalue":{"value":{"entity-type":"item","numeric-id":4437814,"id":"Q4437814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94ca998198827e8a6b807715fcdde9d4cd7ae3e5","datavalue":{"value":{"amount":"+0.900048","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113686$5EBAC16D-88EC-4725-9928-6C6C379298AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10b91b0601052c6e6c2f005f327e889813be733b","datavalue":{"value":{"entity-type":"item","numeric-id":888431,"id":"Q888431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"791db71e878c91047f4ee1ed06180218c1475f1b","datavalue":{"value":{"amount":"+0.89832795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113686$6C2DD606-B75F-43C2-BA2F-01CBE8569D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7c2ba283da8342e2f4480f7f85ec3f8b35a87f","datavalue":{"value":{"entity-type":"item","numeric-id":2104140,"id":"Q2104140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd17f8f25cd9d1c80ef5f34ddea544b9046e6c4","datavalue":{"value":{"amount":"+0.8974047","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113686$4DCF63C7-BC64-4926-85DF-D69743830E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07198797cd23e24fc4edaa30a1506aa3bdf90dcc","datavalue":{"value":{"entity-type":"item","numeric-id":293180,"id":"Q293180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51f5a224804d481f69a3d2c50b30fb36fdcd12d4","datavalue":{"value":{"amount":"+0.8949727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113686$08711BDA-B132-40EF-95BB-9D26B555728E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00cb6604c2c3325ef4b730e785ea355a002b69f3","datavalue":{"value":{"entity-type":"item","numeric-id":340552,"id":"Q340552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89bc94d4706b620f1ff9e79edf4851e6aca61f60","datavalue":{"value":{"amount":"+0.88801694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113686$31F0EAF6-2B98-401B-922E-B58EFF09FB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f38bb9d4973870c6962b39ece34eeb63cf9b7a8","datavalue":{"value":{"entity-type":"item","numeric-id":2921992,"id":"Q2921992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15c42b88d1b43eb3832df431287b6df0753e24fb","datavalue":{"value":{"amount":"+0.8880168","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113686$363B6625-B47F-4164-8020-958C16888C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bac8a17b83996a0daa17213efd4b8208b216933","datavalue":{"value":{"entity-type":"item","numeric-id":1314376,"id":"Q1314376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfa05657ddf302cf52f85e22bdc760db8379a109","datavalue":{"value":{"amount":"+0.88742745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113686$ECD3A850-011A-4B9F-A32D-EB98C25378A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f0d5abda387b6ee7022083fe133b7dd5c4800fb","datavalue":{"value":{"entity-type":"item","numeric-id":1920338,"id":"Q1920338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85a124b2cfc75fbb28b9f3a5be986495f873ee39","datavalue":{"value":{"amount":"+0.87999976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113686$18A93EB3-331B-4564-93D7-E80261B6333B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A closure property of regular languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_closure_property_of_regular_languages"}}}}}