{"entities":{"Q3523168":{"pageid":5553072,"ns":120,"title":"Item:Q3523168","lastrevid":50441450,"modified":"2026-01-14T01:43:44Z","type":"item","id":"Q3523168","labels":{"en":{"language":"en","value":"A Modular Formalisation of Finite Group Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318937"}},"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":"Q3523168$B8186D78-F061-4976-9C65-478592D66B6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60788c0d2142aabda1e0dc49909dd80d20cad95c","datavalue":{"value":{"text":"A Modular Formalisation of Finite Group Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523168$B9D3C3CF-8637-491C-A435-176AB9F2361D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6df4aa45abcdfa1cb81947c06be475c56390d6c5","datavalue":{"value":"1144.68356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523168$3AFAE958-69AF-4C4F-8BDF-463B33C5CA40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c38cd6f257944f4acfba1ece05c6bf382d1acbe6","datavalue":{"value":"10.1007/978-3-540-74591-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523168$A0BDA12F-1913-4566-AAA1-48DF1CD892B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fe183d93c029e0aa92279cd45c5ae8bafa3a4ae","datavalue":{"value":{"entity-type":"item","numeric-id":1084851,"id":"Q1084851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523168$395EA705-5DC3-410D-BC5C-7A9CDFDA7868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"379ac4e8dcb87cc7060e4dba787e250b7104d056","datavalue":{"value":{"entity-type":"item","numeric-id":512133,"id":"Q512133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523168$D06714D3-4C80-4613-A2ED-046D2163A83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14de6399ed68b8e9b6c4461a695ee55ff6b12be4","datavalue":{"value":{"entity-type":"item","numeric-id":928669,"id":"Q928669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523168$14943D28-1E89-42DE-9C69-1BD3C11A62A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99729ea5fbac2e397c47743039765083a0ae1bb2","datavalue":{"value":{"entity-type":"item","numeric-id":205581,"id":"Q205581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523168$3823A9F3-3558-4FED-80B2-A1E2B4E36A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5fa5da603477bed196262dce34c616a0a67c991","datavalue":{"value":{"entity-type":"item","numeric-id":742366,"id":"Q742366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523168$F967FC15-AFE5-4A04-8709-8A7B4AF21575","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523168$98F64618-FF8C-46A2-B3FD-0C80B1497612","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523168$D33D3C80-C81B-43D8-BF9F-B011B6453CFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d867e26bb2d04ee8b85a498a63411060880ff70b","datavalue":{"value":"https://hal.inria.fr/inria-00139131v2/file/RR-6156.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523168$9F16749F-D264-4EF7-9B27-11243BDC6E4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523168$06A2556B-31D6-4F42-A505-165E9FCD43D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523168$2702DE25-2EE1-4FD2-999F-F579CA8B8742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523168$471D7DF1-B358-48EF-ADED-EB33647109C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"077dcbece09d9838610b860e62bee33545035d51","datavalue":{"value":"20D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523168$B71B4418-11BE-43B6-91FE-4B21ECD1CF91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6faba46da337310513489ecf020bf70b28e1e24","datavalue":{"value":"5318937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523168$8707CEC4-43AF-439B-8CF7-E444B378071C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523168$33DA0F8B-1042-430A-8AB9-A29DCFAD71F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523168$2931F570-12C6-4016-B13B-5E950ECEFAA9","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":"Q3523168$4E995A05-E1EC-4F3A-854F-B065B21460BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1557aaa709a1cb8a39ab2fb901be745ed38e204","datavalue":{"value":"W1821564862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523168$7EABF2E6-B7F6-4DEC-8DE6-02EF38C9CE26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be6750cd750a678c63f2278474a446b88f4518bb","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"951f587ceaeb375bafc06097cc4debb1df1bbe33","datavalue":{"value":{"amount":"+0.8230375647544861","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":"Q3523168$7488D809-42C3-4390-A569-061863E1B659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c39fa23a77733b0872bfe3e6bcb191b833b9a3d","datavalue":{"value":{"entity-type":"item","numeric-id":3637300,"id":"Q3637300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3039791c507ef55050e9380190aaf3b8c1c56b79","datavalue":{"value":{"amount":"+0.8019411563873291","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":"Q3523168$32BDC64A-5BE4-4E47-8DF9-AC2399321662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7725344fd806c8bb0e8ce86201602686f3ebbe9","datavalue":{"value":{"entity-type":"item","numeric-id":2879252,"id":"Q2879252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af62835c1ef65a367308a005086ec0ca9ddca660","datavalue":{"value":{"amount":"+0.7783583402633667","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":"Q3523168$09146579-26E0-4701-AECE-47304BB86D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691503f60d24287fb32ef68e579afe8cb580fb96","datavalue":{"value":{"entity-type":"item","numeric-id":2843002,"id":"Q2843002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a220ad378a241b50607078fb88215a35b7b3685","datavalue":{"value":{"amount":"+0.7719248533248901","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":"Q3523168$B9FB3704-192E-44BE-972E-D2EE8D272783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"493b151983d417f4de7b19b9511316978e6dfbd6","datavalue":{"value":{"entity-type":"item","numeric-id":1961914,"id":"Q1961914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"207445421d5bf377ca3ce3b402c4f6c5a622116d","datavalue":{"value":{"amount":"+0.7389000654220581","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":"Q3523168$98CD8D7E-2213-4E4F-A095-F6AE9CF0E634","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3523168","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3523168"}}}}}