{"entities":{"Q1126707":{"pageid":1137456,"ns":120,"title":"Item:Q1126707","lastrevid":66829461,"modified":"2026-04-12T13:08:25Z","type":"item","id":"Q1126707","labels":{"en":{"language":"en","value":"Simple groups in computational group theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1184265"}},"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":"Q1126707$A3A77415-E53A-42D5-8C3A-6E5BC690AB91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0fff5f7687461e2559bd4d6818f90c5f99b22ae","datavalue":{"value":{"text":"Simple groups in computational group theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1126707$C1D2A7CC-9D74-492F-9F0A-494F439FB3F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef12cccac164479403c1b4a015f38a18f1b4c559","datavalue":{"value":"0907.20001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126707$D38BBF12-BADB-4EFB-B41A-60F7F9649F71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc6a24839bba9155041f3b58a350aa366d2199c","datavalue":{"value":{"entity-type":"item","numeric-id":558388,"id":"Q558388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126707$3284E77C-3BC4-4B87-B875-E4BB9360D5EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4add3c5163a5eee9bbe20dc8a36386ab43b68fd6","datavalue":{"value":{"entity-type":"item","numeric-id":168490,"id":"Q168490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126707$DAF5ADBF-B4D5-4EEE-BF35-2BCE94AD33BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3db2eb2e003c0308e77b1da3e621f97dd9657c54","datavalue":{"value":{"time":"+1998-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1126707$1863607B-C370-466A-A018-7AFF90742A88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1c54318b128b7c412279a7179d812128d966de1","datavalue":{"value":"https://eudml.org/doc/222771","type":"string"},"datatype":"url"},"type":"statement","id":"Q1126707$D35614AE-95AD-4DEC-A82E-AEB974BA700C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"2303951ee724d3d579d0359f4bd860e9eff33457","datavalue":{"value":"http://www.emis.de/journals/DMJDMV/xvol-icm/02/Kantor.MAN.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q1126707$20089774-896A-4E0F-BDB3-7E68744C67BB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"643968bcd0cfdd2bc950a1be442018b65a149ac6","datavalue":{"value":"This paper surveys many recent results which use structural properties of finite groups to create efficient algorithms for group theoretic computations. The author discusses applications of the classification of finite simple groups to computational group theory, emphasizing results where it is far from obvious how simple groups are relevant, and focusing on the mathematics behind the algorithms. Several theorems are stated with some discussion of the ideas involved in their proofs as well as connections between the results. Many of the theorems stated have the form ``There exists an algorithm \\dots'' (followed by some type of efficiency statement about the algorithm as well as what it computes), but the author also discusses related nonalgorithmic theorems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126707$DE0549E5-C83A-47CF-891E-8952CAEDF83B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f96720fe29e309c34c82deec20bd95823bb71652","datavalue":{"value":"20-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126707$CFAD4DFD-9D91-4F79-BEB7-0B9B3D075AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d42408b3b2a5719112a50156031a4dfd0836cf9b","datavalue":{"value":"20D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126707$1C9FAF40-5E6B-4D86-A67E-C9B53CF6A6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126707$4BFD05F0-BCAC-43D9-BA28-3109ABEA34D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ac1dafab2cb163643c64b3cf5c7678542cb29be","datavalue":{"value":"20B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126707$D7BDA672-E2BF-4A58-AAC4-B2EBF833C7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126707$DFF83815-EDE5-4EE9-A77D-ED9FACDD846B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"417ffc0ae9fbe4d7ece1b4218905d13f52dea1f4","datavalue":{"value":"1184265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126707$C9A68075-6659-424C-8EAB-3B195CFD2076","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d50585c3a2639bb47c319d2dd8d470867875788a","datavalue":{"value":"group theoretic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126707$1691A978-38BB-4DC5-8594-9E73D91E35E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"781472ecbde784b8712de19276ac886b0f3059e5","datavalue":{"value":"finite simple groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126707$0CB168E1-5E9D-4D09-9122-78D3A1504733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f12eb165bd6cb53df1cbde83765cb1c65a6033d","datavalue":{"value":"classification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126707$6529EA04-7071-4154-9A11-A91776986486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff9f78089affef06c072081bb824e40f99a75bd9","datavalue":{"value":"efficient algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126707$D078A42C-72CB-460F-A219-4D9A8303914B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"049723a0d6b9805299dc5ac60f4b30f3ffca1d3a","datavalue":{"value":{"entity-type":"item","numeric-id":757410,"id":"Q757410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126707$EA81C333-E29F-4317-8E72-D8231D9C698E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fe03e5b78d9974ebdfc0233dbd377f30d5d075f","datavalue":{"value":{"entity-type":"item","numeric-id":13295,"id":"Q13295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126707$DDE5F563-1EE3-4DB1-B07A-F04E480E5F28","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":"Q1126707$2E50AD26-0712-4716-8BC9-CCAF5350EF87","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"fa05bce6ba28c45efe15c9fc9d326d9da2362713","datavalue":{"value":"bafkreialzw7vswyt4tw2ryctdwzhbc4txl2qa64mfmpk4q34lmqzh2uh4m","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126707$259A110C-CBD7-4404-BE02-E59951757967","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"829c5df2091f1220303d1311dff2b325bd2841db","datavalue":{"value":{"entity-type":"item","numeric-id":3724530,"id":"Q3724530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b67e3136af6175815da7549e7aa077a6b0336514","datavalue":{"value":{"amount":"+0.836736798286438","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":"Q1126707$361B141C-02D8-4DA0-8CF9-CFE9CE9ECABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"268627bfad8bf89ac206db18ebd9f583fda57b7a","datavalue":{"value":{"entity-type":"item","numeric-id":4011250,"id":"Q4011250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"963c867d8c97987e8e4a7a43327ea866951c8a75","datavalue":{"value":{"amount":"+0.823293924331665","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":"Q1126707$05446F55-416C-4A25-9442-AFBA4CAA2D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"483f495cc7083f798ad1afc72443cc5a5020470e","datavalue":{"value":{"entity-type":"item","numeric-id":5480741,"id":"Q5480741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d10a26a1f1cd370d771bd1532e6db23b0f7faf5f","datavalue":{"value":{"amount":"+0.8190881013870239","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":"Q1126707$F94B26D7-BE66-4B8E-A63A-3AF2D8736346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6580792411f51c62494f66e6526859359aab7154","datavalue":{"value":{"entity-type":"item","numeric-id":2841965,"id":"Q2841965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fee65f0678214d748c22fa06185ca6ee65f581ae","datavalue":{"value":{"amount":"+0.7980987429618835","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":"Q1126707$AC9969C5-C939-4143-A37F-7A0284E4143C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simple groups in computational group theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simple_groups_in_computational_group_theory"}}}}}