{"entities":{"Q5892175":{"pageid":7929717,"ns":120,"title":"Item:Q5892175","lastrevid":101860922,"modified":"2026-06-06T03:01:29Z","type":"item","id":"Q5892175","labels":{"en":{"language":"en","value":"Minimizing deterministic lattice automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483246"}},"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":"Q5892175$BEE56319-4A1F-4A31-84B2-A1841DEF36D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d7cde0307f59fd1605cef01f89966b676905e5f","datavalue":{"value":{"text":"Minimizing Deterministic Lattice Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5892175$AE2A00DF-74D0-48CB-A3CE-F4186E1F2210","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d99fbdeed0f22cccf8b7168c7c2cce8ddfd51590","datavalue":{"value":"1354.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892175$D298E927-5080-4932-BD2A-1143306C0166","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cadffaff396e88beb0acc45c59b8dc3f51759223","datavalue":{"value":"10.1145/2631915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892175$7A0A3812-FECB-49F6-873A-54E0230D1648","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bccbb850e88d78fbf7145fdf2d552e052503299","datavalue":{"value":{"entity-type":"item","numeric-id":2946753,"id":"Q2946753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892175$1CA43C1F-E91A-4E62-BC2E-C5DEA1A380CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892175$C54E803D-82B6-41F2-A887-22F754CA2163","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892175$2F3FEEB6-697F-4821-8131-10CDADC676D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5892175$3BA60D48-9903-48F9-9A22-B54EA052924B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892175$785AAD1D-490B-4307-8C6B-5CC22695646A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892175$B10DC321-3818-4B33-B78D-67122F869763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892175$FB5E1C8C-A222-4C21-B017-8A3518A2F04B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed77a6d09ed9f00c40cafb25b14aa28bdd29ad31","datavalue":{"value":"6483246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892175$2607FFC8-4C5C-4570-8C86-F48E9A64809D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48cdf9e9dce5340311941627ef49e0cce7efc223","datavalue":{"value":"deterministic finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892175$FEF4596C-8ABA-4BDE-A51A-B9A6592FA78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaa1c16c1fcf63d25a5192e28a1f918ce30f2829","datavalue":{"value":"lattice automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892175$CA78785B-D4CF-493C-9527-6378AA8014DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3ab8efa0d90ed85e98ec62ba7ad657e9abf7de0","datavalue":{"value":"lattice languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892175$1EEFF924-D6F6-4FF6-8B70-66BCF0D838E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1279221fe7735b1b47afd1411b335eca7e3f0e","datavalue":{"value":"minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892175$D30B5BE2-4949-4B41-82C4-3EF45F59C4AD","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":"Q5892175$1D4B5686-37FA-4782-9841-F659C0B6423D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"915521481d88fa77729c0a037882a6b8327fc42f","datavalue":{"value":"https://doi.org/10.1145/2631915","type":"string"},"datatype":"url"},"type":"statement","id":"Q5892175$53414E55-2D1B-4CFD-BFE2-14637C3C2953","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c622afc3cb6fbd2e8b09bc330ba89d07980ca91f","datavalue":{"value":"W2004898185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892175$528CB6BE-CB97-41D8-8C92-3C9737F897A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"012f35871eb971a7786100c5b352601a0f91192c","datavalue":{"value":{"entity-type":"item","numeric-id":3512497,"id":"Q3512497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892175$B76372C3-E800-48EB-899C-D23CA27B9EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb46b665c4d01cdd72f034cac6c7dac8481fe1b","datavalue":{"value":{"entity-type":"item","numeric-id":4818796,"id":"Q4818796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892175$6AC69D16-2385-4CE3-A8A7-72DCDE6417CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43ded28dfcddfc12e7756640329f103bf1a26e17","datavalue":{"value":{"entity-type":"item","numeric-id":2754106,"id":"Q2754106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892175$8A757AF1-9025-4A32-9F25-7EF07F047B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a6d2db3368a3e599316e7e7ac61a76cea0dd8c2","datavalue":{"value":{"entity-type":"item","numeric-id":4531751,"id":"Q4531751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892175$9D969F1B-F858-4ECA-A966-97CD60B3F596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989952aa1582438a5332ec0bd4cee56dab73a9d","datavalue":{"value":{"entity-type":"item","numeric-id":836989,"id":"Q836989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892175$14CB38BD-A77B-4165-A935-4B3E0FCD1A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892175$65F71B9A-C13E-43D2-A522-2FA3828616BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69f62c4731187b7640525ed80834befb6b49bee6","datavalue":{"value":{"entity-type":"item","numeric-id":947781,"id":"Q947781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892175$1E2F4291-9A55-40FA-97B0-1130AE9D0FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b68f2bf44ff9263e34fb8a4b1b39f52f9f3df173","datavalue":{"value":{"entity-type":"item","numeric-id":3431481,"id":"Q3431481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892175$969C32D9-AB17-4114-B861-E8DC8265958F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f4d37d53db2925f92864a11c01a61286cd723c","datavalue":{"value":{"entity-type":"item","numeric-id":4316608,"id":"Q4316608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892175$B1280D05-A4D3-43B9-9AA6-A633944B391C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b65ce1b67969a15448bf3b77aebd5948a5c516d","datavalue":{"value":{"entity-type":"item","numeric-id":5452607,"id":"Q5452607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892175$5A545451-31ED-4C4E-AB4F-3CACCC515A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2330b52b48c5a7d7ae8e60f8d1eaec9d330b176b","datavalue":{"value":{"entity-type":"item","numeric-id":3552519,"id":"Q3552519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892175$E2B9A5FA-1E00-4036-8F46-8170DA160108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb772afe7ca582c3a770bf0640259e894a5237a7","datavalue":{"value":{"entity-type":"item","numeric-id":2372275,"id":"Q2372275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892175$ED091DAF-253B-4E63-9211-0C45B4B5E5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"740c0af9632da8fcaccf4ffd13bb3b31c0ce78b7","datavalue":{"value":{"entity-type":"item","numeric-id":1818961,"id":"Q1818961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892175$34340005-9BB2-4D59-AC87-CD854CF516AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f266f11d0364bdec27a15e27ebdf3a6e748a68","datavalue":{"value":{"entity-type":"item","numeric-id":3264483,"id":"Q3264483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892175$C500A509-B793-4C74-B2B8-B9682C485A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1372be857fd66d2ea268c1ef359d8d309e4c5707","datavalue":{"value":{"entity-type":"item","numeric-id":5426343,"id":"Q5426343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892175$CD3C0871-C1D9-4A88-9E97-913B146F15E7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bb690420425035f8e1e90eea5901fba12e3d7b72","datavalue":{"value":"Q130960636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892175$54CDFFB3-D64B-4046-B409-819E3C6E347F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7a706c8d314d37863f4ee890a68d377ad01dd16","datavalue":{"value":{"entity-type":"item","numeric-id":5892494,"id":"Q5892494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07326198abae11efd86239978556cdd9a905dc91","datavalue":{"value":{"amount":"+0.9971759915351868","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":"Q5892175$13FD650A-3950-4F70-99FB-68B1294B35D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf34813afeea324c12d8873e8bd695f4312333de","datavalue":{"value":{"entity-type":"item","numeric-id":4649285,"id":"Q4649285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8304fe001ed8cf44722c114ee7b113308978e091","datavalue":{"value":{"amount":"+0.8856639862060547","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":"Q5892175$F51FC862-E69E-4684-BDB3-ADEE2A66F983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa924c4c650e87e4a51d063c38a3724517ea1ed1","datavalue":{"value":{"entity-type":"item","numeric-id":2372275,"id":"Q2372275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76fad6ae1f9c1dc016b811494ec44818eae979c1","datavalue":{"value":{"amount":"+0.8185251355171204","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":"Q5892175$069CBFE3-C9F1-4D56-A9C0-3275A24B6527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd576ebb717d9d7c40912dbb6c661f911319c9b2","datavalue":{"value":{"entity-type":"item","numeric-id":3079397,"id":"Q3079397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52afe3a8190233bc40c2e49e8d5fa79dccb12a5a","datavalue":{"value":{"amount":"+0.8061915040016174","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":"Q5892175$132A9166-34E7-4615-86ED-7DA8467A93AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f2faf228db1c0aa13e64e714fee2e65b9e66183","datavalue":{"value":{"entity-type":"item","numeric-id":3540127,"id":"Q3540127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10d719ad1d23f3f702fbec4650ed6f006d3aece5","datavalue":{"value":{"amount":"+0.7983614802360535","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":"Q5892175$FB4F44ED-DBFB-4161-91F3-FE4F772B4B9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Minimizing deterministic lattice automata (scientific article; zbMATH DE number 6483246)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Minimizing_deterministic_lattice_automata_(scientific_article;_zbMATH_DE_number_6483246)"}}}}}