{"entities":{"Q7361750":{"pageid":31520789,"ns":120,"title":"Item:Q7361750","lastrevid":105423821,"modified":"2026-10-08T13:45:46Z","type":"item","id":"Q7361750","labels":{"en":{"language":"en","value":"The Factorization Algorithm of Berlekamp and Zassenhaus"}},"descriptions":{"en":{"language":"en","value":"AFP entry Berlekamp_Zassenhaus"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98625ee5f80a8020b3f583b73263334890414ae7","datavalue":{"value":"https://isa-afp.org/entries/Berlekamp_Zassenhaus.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361750$3F4F4F20-AD2C-429C-9554-BA85142AB993","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"3ac7196df7cfbb13ec1a00e4eadbe8c75213209e","datavalue":{"value":"Jose Divas\u00f3n","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361750$B4993E00-6002-4E52-8A56-A456934F32FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"68caf737a72c94bcb2627452f3944631c5b3bfaa","datavalue":{"value":"Sebastiaan J. C. Joosten","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361750$DEA54F7F-C7F9-4A37-9C6B-6CADCD8A94CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"3e961f1f2b2e533bd88ffdbcd178bd2ef2813f73","datavalue":{"value":"Ren\u00e9 Thiemann","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361750$3AAFC3D9-3E5D-414F-8974-BF1DFFFDE508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"4e646f16cde9cfa1c19d0771a8f74ba7e8c772f6","datavalue":{"value":"Akihisa Yamada","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361750$444C145C-1F12-46DD-BE6A-BA38398C401E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"acab5b2147c9223766fa3300f41b8d64080739ff","datavalue":{"value":"We formalize the Berlekamp-Zassenhaus algorithm for factoring square-free integer polynomials in Isabelle/HOL. We further adapt an existing formalization of Yun\u2019s square-free factorization algorithm to integer polynomials, and thus provide an efficient and certified factorization algorithm for arbitrary univariate polynomials. The algorithm first performs a factorization in the prime field GF(p) and then performs computations in the integer ring modulo p^k, where both p and k are determined at runtime. Since a natural modeling of these structures via dependent types is not possible in Isabelle/HOL, we formalize the whole algorithm using Isabelle\u2019s recent addition of local type definitions. Through experiments we verify that our algorithm factors polynomials of degree 100 within seconds.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361750$8576579C-C6BD-4FF3-AE81-6E2776FC198F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"31385ef3ca1eb53ed08bbfa48b8b91d2510acbaf","datavalue":{"value":{"entity-type":"item","numeric-id":4282674,"id":"Q4282674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$97E19930-F2DC-45F1-9825-3DD7CD6BE501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a12c8e6968784fcf3cb8105db0edc338d9a5ec0c","datavalue":{"value":{"entity-type":"item","numeric-id":3192189,"id":"Q3192189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$781C9AA5-B963-49E7-BFEF-355D7B5797B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f259479a384f8ecfe337d79512b22e03f359c6b3","datavalue":{"value":{"entity-type":"item","numeric-id":5550483,"id":"Q5550483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$ADF58A07-F506-468E-98AB-6B2B90B30756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8993621a5e54be19ec4d0f866ea1f4abc73e5f0","datavalue":{"value":{"entity-type":"item","numeric-id":4166225,"id":"Q4166225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$6D0E8747-E21B-4FC2-A5D9-B8D3DA5CAED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8eb43c227fc9f543287261c48d56fc3bf061128","datavalue":{"value":{"entity-type":"item","numeric-id":5408194,"id":"Q5408194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$23539AB0-46A6-4175-BF07-E8CAE5269141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aef60bd392ccfb5e82daa98f095917b33d1745","datavalue":{"value":{"entity-type":"item","numeric-id":3183545,"id":"Q3183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$BE38CA7A-E40E-4039-ACCF-C251DF182F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8140e4105e9a133f88717f08d7a9ce19bb1f9cab","datavalue":{"value":{"entity-type":"item","numeric-id":5277869,"id":"Q5277869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$29A945A3-AEC5-4023-B9C9-A09A5174F6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c42c28f22f89fe1b66164f9ececc2021ac1a2","datavalue":{"value":{"entity-type":"item","numeric-id":3558332,"id":"Q3558332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$DCB20F66-FF83-4F93-91AE-0631F132B073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a291d4cf6a21f184ed89e23d3d44baace280bb6d","datavalue":{"value":{"entity-type":"item","numeric-id":2914733,"id":"Q2914733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$B204D94C-4378-4C01-A8B6-C165E85851D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33edf6c60e987374ac2b92fef6c7f79da2b1b282","datavalue":{"value":{"entity-type":"item","numeric-id":2881068,"id":"Q2881068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$8E4CC489-A019-4871-86BF-C8EE6F5F9FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58ddf6c15587cc8d775178ac7830ee9b5995c206","datavalue":{"value":{"entity-type":"item","numeric-id":5532045,"id":"Q5532045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$222D3EBB-7D52-41B8-BBD9-20A40379921C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff56ad271be0143ed70be6e0e6dd3643e98b7af","datavalue":{"value":{"entity-type":"item","numeric-id":3453644,"id":"Q3453644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$64FC8F06-782D-4BAF-A6DA-4E35C123FF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0d795517e293a55fbffeee6d84c637293c8bf8","datavalue":{"value":{"entity-type":"item","numeric-id":5327339,"id":"Q5327339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$5B391238-9C59-47DF-9871-589F85CA7868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"094a19452f4a2cac731a8f91e8d3d9444cc1deea","datavalue":{"value":{"entity-type":"item","numeric-id":1491721,"id":"Q1491721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$1454E5D9-1236-4257-9E03-9483330B744C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0ef84619234e2e46e8c4513d6d1ef3cba6f5b65","datavalue":{"value":{"entity-type":"item","numeric-id":1945903,"id":"Q1945903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$3FA06E20-065C-4FD8-8A98-D610FE91301E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$6480525C-1B6B-48D9-85EB-18654C9E8776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e389d0986d906dc6f76fb35350bdcb90a9e2b815","datavalue":{"value":{"entity-type":"item","numeric-id":1564750,"id":"Q1564750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$367300F0-6DB2-43CB-AED1-21DE3A9F0337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d0ff209a8c00e6853b2c43b2e31810805788f0","datavalue":{"value":{"entity-type":"item","numeric-id":3935355,"id":"Q3935355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$6F86E163-1155-4509-AFE6-A03EC0D6A7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5cab1513e2457c77b799379237c33e5461fd89","datavalue":{"value":{"entity-type":"item","numeric-id":2829259,"id":"Q2829259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$4E4C1069-7A29-4888-9C3E-0898F84AA4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8e0ff8a7d0c4fc199c213531e4694eacc1d9f6","datavalue":{"value":{"entity-type":"item","numeric-id":2938044,"id":"Q2938044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$DEBCFE87-4255-4CE6-BB02-60359D854EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ae8c375c89f07df66a9b775a5c280d396c123b","datavalue":{"value":{"entity-type":"item","numeric-id":3613426,"id":"Q3613426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$54C70082-6600-4C15-9854-FB5E7CC6FD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815b7a70ea5f31d74db404ef462a249616c66add","datavalue":{"value":{"entity-type":"item","numeric-id":2352500,"id":"Q2352500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$B745735F-95F9-458D-9874-98C6C8E254A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53d3fc5ef0eaf03448b2958c7b38baf170d7b9b","datavalue":{"value":{"entity-type":"item","numeric-id":928655,"id":"Q928655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$9B86800A-B44D-4314-A15F-47214B88B3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43a848f856e7add83e6907744bb466bc863e38a","datavalue":{"value":{"entity-type":"item","numeric-id":5394621,"id":"Q5394621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$2618D521-2F52-4037-B061-6CE504E42135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7afcb9a0497959937cf113b16fb13499994cb9","datavalue":{"value":{"entity-type":"item","numeric-id":4053736,"id":"Q4053736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$A36C6BE7-7A31-403F-803B-1B575643A8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6334cdc4c538792793f912827e090dbc9566f341","datavalue":{"value":{"entity-type":"item","numeric-id":3014928,"id":"Q3014928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$815AF726-C578-4F97-939E-FE3D2EC4721E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b123db3a4418e7e0b3c4a8923bc434312bc66f","datavalue":{"value":{"entity-type":"item","numeric-id":3165968,"id":"Q3165968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$C41822ED-96A7-4CA8-BBE4-63C82C254C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc9306da6e60cfa13348b1e59ae173d12d3e1199","datavalue":{"value":{"entity-type":"item","numeric-id":2894324,"id":"Q2894324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$6F174D3F-E62B-4EC8-A9B3-11F942055225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c47b803ae3417d59bdf5abe0462b8106abf537","datavalue":{"value":{"entity-type":"item","numeric-id":4933331,"id":"Q4933331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$2EEED128-AFAA-45E2-A0D3-40D04FAC9196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73402f4152dc1b0c6384814fa1868f011d7bebc5","datavalue":{"value":{"entity-type":"item","numeric-id":3421016,"id":"Q3421016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$E4828B9F-035C-403B-83EA-A24C7FECEC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19396a96395a2d1290f5384de3b7da51614574d","datavalue":{"value":{"entity-type":"item","numeric-id":1889974,"id":"Q1889974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$5DAD2FAC-7728-4466-8EB5-3F5F77363CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d44d24e1be77a46e089f7f9a60afc3773717133f","datavalue":{"value":{"entity-type":"item","numeric-id":5170835,"id":"Q5170835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$E266BCA3-32B8-4B44-9280-913DF793C88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1746c0002a982167f6b872896509d0ce78aa9e","datavalue":{"value":{"entity-type":"item","numeric-id":2536323,"id":"Q2536323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$48591F56-BFEB-49EA-BF1B-E84EF12BCFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db965bb2c2162491a627dd94b625ba27fb995d2f","datavalue":{"value":{"entity-type":"item","numeric-id":2958375,"id":"Q2958375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$A17FCCE3-73B2-4DDD-BDB3-1B2A7DB945AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5856b03243ef69708a04852e1ef58148429a9abe","datavalue":{"value":{"entity-type":"item","numeric-id":3454084,"id":"Q3454084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$9B12A9E8-09D1-44CC-83C4-CE22E9B6CF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cf5b8b6309e08f287b00bc67c13466715db841d","datavalue":{"value":{"entity-type":"item","numeric-id":2829274,"id":"Q2829274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$24A47C12-B6CE-406D-A4F9-59949A9D278D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e319149c37d6b52294bd736a0b07a908c063038f","datavalue":{"value":{"entity-type":"item","numeric-id":701105,"id":"Q701105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$BCFA49CA-6A31-4802-8559-50E8F3739931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d23219815202c781951ef934ec25bf96b0ff01db","datavalue":{"value":{"entity-type":"item","numeric-id":5389155,"id":"Q5389155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$F7357B80-43C8-4400-8EE4-BB0E2179A741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97132178938a086d46887cf71f3c6653c803319d","datavalue":{"value":{"entity-type":"item","numeric-id":3582701,"id":"Q3582701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$EB39D36C-93FB-4476-8C6A-63C1847D3023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d358aaf961a453fd756982b9c88e0cae775d5d6","datavalue":{"value":{"entity-type":"item","numeric-id":3963124,"id":"Q3963124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$3C28BED5-F887-43D7-9068-5AC3F610C0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d32d82223ca2b19279ffc7ed889f6e76935fee9","datavalue":{"value":{"entity-type":"item","numeric-id":2537316,"id":"Q2537316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$9C36B1C3-3823-419E-B08A-2B202C0F8DF1","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"cf6a3e03118521b919f19208fbde6d33867b5847","datavalue":{"value":{"entity-type":"item","numeric-id":7361439,"id":"Q7361439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$AAD95D26-EF26-49AA-A901-CFBF0C42E1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"1518b44e9920a7e58377edf0d25bb1683f308560","datavalue":{"value":{"entity-type":"item","numeric-id":7361163,"id":"Q7361163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$57CD6386-8C06-4C5E-8B84-305214238565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"0c9c9f0c4eee9c4734b6223c2dd6a0c94c9a6581","datavalue":{"value":{"entity-type":"item","numeric-id":7361085,"id":"Q7361085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$1F46CAAB-FEE2-45B3-B257-48A3874BFCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"fe8e4266ccdb5bc1f08b1d6665bd026f17fde0ac","datavalue":{"value":{"entity-type":"item","numeric-id":7361683,"id":"Q7361683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$526EC954-9BC1-4C7A-BA5E-DDAF628E0DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"c8b055357156b513ebffa05abff4ab0fc053c1d6","datavalue":{"value":{"entity-type":"item","numeric-id":7361662,"id":"Q7361662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$5FA4A3F2-834A-4ACD-9AAB-7D010762189D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"80827201c8b50bfcc1f1501760f376849672be20","datavalue":{"value":{"entity-type":"item","numeric-id":7361936,"id":"Q7361936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$31A37027-6BF7-4451-8423-070D016072EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b474ab9bc4d92c48e7f4bfbba41d711ae289b102","datavalue":{"value":{"time":"+2016-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361750$3068F5C6-2D2E-409A-BC66-7CD158D4D198","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d9609afc0b4e931ca73ea9a6a4f9de47f3bd274","datavalue":{"value":{"text":"The Factorization Algorithm of Berlekamp and Zassenhaus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361750$40142C49-A6F1-4F74-A032-F0C577A814D5","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$681B942A-56F6-4AA2-95C7-6A266FD475F9","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"65292b3c42fa1bd5c21e4c91fe94fdc3f630f232","datavalue":{"value":{"entity-type":"item","numeric-id":7360821,"id":"Q7360821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$A7CBA25E-3A22-4E0C-87DF-B1790F266105","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$B4169D92-5570-4572-8AFB-D881CE3D6C7D","rank":"normal"}],"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"8b69b0c8ce0b80238b620668b8d1740597b6dae3","datavalue":{"value":"28596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361750$7346F0CD-3E2F-4041-BF90-B89B28A48ECD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361750$2664E92F-8CE4-4E6A-90A7-EEDF0A24A468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2230d337deb7b90f21aa1a2ec63051e97d36fcd5","datavalue":{"value":"12.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361750$C84C2BC3-DBFD-49B3-B9F8-D1DF0E8CB4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62b7e192ddad84e0999f497c95811da22d169570","datavalue":{"value":"13.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361750$40A43173-7FAB-4856-AFD3-C79E6E3FF6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89107e9c93cd6c803fd02a890f7a831dced41c0b","datavalue":{"value":"15.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361750$7C0DB79A-CADE-4C89-9385-B9D575BC2CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361750$EEFD06ED-3A41-4B27-A0E8-0ABAB0BAA526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a2ce8697776c478fad5facac57bc163b9158c961","datavalue":{"value":"3.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361750$1DAFF394-5635-40BC-8AEB-5465B0BE1F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"225217d51551ed69c48e9d6d5010162fb9487892","datavalue":{"value":"14.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361750$17E3E94C-9C1B-4310-8ECF-0DFB151BC85C","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$957862B0-47C5-43BC-8070-54FA2D2171CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$788B730E-BE10-43B3-8729-411F4523F50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$B390FA06-7BE3-4B83-8C02-58AD3740714C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$4DED2E1D-1F74-4872-91B5-1530940657A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$6BB9F6DB-E914-4392-A184-34432AD161D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ed15eb8701a335444fde1bcc3327d1067ce64751","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$19C737C5-A423-45D1-9FC3-582AFCCB6E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$FB1BC42B-7764-43E7-85F1-3E3019D8C41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$4BB9B9DB-175D-4C73-A484-C8D23D41F5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ad8338290e864661fc95f2a66261cf7e07a407c","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$98DB4055-9280-4384-A49F-B53AAEC6419C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2ded5a481ece08049848bd1edb3f9afa21f0df2f","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$E00DE429-1A1E-4FFD-B5CC-B892FF9A4BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"61d0c0612cc30c9c51b93ddaf1f78ee1ae75f9fe","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$3EB624BA-E7AB-4EA8-85DC-6EEEE002CF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ff80b41d03c65073c007c903a317be0a9c94293e","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$3ECAA59B-20D4-450D-BBAB-50D5ACA1E772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7434bcf5c727d2c07e931aea1694436d0b39cd53","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$00A5A3CC-0167-40BD-9769-EF3E2CFCCD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"871a0c4a1c75100b77d02a0e8a0af8fbe752db4b","datavalue":{"value":{"entity-type":"item","numeric-id":40311,"id":"Q40311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$C6F08954-A6F9-4C27-AFC3-DB9ACB5F32D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"139c69b2a23f419923a7989e28183ef8179b6836","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$219672E8-239C-4A58-9B84-54DE0091EB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cea2a7e9bb130921d12e1d361b3d4585036772c9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$7B6DE530-D910-4712-A961-6B1DADBCC10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"83a7c52533a2a0c00f328cde038f2bdb12749a41","datavalue":{"value":{"entity-type":"item","numeric-id":40375,"id":"Q40375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$26864466-25C3-4021-882A-484D47139348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b05ebaa65438167fd8c160361611fffcc4886639","datavalue":{"value":{"entity-type":"item","numeric-id":40374,"id":"Q40374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$C53D40F8-907F-493D-8445-42CAED6608FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9eb436930ab1f6d235b354c651322b547341064b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$B6811135-FD53-4041-BD4A-0F81BAF593BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"140c4614c583c2ec7c147606c5e04e1104ea1634","datavalue":{"value":{"entity-type":"item","numeric-id":40376,"id":"Q40376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361750$BF73EFB8-DB08-43C3-9407-B88F6E9F278F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Factorization Algorithm of Berlekamp and Zassenhaus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Factorization_Algorithm_of_Berlekamp_and_Zassenhaus"}}}}}