{"entities":{"Q1575893":{"pageid":1586633,"ns":120,"title":"Item:Q1575893","lastrevid":67938555,"modified":"2026-04-12T20:21:23Z","type":"item","id":"Q1575893","labels":{"en":{"language":"en","value":"An efficient null-free procedure for deciding regular language membership"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1495181"}},"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":"Q1575893$A452F2BF-1560-4286-B1BF-C27322624B93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06201831475853e2efaad418c8ee9595a556b46e","datavalue":{"value":{"text":"An efficient null-free procedure for deciding regular language membership","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575893$F049D6BC-C328-4F9D-8FFF-8BE8FCFED2AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe87ae1fffea94c37d19cd9b0b679558105ab1b3","datavalue":{"value":"0953.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575893$EE44ED9A-3FA0-4103-86DB-B0C03290E0D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"976e969bfac394ac01b0b88d32dba231324cfed1","datavalue":{"value":"10.1016/S0304-3975(99)00019-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575893$1050F03F-7FE0-480D-BBD5-D38323BB1BA1","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":"Q1575893$ECB5F91B-7C6C-4CEF-81DD-E192DCF171D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b75bb4814c2bf285f873da0d0a308eb99ddd7a4c","datavalue":{"value":{"time":"+2000-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1575893$79FBD4C1-8705-4465-9671-B2E014E50EA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575893$8479E65A-FB58-4370-9E6E-F8391320B773","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68b6846bd864620960420edd9d5315a9d63a8335","datavalue":{"value":"1495181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575893$D0EC5B1B-C664-4A5A-A527-4B1245833714","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03ceea31cb22ad4f43c91ee2489b4dddfc258d5b","datavalue":{"value":"Glushkov automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575893$2A31FF91-B92A-4A59-A413-9122C59092E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6d8b2726414ae4b9c090a6569372588be8ab6e3","datavalue":{"value":{"entity-type":"item","numeric-id":1280233,"id":"Q1280233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575893$066DE1F8-5DD8-456C-9A82-179E5480630A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7052141f94087e945c7103e32995aa8f78479791","datavalue":{"value":{"entity-type":"item","numeric-id":32793,"id":"Q32793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575893$967EE68E-101E-48B7-AD7E-6A31F386A088","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":"Q1575893$305A036C-B62C-4DD1-9096-61C61F4895EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd3d06510851d82dfb1e7b6453192d4ed8bc5f3e","datavalue":{"value":{"entity-type":"item","numeric-id":4385510,"id":"Q4385510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575893$B836FE3C-C40E-4D40-97F2-7BD77E4F8D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e884892508373839ae801c95d241a499a8aaf0a5","datavalue":{"value":{"entity-type":"item","numeric-id":4055184,"id":"Q4055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575893$160C17FA-8019-472A-A665-01ABEA7A653B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4a0c107773baf4c7b30e2c05565087fb2ff673","datavalue":{"value":{"entity-type":"item","numeric-id":5452362,"id":"Q5452362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575893$8CDC6BC6-E18E-4D8C-9E10-A81B8B9015CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1627b0ef0dc706a0d145ad59d2ccb2cc61cb36","datavalue":{"value":{"entity-type":"item","numeric-id":672142,"id":"Q672142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575893$98ABF60B-059D-4AD0-AAA5-10626FBB261B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf72cd39e1a458db54e84dc9cd6dc2728e5f092","datavalue":{"value":{"entity-type":"item","numeric-id":580983,"id":"Q580983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575893$B4ACF994-2D2D-4C0D-A859-68C594E2A182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4eb55a9a5e4c111bddeb36cf19bf8e8abc5d737","datavalue":{"value":{"entity-type":"item","numeric-id":1314367,"id":"Q1314367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575893$6D5A710E-F5C6-4552-B652-C182D7337DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1780c531bef2cce514180b12f47d2d5de6c9687","datavalue":{"value":{"entity-type":"item","numeric-id":5096780,"id":"Q5096780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575893$9DF3C0E3-D9D3-434E-8C6B-BD0DE03919C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ec0346c7c69cefc06dbbc0c0175e3cadefef3b","datavalue":{"value":{"entity-type":"item","numeric-id":3289362,"id":"Q3289362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575893$0A032752-7F51-4093-8BC6-6F91C86B1DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b948cf6e6f83b1cb8c51cf87e1e86440247cf663","datavalue":{"value":{"entity-type":"item","numeric-id":685473,"id":"Q685473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575893$5B1E4050-B023-4AFC-84F1-56744E2BBED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575893$44C97DAB-AF94-48F8-9210-25E9BB23CBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2e4b21c372c2b904df58e25dc95afd9c8f8a06","datavalue":{"value":{"entity-type":"item","numeric-id":5047159,"id":"Q5047159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575893$7D853FED-AA6A-46E0-B0D8-E51DF92E7A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5690982c79e5dcb249ef885ed20addc91cd915","datavalue":{"value":{"entity-type":"item","numeric-id":3238618,"id":"Q3238618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575893$7006A523-9D98-46AF-857F-427ADC30E252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac7f741f9b1e3426d597355d63b43bdf762c36a","datavalue":{"value":{"entity-type":"item","numeric-id":4148937,"id":"Q4148937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575893$47AE475B-BE9B-409E-ABB5-4F26E9B303B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec66fa64dfef8f56381c0991953e048ebc1437b","datavalue":{"value":{"entity-type":"item","numeric-id":3999156,"id":"Q3999156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575893$D101C358-A5EB-47DC-9835-E2D93AABA8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c71bf5594d80706e33dcbc13841c2d147bc380","datavalue":{"value":{"entity-type":"item","numeric-id":4077455,"id":"Q4077455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575893$045389CF-3685-482D-BE0E-088D7133A06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a03efa3e8a787ca556e8f11efd48be51043692c","datavalue":{"value":{"entity-type":"item","numeric-id":5549415,"id":"Q5549415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575893$85C741E0-BB44-4E0D-8309-A3A9DDA6C290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d617310b37fc85fd09ec7dd2c4fe23b8a3c75fd8","datavalue":{"value":{"entity-type":"item","numeric-id":4692941,"id":"Q4692941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575893$BC397673-23C8-4FFF-A76F-E7D91A241484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"163d801e738852651796b1d77a9335c69b72c9f1","datavalue":{"value":{"entity-type":"item","numeric-id":1280234,"id":"Q1280234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575893$0ECB4E6C-225F-449E-8143-725F1762FD51","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d8211ff19732af4b6727c82674db4aa5c6cc46d","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(99)00019-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1575893$DBE85D26-F9D5-4EE9-8233-0623786DC720","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be3c2e2d9546d68636232c9a150b34482feb5ee6","datavalue":{"value":"W2081718329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575893$B04AB3C3-01BB-4C68-9DD0-746CD8BBA89D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"228e76d69720b1014643af5e6373f4746511434e","datavalue":{"value":{"entity-type":"item","numeric-id":4302816,"id":"Q4302816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd7d55ee8c4c2d03271d0cdfe07aa7b974887d5a","datavalue":{"value":{"amount":"+0.7475662231445312","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":"Q1575893$F7D3A84D-BF96-4C17-9002-22E3835FADBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83b235a936aefc5a4eac490fac643662319f4ba4","datavalue":{"value":{"entity-type":"item","numeric-id":1314367,"id":"Q1314367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ae972e42eeac010826271c0ba9ba0f47748670","datavalue":{"value":{"amount":"+0.7417204976081848","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":"Q1575893$5B2CD812-03EB-45FB-A9E0-6B379635854C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4d4d4db44f95a6b690da8e54faf9ee0e5250abf","datavalue":{"value":{"entity-type":"item","numeric-id":5384522,"id":"Q5384522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15fcf761e56835f54092697e34418b6b9e84d542","datavalue":{"value":{"amount":"+0.7406879663467407","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":"Q1575893$FB8C850B-F9BE-4E64-A198-B883B1C0936F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17fd67be0a253c91bfae5adfe3471e9a15b3f9f0","datavalue":{"value":{"entity-type":"item","numeric-id":3056281,"id":"Q3056281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"236182f986ad39466329bb939e4a4374bc2fdaaf","datavalue":{"value":{"amount":"+0.7359879612922668","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":"Q1575893$38EE832D-10EE-4414-8DF4-F1D79CB95562","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An efficient null-free procedure for deciding regular language membership","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_efficient_null-free_procedure_for_deciding_regular_language_membership"}}}}}