{"entities":{"Q843593":{"pageid":845441,"ns":120,"title":"Item:Q843593","lastrevid":64758999,"modified":"2026-04-11T22:01:47Z","type":"item","id":"Q843593","labels":{"en":{"language":"en","value":"Complexity of the identity checking problem for finite semigroups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5659076"}},"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":"Q843593$D0F4395C-D069-4B07-A030-B907241E07C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f30f45e82cffa4912f555ebb2c0a84e3bb16df31","datavalue":{"value":{"text":"Complexity of the identity checking problem for finite semigroups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q843593$7B8A8E6C-E071-4FAF-A86D-5B99534A9FA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81742a2813d65c4f9a5e9d0dc97054a28ae9c30e","datavalue":{"value":"1213.20052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843593$A0F2F12E-64A6-4D8E-9ECC-16A9C1C74497","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8f6f14d44a9139f0fa69e5367a7cb3c49b7c283","datavalue":{"value":{"entity-type":"item","numeric-id":843592,"id":"Q843592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$A7FE724C-C196-4EFF-8269-E945BE176F1F","rank":"normal"},{"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":"Q843593$5A9409AE-7EC9-427E-A082-71234130D5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9836a36a6248613f2664814a87ea01a9c752cb6","datavalue":{"value":{"entity-type":"item","numeric-id":1729794,"id":"Q1729794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$6F649D74-5D42-40D2-9E5A-E94CC26DB1DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17c447c8e76a3a0e73a2c70a024d9ee2f8256c04","datavalue":{"value":{"entity-type":"item","numeric-id":195577,"id":"Q195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$88E202A0-2720-41FD-A965-0EA39B136520","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f6c5227c532f1642a28ac5ec57c91ab7b824960","datavalue":{"value":{"time":"+2010-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q843593$218D7F90-0775-47E6-8F81-2882A85A46D3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3b0c4dd2a1726e44ce046b0b30bc877e6978187c","datavalue":{"value":"Let \\(S\\) be a finite semigroup and \\(G\\) be the direct product of all its maximal subgroups. There exists a polynomial reduction of the identity checking problem in semigroup \\(S\\) to the identity checking problem in the group \\(G\\). This theorem and results from \\textit{G. Horv\u00e1th, J. Lawrence, L. M\u00e9rai} and \\textit{Cs. Szab\u00f3}, [Bull. Lond. Math. Soc. 39, No. 3, 433-438 (2007; Zbl 1167.20019)], imply the following corollary. If a finite semigroup contains a nonsolvable subgroup, then identity checking in the semigroup is co-NP-complete.   Combining this corollary with some known results one can obtain the following result. Identity checking in the semigroup of all \\(n\\times n\\)-matrices over a finite field is co-NP-complete for \\(n>1\\) and is decidable in polynomial time for \\(n=1\\). The second theorem is the following. Identity checking in the semigroup of all transformations on an \\(n\\)-element set is co-NP-complete for \\(n=3\\) and \\(n\\geq 5\\) and is decidable in polynomial time for \\(n=1\\), \\(2\\). The question about the complexity of identity checking in the semigroup of all transformations on a set with 4 elements still remains open.","type":"string"},"datatype":"string"},"type":"statement","id":"Q843593$84EF8188-78AF-457A-87F5-344C14D422C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843593$82631565-5471-4296-820D-1FD19E6FF7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843593$A9C023B1-16C5-4274-A2B4-70710E3DACC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843593$172C6834-26DC-4544-8C94-3258AA4F93D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843593$625624A8-938F-4505-808E-98E533C81E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843593$0F2518AD-83D0-4DA7-884F-3EE57DB53608","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19aa02231b127c530409c7c9c3b9ff4d7f67002c","datavalue":{"value":"5659076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843593$61F506B5-00A8-49B8-A71D-A12FECA75928","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q843593$6BF0D8F2-15EE-43D6-8054-108A049395E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q843593$24C085F6-97C6-433D-BF06-30EE5DDAC2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eda59607ea974662c63987d3e1ccb80ca617e20","datavalue":{"value":"identity checking problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q843593$0DC28163-F8D6-4216-BACD-27639F971C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cf16af914e2428e244410da2fab6079694a21c9","datavalue":{"value":"decidability in polynomial time","type":"string"},"datatype":"string"},"type":"statement","id":"Q843593$C6BC5B81-F5DD-4489-8B58-6D926208D6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5752b93a2be10066e2f422cfa3eb71ffad5aba2a","datavalue":{"value":"co-NP-complete problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q843593$17D5745B-B657-4972-BC5D-21EA5334F025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef18e45b31bdcff1d7b420ebfc8d24ddbe66e08e","datavalue":{"value":"solvable groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q843593$63B10358-B1E6-41CC-BAE8-93AD09A7C8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45e568d584a917d83f8bbe473f5eed22875c96eb","datavalue":{"value":"semigroups of transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q843593$6765A5B5-3E44-4A5A-8655-19661AE580FE","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":"Q843593$E26B3064-64F5-467D-92B6-2E6664090B93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3374cbdb81d58e9e4205ae7ed98ee20d75fec405","datavalue":{"value":"https://doi.org/10.1007/s10958-009-9397-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q843593$75E8AC9F-9885-4FAF-89D0-0C93174E5F10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"857969b884e4c572928c6d6bee74d2fc3868a1c6","datavalue":{"value":"W2044956773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843593$570DBAE4-1DFD-4FB3-A92F-6FCFD46C8EBB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d0da9c40c01ce8529115e079d019b21cf590cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5483459,"id":"Q5483459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$58962A80-2C14-493A-B6EA-70312CC01824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5549384f00be91893704f9c60426177f4bd66f7","datavalue":{"value":{"entity-type":"item","numeric-id":4507355,"id":"Q4507355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$3C808756-8346-4C6F-9B36-63339B961C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fa217a0c47396d6ab8ac4bc3663f02514d3e5be","datavalue":{"value":{"entity-type":"item","numeric-id":2366112,"id":"Q2366112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$B5FF09C7-4B66-41D1-9B97-11BB10945516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83819ca1cff05b8158f6922093c78b97cfd47472","datavalue":{"value":{"entity-type":"item","numeric-id":2577706,"id":"Q2577706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$10311E3F-2064-4CF5-83F7-D6BD1980E507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89bd324bacd50de3f878213bad2042040463d201","datavalue":{"value":{"entity-type":"item","numeric-id":1246047,"id":"Q1246047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$604D5443-B169-4824-80CC-4738949CF8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$6F73DE8E-1A1E-4EE7-A4B4-3FBAD2F902F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75bab9b0d89928186e46d5365ddd0fce7611a0a1","datavalue":{"value":{"entity-type":"item","numeric-id":5297585,"id":"Q5297585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$B2A53C08-C969-4CC1-A308-126975EF06DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6050894f5b25139356708ac3f5ed9b3c73276cf","datavalue":{"value":{"entity-type":"item","numeric-id":3421602,"id":"Q3421602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$936C0F4F-0A13-4A2C-BA2E-7C9E9D5ED808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94e57296c2438ccd115121977cc1d0b48c250032","datavalue":{"value":{"entity-type":"item","numeric-id":758209,"id":"Q758209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$87145963-CEF1-4477-9563-4C8DAFAD15DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1156eb20a5c26ea6d4a86983cd004860d468f1d3","datavalue":{"value":{"entity-type":"item","numeric-id":5470161,"id":"Q5470161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$B6C3B7CA-25BE-4C9E-BFDC-75ED2EAF340A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9604ef48a1d072ae091be88fc8054aaae48333ee","datavalue":{"value":{"entity-type":"item","numeric-id":5809228,"id":"Q5809228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$9418C486-BB2D-4AFE-8F81-BAAA7BC8780A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7052e136ef45381b7573adf4e904649228fe9980","datavalue":{"value":{"entity-type":"item","numeric-id":3342725,"id":"Q3342725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$0C070C03-9839-47B2-95CF-A7AA3A44C52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cacdfb749db4927d995d773c934bd80d94e1a7","datavalue":{"value":{"entity-type":"item","numeric-id":4863940,"id":"Q4863940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$A9DB622F-F25C-4E7E-89D9-F2F8320DD1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2713df12cd7bab3db676c02dbff3d45404bc0cc8","datavalue":{"value":{"entity-type":"item","numeric-id":4824699,"id":"Q4824699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$71B5BDB5-18AB-401C-B78C-31B142A9044F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1163b75feea329c267b3957b69fa43261ded1771","datavalue":{"value":{"entity-type":"item","numeric-id":2655464,"id":"Q2655464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$36563864-A943-42C0-9B80-0E9AB086AA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a934e6fc4d1457c5491e8a0f4669d1ac0f99f686","datavalue":{"value":{"entity-type":"item","numeric-id":3502845,"id":"Q3502845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$EB3A0611-9693-4288-AE31-E4C4744AE7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6efc40548740ad93e882830ee0a2b025cd1b6e58","datavalue":{"value":{"entity-type":"item","numeric-id":3654383,"id":"Q3654383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$5BCB1A02-DD97-4238-9035-D4508DBF08D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3cbffed8a301b84b1253490d8c6b17bf2e322","datavalue":{"value":{"entity-type":"item","numeric-id":4145882,"id":"Q4145882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$88360393-4BF1-4BEA-BA3B-83688170B431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$8ECE3CE4-6761-4AA7-A3E3-589A238AB70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68160731cf55d219ba94647825683328472c30","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$B21F6E78-2776-4FC9-A24B-7376CB7545AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b30fd147578354c576ab6eee82f0f88022fc5b","datavalue":{"value":{"entity-type":"item","numeric-id":5461667,"id":"Q5461667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$EEE0B238-190D-4F02-8785-B7922621FA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"778ebebc3476a42954d13011cebbf7300b845339","datavalue":{"value":{"entity-type":"item","numeric-id":2491185,"id":"Q2491185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$2C9C40E8-660A-4144-BF1F-8254FCD992FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e0449a2e5fcca77d1799d538be9a7901e2b87e","datavalue":{"value":{"entity-type":"item","numeric-id":4811888,"id":"Q4811888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$7A9B25B0-E37A-4209-BC5C-418E2900445A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af675aa943dd51185fffa60711728d98b3d09a4d","datavalue":{"value":{"entity-type":"item","numeric-id":2583608,"id":"Q2583608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$DE0317F8-5B61-48E9-AE4D-AE777958F59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d74409e32d56dcc3a4e3c5d9eb1a9d6d2adcebd4","datavalue":{"value":{"entity-type":"item","numeric-id":3043639,"id":"Q3043639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843593$9D99C546-7026-4782-829B-8A1140DBAA80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e753b007514eba38e5e97a125dacf82b93c66f35","datavalue":{"value":"10.1007/S10958-009-9397-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843593$998289B0-9A0F-4B5E-ACFE-1DCBE4036AA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce2ff4b33526d8c2976a3461dc091366a15c6026","datavalue":{"value":{"entity-type":"item","numeric-id":4824699,"id":"Q4824699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"959415c8107a38fd6f2e4df93e504b5fb46b177b","datavalue":{"value":{"amount":"+0.7904547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843593$A4FF5D51-0409-4202-83E3-8F96A32DD4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7436e8d6238155ad40176bcc88148146c54a87a6","datavalue":{"value":{"entity-type":"item","numeric-id":3450090,"id":"Q3450090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"277504f2f8f389397b2fc217662e0ca075cb67f9","datavalue":{"value":{"amount":"+0.7837416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843593$03BBC14C-FE90-48C5-AEEF-4A2F7AED5881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"715ee7831c4c7746e71264dc3f0dd1381d7ad1b3","datavalue":{"value":{"entity-type":"item","numeric-id":1770618,"id":"Q1770618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f057b65c2db1aa1c178cfab59d2f3912194e3c1","datavalue":{"value":{"amount":"+0.7627831","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843593$6A20FB0A-6A29-44DC-8323-39E37BFD9F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a976dc9b1000758d684182fbde700e0a128dd2d1","datavalue":{"value":{"entity-type":"item","numeric-id":2893294,"id":"Q2893294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94a7f43905bef6995f2ab819e3b8f60da5d40fe6","datavalue":{"value":{"amount":"+0.7405187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843593$4EFA5F99-2513-4D1A-9496-75B408D5E7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eacb3d47ba553bed6c80af1d4a1a95ad323b8c9","datavalue":{"value":{"entity-type":"item","numeric-id":4960463,"id":"Q4960463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99a0745c22f7b8432275827141dc5dd94f954d46","datavalue":{"value":{"amount":"+0.73977125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843593$BA308CA1-6B79-4D08-9342-0CC67D7A2AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8333b284db0ab9d10f45fb81823638a86a71c4cd","datavalue":{"value":{"entity-type":"item","numeric-id":444673,"id":"Q444673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3587c93878ec56c4d544b21cec21febf0023ea93","datavalue":{"value":{"amount":"+0.7373363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843593$9A4E997C-6604-4173-ACF4-741522099A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f20c482f75fdfea266d5538adfe3f3b940f6de7","datavalue":{"value":{"entity-type":"item","numeric-id":3801066,"id":"Q3801066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"081ab4deb70992c71935dc76b5140edf3e329434","datavalue":{"value":{"amount":"+0.7214805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843593$09726503-4F44-498D-9A60-0635D2370AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"168ee8b364fdd824e03167252e081edab0c86659","datavalue":{"value":{"entity-type":"item","numeric-id":2655464,"id":"Q2655464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06183740747679ea63b8cb3ddb86745ab352c0e1","datavalue":{"value":{"amount":"+0.7095951","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843593$AA37009E-4F90-4502-93C1-156C59A712CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02259172dbe9ff8c5c99c00ebb23fc96ef16b8b6","datavalue":{"value":{"entity-type":"item","numeric-id":2559565,"id":"Q2559565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28145e811cf8917dddf34a477c81867114754c58","datavalue":{"value":{"amount":"+0.7030475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843593$798577DF-FFAC-4E5C-97BB-AB5AC3BF2C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed2b3d9da933f2066146c6c96d00a7231dc5f4d8","datavalue":{"value":{"entity-type":"item","numeric-id":2776804,"id":"Q2776804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb2a324014d4d5177cfddae8d8f32859a180dc93","datavalue":{"value":{"amount":"+0.6957457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843593$18640371-8BC4-4561-9ECD-06DDFE08C533","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity of the identity checking problem for finite semigroups.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complexity_of_the_identity_checking_problem_for_finite_semigroups."}}}}}