{"entities":{"Q6659922":{"pageid":14271079,"ns":120,"title":"Item:Q6659922","lastrevid":100174007,"modified":"2026-06-05T21:33:17Z","type":"item","id":"Q6659922","labels":{"en":{"language":"en","value":"A formalization of finite group theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7964380"}},"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":"Q6659922$3E99203D-B48D-4FC7-9647-B4DFCEE3E1DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0b3d6b5e22f6e6555f717e7b63d4856c2211f65","datavalue":{"value":{"text":"A formalization of finite group theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6659922$170F9D6E-0B4C-451A-B775-6303BF7AACCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74ab161205b2632de50aff2567915fa99648a937","datavalue":{"value":{"entity-type":"item","numeric-id":1187852,"id":"Q1187852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659922$8C291749-4997-48E9-A14C-87366338ECD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f4d97a11f2ce21fc62fce1ecd5bb5e80dc2dcc64","datavalue":{"value":{"time":"+2025-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6659922$E22637C7-E6CF-4F10-8D90-7ABBF16366D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6659922$456808BE-982C-48CB-9E65-E90589E1B531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0da8a0ae39ec16bf06e86cd23430c4f0aa6576dd","datavalue":{"value":"20-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6659922$87E36114-1BCE-4264-A853-253DC092309A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"077dcbece09d9838610b860e62bee33545035d51","datavalue":{"value":"20D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6659922$FE48250E-D487-41CF-B631-F648D8DDDE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6659922$35C4D7C2-C0AF-45A5-9B1D-5FD74FD185A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f4f7ba60b2384f4684a798eb6e0665393d6bb73","datavalue":{"value":"7964380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6659922$3DE4C081-0B10-4F72-B7EF-89C490D09D9A","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":"Q6659922$461FF700-0CE4-4822-A2E3-E3E3B59C0096","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f73a25c5f4f08946192d91f66d070501a8fcf252","datavalue":{"value":"10.4204/EPTCS.359.10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6659922$C3806A0C-C0C5-40C3-9395-392F114A7702","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6f8e4fb92c5e9f8415dedf91c1faa12b8ea2a4","datavalue":{"value":{"entity-type":"item","numeric-id":3523168,"id":"Q3523168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9df1dff4f4d180961933e786630add0b04d87f22","datavalue":{"value":{"amount":"+0.7773972153663635","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":"Q6659922$2AFF2639-3BB7-42D5-A160-63D44A45475C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bfbdc296779e4aa3e9eb2bcb8d4501ec95bc6f1","datavalue":{"value":{"entity-type":"item","numeric-id":915498,"id":"Q915498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10bb8b6dde333bb2491efa6020ca005f4e0e7d11","datavalue":{"value":{"amount":"+0.7274407148361206","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":"Q6659922$BD5A4E4B-B761-4EBF-A7F5-C2802F66D244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e880e181a944f8cbb9f2cd0dcde8f9d3507a546","datavalue":{"value":{"entity-type":"item","numeric-id":4895378,"id":"Q4895378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d76e754a2ac7e87df4518864d0d841c8445bd18f","datavalue":{"value":{"amount":"+0.7257044315338135","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":"Q6659922$705080B7-7525-4540-A1AA-06410C456FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73568db41227a56f946edf8da4ba34aaedced50","datavalue":{"value":{"entity-type":"item","numeric-id":1877690,"id":"Q1877690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc4516e8de0f4d869076b6f8c3969cfd1362553","datavalue":{"value":{"amount":"+0.7244194746017456","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":"Q6659922$D98F9933-916D-4FC5-A092-C73EE5579EEC","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":"1abb077a1fd48fdadfa81aae4f23615a47608cdd","datavalue":{"value":{"amount":"+0.7207943797111511","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":"Q6659922$A8A2F363-8059-4D10-B1AA-FF118AA43342","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formalization of finite group theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formalization_of_finite_group_theory"}}}}}