{"entities":{"Q2171905":{"pageid":2182648,"ns":120,"title":"Item:Q2171905","lastrevid":54397403,"modified":"2026-01-26T18:25:53Z","type":"item","id":"Q2171905","labels":{"en":{"language":"en","value":"Recognizing pro-\\(\\mathrm{R}\\) closures of regular languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7583893"}},"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":"Q2171905$29D3C51F-AA91-42C9-A8B8-A84229AD3B62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f297c0a284f53e7ebfa20340f12283e29546325","datavalue":{"value":{"text":"Recognizing pro-\\(\\mathrm{R}\\) closures of regular languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2171905$2AF46912-860F-4E68-BCF6-A823BBBD3521","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8d052ea9878f7453f8cc5fa5227d90acb57531e2","datavalue":{"value":{"entity-type":"item","numeric-id":254046,"id":"Q254046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171905$145C8C90-46DA-4EDE-81D4-33954EFB16D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f5561f1c42cde5f70217ebe4e4d5873a9c192ce","datavalue":{"value":{"time":"+2022-09-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":"Q2171905$6DAD7496-3B92-4E80-BA37-A78BD849F53A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2af76c6780ccde2341630c0f09cee52aeca97135","datavalue":{"value":"https://arxiv.org/abs/1905.10460","type":"string"},"datatype":"url"},"type":"statement","id":"Q2171905$0F2FF385-0717-4AF4-8A7F-8D09B4C9CA6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2171905$749855F9-9C6F-407D-A53C-F14321124CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2171905$E0263857-3961-4C54-B9EF-4B92B5F40868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae6b9e87e3c0b5d45601be29172b84cf097faae0","datavalue":{"value":"22A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2171905$8F7C24AD-8847-49BC-962E-09D622108088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2171905$F98A2209-5772-430A-AC6B-2013584BA4B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff56d49bc9bc8f0c7942717a936d3558ed932aa2","datavalue":{"value":"7583893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2171905$2FF76E99-EDB5-4C12-B650-C9B189F1F26D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7378ef9d76422147ffe9d8049299da574ec48642","datavalue":{"value":"free profinite semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2171905$9976A044-299A-4F8E-B30B-6A7AF543C2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a934bf7492b5ae92925d698f08900dac484e3dc","datavalue":{"value":"unary semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2171905$20FC33EA-463C-48DD-9E8C-B8D7489130B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea9b35a533d874f0a32d77e584c8b61e0e7c2fe","datavalue":{"value":"regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2171905$5DB55B57-326B-44AD-9785-A8C71918208E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90ea2bcb0bd837f2c964518189ee78221f1bd360","datavalue":{"value":"profinite closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2171905$804B78DB-9136-491E-9A03-F97D53DD8E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1c4dec89fe14cce17fbba134c9553eb082cbd0b","datavalue":{"value":"R-trivial semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2171905$AAF85641-B820-4A72-A6B6-D2E03471B79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f47c3dddc4724bf925285bbadea9bee56bbfa7d","datavalue":{"value":"algebraic recognition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2171905$8ADC0881-21F1-493D-8EAA-5230CA223E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf020764596478b4a3e79bf192f9da61e332cd44","datavalue":{"value":"omega-term","type":"string"},"datatype":"string"},"type":"statement","id":"Q2171905$C1CEE528-233F-4BF3-B979-A98B0ED5C4DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fc1d31d63a2df647dd98cf320ada5d35f0019b0","datavalue":{"value":{"entity-type":"item","numeric-id":375866,"id":"Q375866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171905$082BA601-FDF0-4F5F-9EB7-438FF30BD10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a04dfd6ad89e3718aff552cbb95c1c2d3264bab","datavalue":{"value":{"entity-type":"item","numeric-id":209731,"id":"Q209731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171905$BCEA950E-BC3E-475B-BB20-01F51227D0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcf6ed4348178955f4994e3572da1b75de1cd896","datavalue":{"value":{"entity-type":"item","numeric-id":814805,"id":"Q814805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171905$9D31337B-41DC-49EB-BF99-A7B0D7B7014E","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":"Q2171905$A37C3859-62C3-4D3E-9C35-EFA187E00BE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eec01f76d6fa15c4911751896caa2a1e7837a62c","datavalue":{"value":"W4286697147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2171905$F60E588A-DB79-4008-B424-42082E893DB8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"56cff72cc85a6e2107f4c3f485eca02fb3927e13","datavalue":{"value":{"entity-type":"item","numeric-id":4008756,"id":"Q4008756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171905$7D0260A9-FC5C-4966-B7D4-88B5464DED3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7875b52ab4fcf3e5d69b03fceaaebd35254d1b0","datavalue":{"value":{"entity-type":"item","numeric-id":2770662,"id":"Q2770662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171905$78370102-01E6-48B2-91B4-D44A443C005F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc37b30bdae789bb35af7d70ef9b2601d7d24e4b","datavalue":{"value":{"entity-type":"item","numeric-id":3365833,"id":"Q3365833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171905$B04C39A4-C13B-4CF7-82F5-DBBA4309B3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c02dc995e7c98c97b72a6a33a712012b942b2be","datavalue":{"value":{"entity-type":"item","numeric-id":2074218,"id":"Q2074218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171905$03662128-ADA3-4328-BC62-A2D3698E3BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b1d07a1326efad9927f98836ebefe9f44dc974","datavalue":{"value":{"entity-type":"item","numeric-id":814806,"id":"Q814806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171905$E71FEA21-B6CE-4A46-B258-628708F7C0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b9469ecc79d0e59e0156a9a5f6532b8ee4c669","datavalue":{"value":{"entity-type":"item","numeric-id":2479751,"id":"Q2479751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171905$A08F4751-CA39-4B40-93EE-477BF12A18AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e8199f6155331da1df376ae27a33f8c77118c6","datavalue":{"value":{"entity-type":"item","numeric-id":2463850,"id":"Q2463850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171905$C49E2A2A-AF76-4BE8-8F6C-CEEFD26ADADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ddb87ff27ed617aa4dedf26b4a0dfb0c07be0d","datavalue":{"value":{"entity-type":"item","numeric-id":467504,"id":"Q467504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171905$B31E5B28-2538-4B71-A985-D127F00D069A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aff5c8cacd83ad6b7451a953232661ac875cd12","datavalue":{"value":{"entity-type":"item","numeric-id":4487602,"id":"Q4487602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171905$1FC5F276-BF29-47CE-ABEA-4DE5EE8F6633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97c0ac00b309898e517ed543994c15a0924dbcd6","datavalue":{"value":{"entity-type":"item","numeric-id":4354230,"id":"Q4354230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171905$8BB952D4-4600-46EE-B2D9-4325A48CEE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990c49199a1373744910c92f84c277fb81490547","datavalue":{"value":{"entity-type":"item","numeric-id":868948,"id":"Q868948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171905$FF9D95BE-05DE-41A5-92DD-D278752D48E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c4b58eef69ca002442fc8892d8951907306aa68","datavalue":{"value":{"entity-type":"item","numeric-id":3209328,"id":"Q3209328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171905$4AE13B31-4BCE-4AA6-B44A-2127EB875DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df82256ec16b020b97b4cf4ab6d1dd599f6a10c8","datavalue":{"value":{"entity-type":"item","numeric-id":4806416,"id":"Q4806416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171905$11A671DB-08ED-4FAC-ACCD-BF64DFE41E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddfcf188dd28b89f1b4d8d6a2324bea6ee5e1dd6","datavalue":{"value":{"entity-type":"item","numeric-id":4226312,"id":"Q4226312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171905$9C169247-5892-49E2-8809-F576578E0B6B","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":"Q2171905$2A0CA77A-A4D9-4AD7-B994-77EDBDAE446A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"682bef4b87d8d9f414af33c57acc5f6d9fd5348f","datavalue":{"value":{"entity-type":"item","numeric-id":1635816,"id":"Q1635816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171905$9F6708EB-FCEA-43EC-88E1-E99CC6ECA930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd5749752382c9fa1145e399db325bb2e1d191c","datavalue":{"value":{"entity-type":"item","numeric-id":2794672,"id":"Q2794672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171905$10E88281-742D-4645-92AC-FAE9E4F3BE68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbe3e7d3ba28dc4050cc90d37a151b70d3b715b5","datavalue":{"value":"10.1515/FORUM-2019-0158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2171905$F7BD6275-41B7-4EAE-9C82-D2472D3AE326","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0772c9f512c778fb8d185007b74f62de62038537","datavalue":{"value":{"entity-type":"item","numeric-id":467504,"id":"Q467504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a602f492c1076aff88383e3eeccbcc080774ab54","datavalue":{"value":{"amount":"+0.8125488758087158","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":"Q2171905$56255EBA-82E0-468D-A8D6-986CA152CD50","rank":"normal"},{"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":"d2bd5307d64c75732de9941fedf9f88782808253","datavalue":{"value":{"amount":"+0.7934149503707886","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":"Q2171905$5F43B412-89C9-4F88-95DB-277CDD8D6D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0025f9e2308bd3d2c83211ff8a68950b12edc3a","datavalue":{"value":{"entity-type":"item","numeric-id":1349899,"id":"Q1349899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f10f574b226c1b3be57b13e011a63856e9d5f59","datavalue":{"value":{"amount":"+0.727065920829773","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":"Q2171905$468A0CC5-7188-4649-8F57-D8E939DD23A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e082e7b0a0c639398620edaea41f722866362f9a","datavalue":{"value":{"entity-type":"item","numeric-id":5002824,"id":"Q5002824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71272a6fe68a79b3fd42346ae038acd6d6baa65a","datavalue":{"value":{"amount":"+0.7221725583076477","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":"Q2171905$6752BA9A-DCFD-4C56-B048-930A47575196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0da1fe5650ad1fa4cedd1a5b3d601fd6e722b92b","datavalue":{"value":{"entity-type":"item","numeric-id":3056271,"id":"Q3056271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beff39ecf6d3712db9fed55e5c65e949de127650","datavalue":{"value":{"amount":"+0.7213386297225952","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":"Q2171905$43C9C31E-6DCF-45E1-89B3-3381C98E75F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2171905","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2171905"}}}}}