{"entities":{"Q1575683":{"pageid":1586423,"ns":120,"title":"Item:Q1575683","lastrevid":67939293,"modified":"2026-04-12T20:21:37Z","type":"item","id":"Q1575683","labels":{"en":{"language":"en","value":"A proof of the Krohn--Rhodes Decomposition Theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1493461"}},"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":"Q1575683$2BC96C32-4C36-447F-8A3C-5B05915D3607","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"047582fd13d24557d4d2086868ad688ae68a55bf","datavalue":{"value":{"text":"A proof of the Krohn--Rhodes Decomposition Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575683$2FD1B2CF-C74E-4FFF-BE7A-31D866274366","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d95083ee7c8320977636a57225ecceccef4ecd80","datavalue":{"value":"0944.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575683$1AC87066-5C6B-46E6-B97C-040EC099EE7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a44aac045ab0ed1b188bb9bc6f2e575094189838","datavalue":{"value":"10.1016/S0304-3975(99)00315-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575683$5031E2BF-A348-433D-9BE9-075A24379AD2","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":"Q1575683$323A317F-1AF9-4D0E-88D1-DBE93C67525C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3a497233c3b9babc42d370358782cbff338a7a1","datavalue":{"value":{"time":"+2000-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1575683$A302B1C2-363C-420A-937C-7755E2F52190","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575683$B9F97594-B617-4F96-9D3C-30162BA6DD99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ceb4605a8a77ad62a7f3c460f9870c7549cfe4e","datavalue":{"value":"1493461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575683$6D15551A-2606-49E4-AD91-E9F540E9681E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575683$52A7B20E-D3E1-499A-B618-26CE2D31F2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a61a9b75462ed3eb7cfacb9f9dcf7580b2264c","datavalue":{"value":"cascade composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575683$B37095D4-F214-4D1B-B484-9264C2CDC9F5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"506d2d0eeccd27cdac7c82c0eeee5977a98d946a","datavalue":{"value":"Q56334823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575683$70F6F22D-986A-4E60-8923-4FE5641680CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575683$DF6384A8-B778-4182-939F-3ACE3C8B32D4","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":"Q1575683$C803BD45-1755-45DE-A2BF-3ACE93455B03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"572a359ebd12680219af062d2612606f0a5d8e1f","datavalue":{"value":{"entity-type":"item","numeric-id":5570933,"id":"Q5570933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575683$BE6FFC5A-E027-4DCB-9B08-C000DE3C3C8E","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":"Q1575683$AEAAFAC7-96E5-4155-B917-DD22686536D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a94bcbc82879e1f97cb094503399ad981c35aed","datavalue":{"value":{"entity-type":"item","numeric-id":1177141,"id":"Q1177141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575683$B36AF8BB-774C-45A0-8293-04622B4D3CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608533bf3c2d046e29c46a84659be2d633077793","datavalue":{"value":{"entity-type":"item","numeric-id":1283821,"id":"Q1283821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575683$BAFE611D-67F0-4D8D-B574-AAC8E16AA44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd3f5aacab8b165da3e0b98ec43c027e458b7b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3776631,"id":"Q3776631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575683$73E9EF4B-6964-435A-82AD-A2492E43F72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84be555853de48c870ad3ebd13ff25ae68b38a7","datavalue":{"value":{"entity-type":"item","numeric-id":5590815,"id":"Q5590815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575683$B29579F1-1C7B-40E4-B2D8-77C4EBA6D9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff39950e6bfd751b7e8599d8782580965399047","datavalue":{"value":{"entity-type":"item","numeric-id":3951547,"id":"Q3951547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575683$86B4EF15-E57D-442E-9C17-39416E931CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c01b32f08130a44f4ffd0fb7baa0d3f8f650a7c","datavalue":{"value":{"entity-type":"item","numeric-id":5526129,"id":"Q5526129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575683$24410278-22EF-44D7-95B3-E40790A523E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575683$A2CEFC6A-E18C-4403-8DE2-4690B4EFFA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d8ebd3ef53d7996f7c569cf6663fe1170b13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4302435,"id":"Q4302435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575683$A5D6D08F-3822-47B3-9CEE-C63A237CA377","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fccea671ea93f7ac232b52b6ce954ddde1cd9249","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(99)00315-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1575683$C7D2E5F7-2173-4FF2-AD57-3DC2E8F65FAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c9ff2e730f3f76db520c6ed5285df21eb790cb6","datavalue":{"value":"W2089606312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575683$6513645E-6BAF-4B71-B804-CF4214B5CB4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c6fa29b43a512a8e35cfe5cb39707df917734d0","datavalue":{"value":{"entity-type":"item","numeric-id":3587258,"id":"Q3587258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff12828ea320467e3a7e33a8c0654e5e3847e502","datavalue":{"value":{"amount":"+0.9283468","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575683$AC9A4A23-85C8-4C16-A37A-3125BE7970F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc90b97adf9ca206a59182ddfdef5119b31246a1","datavalue":{"value":{"entity-type":"item","numeric-id":4522843,"id":"Q4522843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d3b04cf4e0056d473f329495b37348ad74c6ee6","datavalue":{"value":{"amount":"+0.9007032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575683$2156CAD6-B4BF-4061-A09C-E1BF3599B03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e4fb25a26104ea001ce7b93e59029fdec2a3d67","datavalue":{"value":{"entity-type":"item","numeric-id":4304546,"id":"Q4304546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38a5fcc82062827653ef8b937a855874ed26d5ac","datavalue":{"value":{"amount":"+0.8993454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575683$59337B2C-8F94-4240-8A1E-E1F429D34C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41e20bec772de793afb1f2acf22f0d4c1e4d2596","datavalue":{"value":{"entity-type":"item","numeric-id":914250,"id":"Q914250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e00588a54f372ec581e88a556bd3926a9b87d5d","datavalue":{"value":{"amount":"+0.8937398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575683$64465B24-8FB8-4963-B868-E8623D199666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3ff29cb919b3fda1835f2b623cd446ca078e727","datavalue":{"value":{"entity-type":"item","numeric-id":5477809,"id":"Q5477809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9483b815a0138ae662f93269f5d2a2a578f99420","datavalue":{"value":{"amount":"+0.8901793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575683$F6D17587-1268-47D1-9E52-34E281E142F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3593493b5203b801047a65eada1f0f314665da4","datavalue":{"value":{"entity-type":"item","numeric-id":3344034,"id":"Q3344034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cef53c40da1d1a2a70ae2a622c253e9726ebaa52","datavalue":{"value":{"amount":"+0.88981575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575683$83764774-1AB0-4FB4-A5B7-61B61BCBAF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d569d0faf18fcfe9c880d026a0070b1451026845","datavalue":{"value":{"entity-type":"item","numeric-id":3680286,"id":"Q3680286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa057e19379cc5489c531b264db523923f9f7f17","datavalue":{"value":{"amount":"+0.88740045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575683$693843B9-C70D-4650-8DB6-1A6BC6BD41B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"078771eb21f559a05cada0e252df012a06ac168c","datavalue":{"value":{"entity-type":"item","numeric-id":2626879,"id":"Q2626879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55a1ed8d72a06932c7268c7554c48c75c13c8d9f","datavalue":{"value":{"amount":"+0.88736665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575683$3F525799-F796-4670-A95A-808F9AAC62AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0df481944a6a994824b16aac758a5946f05e3c2","datavalue":{"value":{"entity-type":"item","numeric-id":2035589,"id":"Q2035589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccea70642d8066a2e6f34aaa83bd39baa9e329f1","datavalue":{"value":{"amount":"+0.8842448","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575683$380F2625-8FC9-4A11-AC24-6AF81B30D65D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof of the Krohn--Rhodes Decomposition Theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof_of_the_Krohn--Rhodes_Decomposition_Theorem"}}}}}