{"entities":{"Q5101349":{"pageid":7130925,"ns":120,"title":"Item:Q5101349","lastrevid":55414381,"modified":"2026-02-17T15:52:44Z","type":"item","id":"Q5101349","labels":{"en":{"language":"en","value":"Minimization and canonization of GFG transition-based automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7577580"}},"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":"Q5101349$B1DBD34D-FAD3-4980-821F-110EE252F18C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d840d0f16d6e78ec988b2e9495220df1afdd1c7","datavalue":{"value":{"entity-type":"item","numeric-id":5021012,"id":"Q5021012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$41ED6CBB-D21A-478C-ADED-42F171943892","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":"Q5101349$DB630C26-4656-49B6-9257-0B909465FF9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24c2eb8fa17c20bdfa5b9ef95dab30ffa7f0677b","datavalue":{"value":{"time":"+2022-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5101349$74DF9882-F685-460C-8249-DBF8308FA75D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2defac9ec330d4d2eb5b5126d3238db576eb5f28","datavalue":{"value":"https://arxiv.org/abs/2106.06745","type":"string"},"datatype":"url"},"type":"statement","id":"Q5101349$1A823A53-2560-48CC-B646-CAFE6CE864B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d836cf16b407628d4b0c843ee8b10bc9c2ed904","datavalue":{"value":"https://lmcs.episciences.org/9880","type":"string"},"datatype":"url"},"type":"statement","id":"Q5101349$EA1F57B4-47A0-4330-A692-88ABD0F18967","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101349$913B2333-7336-4FBD-9B90-86AFE6284D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101349$566916AE-35CB-4AB0-A3CE-C45979E94EF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91b5388f76ed5f67ae90f44b505aff440fc222dd","datavalue":{"value":"7577580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101349$A8E49658-246A-44A5-871A-5079197F200B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a541237a21fcf5311345413d8433f05fe80f884f","datavalue":{"value":"determinisitc automata on infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q5101349$C710A36D-DAFE-48E2-B477-07449FA31A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd34f04db95bbaa790e23b59a9e85354f214747e","datavalue":{"value":"good-for-games automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5101349$AE653095-7243-49BF-9B29-348BC8482983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dfec7221c250a573924e7fc0dc0250cbdd4a356","datavalue":{"value":"co-B\u00fcchi acceptance condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5101349$8A0968E9-F9A7-445F-AEDA-14B0DCC59413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1279221fe7735b1b47afd1411b335eca7e3f0e","datavalue":{"value":"minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5101349$CD0C6964-0697-4C54-A064-06A3C068632A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f526a35169268ef74f64b99af818a7faa8c6881","datavalue":{"value":"canonization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5101349$5581D200-129B-4A44-B56A-BCCC99B1D77F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$D6F53859-093A-4123-B0C2-1A766028C5DB","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":"Q5101349$360FFEC4-6CE6-4FF5-9687-69264F5383D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fe5487a30f4b15594fc8d1ac7743532141f160","datavalue":{"value":{"entity-type":"item","numeric-id":5091262,"id":"Q5091262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$0D839575-70BB-4869-9E5E-3B7B13C95B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f12a718e1f8ec7e1b3a139d60ca3ca31f27195","datavalue":{"value":{"entity-type":"item","numeric-id":5021013,"id":"Q5021013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$31FE6D67-791A-4C7F-93A9-AB552D8BB863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02840cdecd2a40e2c8b9d6697649753fbc6e2f6b","datavalue":{"value":{"entity-type":"item","numeric-id":6113373,"id":"Q6113373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$ED815228-AADB-4351-BEF6-1EF74B83D978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b480de29d4fff9d856bd111d68b9c96191d76781","datavalue":{"value":{"entity-type":"item","numeric-id":3549289,"id":"Q3549289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$572A99B9-DE47-4C7B-AAE9-71E9C5C5A7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a203aa1c7b785fea2117512950962acf7e43802","datavalue":{"value":{"entity-type":"item","numeric-id":5090951,"id":"Q5090951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$89B15703-6645-4AC4-92B2-981DF1FB2F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27cc158694cee4574d6bb26e8e09ba06f91453ac","datavalue":{"value":{"entity-type":"item","numeric-id":5327425,"id":"Q5327425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$AB9B365B-128B-4F0D-AF10-1B32E8B717DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f8474e212e837f5e6be74c727636f13951268d0","datavalue":{"value":{"entity-type":"item","numeric-id":5136308,"id":"Q5136308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$F140BD12-099F-4926-915B-1F9279470288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b110ad259b155f150d298b0c7b07dff05d89fcea","datavalue":{"value":{"entity-type":"item","numeric-id":5875380,"id":"Q5875380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$9D9B8504-0EC4-46E1-8AD8-41179FDDD384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"048b73d6f2a778ce0b4534d9e04bbf802cbbd4bd","datavalue":{"value":{"entity-type":"item","numeric-id":5136307,"id":"Q5136307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$BCBB9643-759A-468F-A7BB-B01C531030DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$54F76E53-96F0-4D12-A395-5C0F291249EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29fd71d501375c7cdb9c222ae894011237990a73","datavalue":{"value":{"entity-type":"item","numeric-id":3638091,"id":"Q3638091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$2D0676F3-2CA3-4609-BC33-290A50B6EE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257bde29cf31ef8d11489aceabb19d4387394d07","datavalue":{"value":{"entity-type":"item","numeric-id":4422087,"id":"Q4422087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$3176797F-F5E2-4720-9A37-DDBF43598F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b7a2ec3c749152e7b4afbc524ed973549c96f3","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$197275B8-35DD-421B-8D9E-0FD46BF16356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4b5b33fcc02d336bf442efe7ea3ec4d9601cae1","datavalue":{"value":{"entity-type":"item","numeric-id":5892175,"id":"Q5892175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$EF0E9E57-B096-4DE3-9551-981174077115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"925f1cb1a313033ab6eef609a47c5ea7fde476c4","datavalue":{"value":{"entity-type":"item","numeric-id":1854506,"id":"Q1854506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$56055EA6-D385-4782-93EC-1ED0E7E7C530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be2ce44bdf80df52f5a97dfe72ac01ea51570a9","datavalue":{"value":{"entity-type":"item","numeric-id":4045961,"id":"Q4045961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$F39AAE17-273C-4C86-8677-56DF1D0C7F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e79853adba7dabb9e347fbe23d83de53aae6e7f0","datavalue":{"value":{"entity-type":"item","numeric-id":3613352,"id":"Q3613352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$FA70C90F-C5D7-4F4D-BAA5-C6DBBDA2813A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"930647324b40cd1db4d53f275df3f9ce5173d5bb","datavalue":{"value":{"entity-type":"item","numeric-id":5401558,"id":"Q5401558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$E574F0A3-C0F8-4BD4-8E6D-3D0D46BD39FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e78d7d44652f20c2a60f72580420d04a08808e1","datavalue":{"value":{"entity-type":"item","numeric-id":4277533,"id":"Q4277533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$40397C06-43D3-4F48-89FF-2D2F35EB936D","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":"Q5101349$0510B18D-02D7-4240-9C7F-04F81312B345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8091299405c35479baafae89af1a807594a1d8be","datavalue":{"value":{"entity-type":"item","numeric-id":3449484,"id":"Q3449484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$FEB86AF6-B113-4FC6-B9AC-6AD04591BB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ad2bd33f7364db6e5c028f09f5805d0fafbd28c","datavalue":{"value":{"entity-type":"item","numeric-id":2576943,"id":"Q2576943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$C8F54A10-1475-4A3B-AF35-2D718B5BEC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a592cba5bd50a769a8b95145033ff13a570cf73","datavalue":{"value":{"entity-type":"item","numeric-id":5573396,"id":"Q5573396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$3C88AC3D-C7A5-4FE6-915B-0FCF9ED20145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c158dadd45f723badd393a645542b57039d857","datavalue":{"value":{"entity-type":"item","numeric-id":1603452,"id":"Q1603452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$FC259E1F-BE85-4A3B-92B8-6DF3339B538D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd79a1de38c165d0ca1355e68556bf899b647fc7","datavalue":{"value":{"entity-type":"item","numeric-id":703578,"id":"Q703578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$1DD6421D-F02E-4F2A-BC8C-450E0660BFEC","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":"Q5101349$A73E51A1-04EC-4902-8AE3-089A246EB67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a900a1b2fff17c3475869d05f2ce6a6836bfa390","datavalue":{"value":{"entity-type":"item","numeric-id":4991691,"id":"Q4991691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$D8D0AA11-AAFC-4B59-9729-E0DFB425B7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb5e81313562929b3637d7435bafb071d01e7e5","datavalue":{"value":{"entity-type":"item","numeric-id":2908870,"id":"Q2908870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$FC3E7C58-349D-4589-A887-85293E296871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72d789ac168a4414aaee7be5ed0816585e0b06ce","datavalue":{"value":{"entity-type":"item","numeric-id":4633559,"id":"Q4633559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$785CEE34-BEDB-4067-BF80-3BF499075791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101349$A57E5998-5DAE-442D-88C5-C6C7B1A69604","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb28aaa1ed87748615b29d173e382a0f4f135f4f","datavalue":{"value":{"entity-type":"item","numeric-id":5091262,"id":"Q5091262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bce1e14bdbc8aa5c1fdbf615cbf97a961bd36b09","datavalue":{"value":{"amount":"+0.9561499357223512","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":"Q5101349$2BF12E59-A17B-4A12-9B0C-E4DAA363E55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"627aa0e6e5b62a169920fdc3a0d246b91f76b4bb","datavalue":{"value":{"entity-type":"item","numeric-id":5021013,"id":"Q5021013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6b8b977c0ded669d399f44e64fdd13be4c97927","datavalue":{"value":{"amount":"+0.9368451237678528","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":"Q5101349$D001EB3D-3FD7-4ED5-9B40-B509E8B4B7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"771760150652959d5ae0ede78e5a9e6926c508fd","datavalue":{"value":{"entity-type":"item","numeric-id":3449484,"id":"Q3449484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54ee2f2d9bd48ba3555ce51e649981efd4db338","datavalue":{"value":{"amount":"+0.8368096351623535","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":"Q5101349$9539A630-CD93-4919-92D3-8BDF924273DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da03a12fd6e906118ac6c7036c43910968d9ed3b","datavalue":{"value":{"entity-type":"item","numeric-id":6160912,"id":"Q6160912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a5a782cc191ab1bb820e23c31a3aead62a24de1","datavalue":{"value":{"amount":"+0.8292669057846069","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":"Q5101349$ACAF7BF4-5BAF-4673-B3D0-70BDAE376033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942a00b32d00d6ed84ebd7f000aca00f86386c81","datavalue":{"value":{"entity-type":"item","numeric-id":5136308,"id":"Q5136308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a2d790946f2212f77bc6af615bf80a013cd7686","datavalue":{"value":{"amount":"+0.8135196566581726","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":"Q5101349$B96A8868-038E-4C96-9360-248ADBAC1924","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5101349","badges":[]}}}}}