{"entities":{"Q5900723":{"pageid":8007022,"ns":120,"title":"Item:Q5900723","lastrevid":93573413,"modified":"2026-06-05T04:37:52Z","type":"item","id":"Q5900723","labels":{"en":{"language":"en","value":"Certifying solutions to permutation group problems."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695405"}},"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":"Q5900723$373BF491-D324-4A48-AE31-1CD1D6E2D751","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e7c3f040a8feb248e6dc29a1def291c92088958","datavalue":{"value":{"text":"Automated Deduction \u2013 CADE-19","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900723$0F8FD6FE-6B2D-40EB-B8F8-6DC9EBD934CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"133609b1b3c491c8b463da7ff5a5b7fc2ac55a35","datavalue":{"value":"1278.68254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900723$3DE6E0E2-FD4C-444F-A059-70F96CA3D10F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc09d1dee41d76c96a9f143276fa4a9929227478","datavalue":{"value":{"entity-type":"item","numeric-id":170777,"id":"Q170777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900723$054666BA-F04D-464B-96E6-411DF253347D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23fc2cd4973ae62aceeaad88983e93d4df68f622","datavalue":{"value":{"entity-type":"item","numeric-id":161579,"id":"Q161579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900723$99E6C397-1F1F-4F0B-B25D-A66DC8AA0615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e925babf0bbc2b0b6f232e561cc1c0b8988a509","datavalue":{"value":{"entity-type":"item","numeric-id":1404426,"id":"Q1404426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900723$6CF84D82-BEC0-48B1-AAD2-13CA9E0CFD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae7b209f4f6620b5b1c5d47a6aa15c4f2fbff1de","datavalue":{"value":{"entity-type":"item","numeric-id":862392,"id":"Q862392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900723$9E2F1F80-04AD-4AE2-BF4F-1888A4606F75","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":"Q5900723$1A2E2817-20D2-48B8-A90C-E5D8DBCB17EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900723$C6B1BC23-2EDB-43FF-A3CA-8FA22E1A6C21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900723$5F1D6960-D877-464E-883D-D990665E098C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ac1dafab2cb163643c64b3cf5c7678542cb29be","datavalue":{"value":"20B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900723$32E18706-C615-4DDB-ADE8-757C4066527B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84e33be6288f9c1402f68f8419728561b4c5923e","datavalue":{"value":"5695405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900723$3509427A-0C42-4F21-BBD3-D4ED3B339AD2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ac15ee65d13845f30d32328a0a6e9e525328e3d1","datavalue":{"value":{"entity-type":"item","numeric-id":20725,"id":"Q20725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900723$4E67C84E-EE10-4ED4-9A74-B763B30DF16F","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":"Q5900723$D2F6CF2B-0D8A-45BC-BC9E-0694CB630F23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1c668ddb4fae172b1931ef73496e5bcbc0e7e0c","datavalue":{"value":"https://doi.org/10.1007/b11829","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900723$EC47BE27-D742-4017-B25F-6EC11D501B6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f2de3997ca74820eaa5379240d8d8210d2079dd","datavalue":{"value":"W2483160171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900723$6DD2038F-AFB7-4481-A0CB-C5F1F98D9481","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77803cf595c8808153636f8e001b2ddb16a0f0ed","datavalue":{"value":"10.1007/B11829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900723$000E3A55-C8C5-4D19-BDC2-9B7BE5CC8948","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c4d097f74fdebbdf306935adc96c9fe16615358","datavalue":{"value":{"entity-type":"item","numeric-id":1192233,"id":"Q1192233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89bf5800be7f30843db3651af83c17d687d0e1c0","datavalue":{"value":{"amount":"+0.7782825231552124","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":"Q5900723$D05091EE-DD25-44C3-B53E-F68808F76B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"125303a61dbd4f797308cfff9623a6e147abc8a0","datavalue":{"value":{"entity-type":"item","numeric-id":4273602,"id":"Q4273602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9ce8eb46711e6f1ae2bcc282b98648e39732307","datavalue":{"value":{"amount":"+0.774163544178009","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":"Q5900723$F18A6629-1545-4E3B-85AA-3CCE2AE4E886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328c07f1ba38419601793228c2693fc954686916","datavalue":{"value":{"entity-type":"item","numeric-id":4376174,"id":"Q4376174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6ffd8f650a68962eb93a7d765005e6080f563aa","datavalue":{"value":{"amount":"+0.7713732719421387","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":"Q5900723$B189A482-2AD4-4A64-AE7B-EE14B963D561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5325600fbab42886551fda5379342a760810e31","datavalue":{"value":{"entity-type":"item","numeric-id":1192229,"id":"Q1192229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ba7b3a1b2e2a7d503a1959b5ed324e3cf09acb","datavalue":{"value":{"amount":"+0.770986020565033","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":"Q5900723$D71B4F16-01CE-4E0C-8FC0-EE79C126A73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8a8dbff243595045ba16de534f43dba762680d","datavalue":{"value":{"entity-type":"item","numeric-id":4335298,"id":"Q4335298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3564990d89ad8e901dd20e9ecd6d681d320e4b9d","datavalue":{"value":{"amount":"+0.7699001431465149","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":"Q5900723$20866C58-20C8-4FCD-AA16-87D14213526C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Certifying solutions to permutation group problems.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Certifying_solutions_to_permutation_group_problems."}}}}}