{"entities":{"Q4962863":{"pageid":6992444,"ns":120,"title":"Item:Q4962863","lastrevid":91022756,"modified":"2026-06-04T22:03:54Z","type":"item","id":"Q4962863","labels":{"en":{"language":"en","value":"The formalization of group theory knowledge and solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6973033"}},"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":"Q4962863$1C92CA7C-1CFF-4DE5-830B-DEB0ADBDC3CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3138d6fa7034200cc9735802a5804ce82df29d0","datavalue":{"value":"1398.20003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4962863$A55F551D-30A5-499E-B98F-5E55C23A772D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa52e5275a0a48fdb54409ff403b7de34344c3c7","datavalue":{"value":{"time":"+2018-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4962863$C2448049-FEB2-4AD4-A740-94DA7AC440C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4962863$0621FA57-F4DC-4B67-8477-F58D8A86EEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4962863$F5AF357E-6B1A-400E-A2A4-635E60D2D02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4962863$3481634B-899B-4D9D-A297-BD8094A43D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd43a1b9f2417f5aebe919f08e6aa2b510501c27","datavalue":{"value":"20A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4962863$37585FD0-93B5-4AEB-B0DC-83998DD19A06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bcc55a72bb3fa58b2e9e69b4abb749396698fe0","datavalue":{"value":"6973033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4962863$3753588D-26FB-4548-8848-291B4CE6DA98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef0da8957c07ac379951ae65565347b907ce3617","datavalue":{"value":"group theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4962863$547A0CFA-E6EE-41B0-97FE-5C640C846684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef51b89dbf72f7181f6b41896d9233a3e6b1ce","datavalue":{"value":"formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4962863$7F5561A1-37F3-4D4E-A42C-35D38BA9C20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4962863$A3B025DF-C094-43E3-9785-120D4ED4DB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55e39277f19cf80ca141b6b81aa4e53a921e08ab","datavalue":{"value":"verify","type":"string"},"datatype":"string"},"type":"statement","id":"Q4962863$E4AF8351-CC35-47BF-860D-2C52909ADFA4","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":"Q4962863$6160C677-9BDF-413A-A12E-D230D9AA416E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc92d457c316272b89f39240573f0e71d0226ab","datavalue":{"value":{"entity-type":"item","numeric-id":2931776,"id":"Q2931776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dedb1ea75e4da3a3edfaa244cab170fdce221b52","datavalue":{"value":{"amount":"+0.7036343812942505","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":"Q4962863$D9469801-997A-46FC-BC42-A6E3093EC2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a669e41af2fbe61ab9d5a14de0b5b484ebcf0b95","datavalue":{"value":{"entity-type":"item","numeric-id":3637293,"id":"Q3637293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f1c1f2372fa91b557b97071a46f869903abf9f8","datavalue":{"value":{"amount":"+0.6582565307617188","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":"Q4962863$898D1053-6099-43F8-BD51-CBCFBD483C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb6eb11d0dd16776606314fce063ca1f55959088","datavalue":{"value":{"entity-type":"item","numeric-id":5898533,"id":"Q5898533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a2478495e6e47a6c7415f67a99f31f69df53ce9","datavalue":{"value":{"amount":"+0.6456764936447144","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":"Q4962863$80AC9802-EC86-4F0C-8999-099F65424531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd04803cb512b80a1ddbad0922f63d1a9e2d5318","datavalue":{"value":{"entity-type":"item","numeric-id":1798949,"id":"Q1798949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"005a0b196b6a89fa8769107ed9202cf05d340aa8","datavalue":{"value":{"amount":"+0.6390393376350403","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":"Q4962863$38E2B5B4-7B3A-447A-88FD-DEB3AFE992DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7201ef831c4b6e25dd5ac35c43ee24b9a7cc1261","datavalue":{"value":{"entity-type":"item","numeric-id":5195291,"id":"Q5195291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da87924453c974f73f410d5074d705d26cea903a","datavalue":{"value":{"amount":"+0.6253141760826111","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":"Q4962863$03CF8D93-AE2F-4D34-B74A-AB3F8BE2F2F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The formalization of group theory knowledge and solving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_formalization_of_group_theory_knowledge_and_solving"}}}}}