{"entities":{"Q5949275":{"pageid":8126077,"ns":120,"title":"Item:Q5949275","lastrevid":102046412,"modified":"2026-06-06T03:22:31Z","type":"item","id":"Q5949275","labels":{"en":{"language":"en","value":"``Russian killer'' No. 2: a challenging geometric theorem with human and machine proofs."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1674349"}},"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":"Q5949275$2BCF40E0-FBF8-45E3-B678-E89524C3D732","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5520fe9dc17110b648b5497718c891ff6109e29","datavalue":{"value":{"text":"``Russian killer'' No. 2: a challenging geometric theorem with human and machine proofs.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5949275$33F97A5A-B970-4BE2-9B22-698A2EA0B8E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31471d9eda968c11ce8fe103e04d5f81e9aa49dd","datavalue":{"value":"1055.51502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949275$B57FFF2C-FD93-4086-9DB5-2AABC14C5DD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce845cd4b49a64c920eff36bd9668f91cf7cb45e","datavalue":{"value":"10.1007/BF03024512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949275$E393727B-CA9D-4C29-8847-35B4C6A76971","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9707754086af6241d3ee4dc58d9ec324f0ca8fd","datavalue":{"value":{"entity-type":"item","numeric-id":215658,"id":"Q215658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949275$21B6AB07-7A09-4AA5-AE6F-DAB91EC9C20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebbcae0cd010cabad8ea55f4ed0fdddabb74b4c0","datavalue":{"value":{"entity-type":"item","numeric-id":953574,"id":"Q953574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949275$D86A2D6D-E6DC-4C09-B007-69880D7F1E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"445e6c271797bbd4e969d752f3f62229db781b70","datavalue":{"value":{"entity-type":"item","numeric-id":215659,"id":"Q215659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949275$626C755F-98C6-4629-A74B-1CA1FF28972C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dec7461111d9cda8617112c815269fb3ec99ff58","datavalue":{"value":{"entity-type":"item","numeric-id":215660,"id":"Q215660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949275$37AD4904-3260-4E87-B525-EF685FF98467","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7fb1fb9e3613de38b550373bd0384fba28a5a775","datavalue":{"value":{"entity-type":"item","numeric-id":215534,"id":"Q215534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949275$E7DDA797-46A7-4B39-A35D-622DFB94B9EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a1ad1c5bda80081de8141fa9115691107f30569","datavalue":{"value":{"time":"+2001-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5949275$1A654A19-2DDB-47B1-8683-B61B42C3D309","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa1df1c80d30cbae99c821ce68cf7589f4a13105","datavalue":{"value":"51M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949275$63369173-6EAC-4C82-BEB1-A529E403A844","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"251744ca9352792df6c90cf4c820acdee6320422","datavalue":{"value":"1674349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949275$628EB95A-325B-49EC-A02F-5C3E0CBE1FF3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05db3541b2c143d6b505c5024da3f8ad14f79c4e","datavalue":{"value":{"entity-type":"item","numeric-id":23585,"id":"Q23585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949275$F8B249CE-455A-45CC-84FA-D9C6CD50AF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"97c52174d6a2c739dccdd83081669a4a937b002e","datavalue":{"value":{"entity-type":"item","numeric-id":15381,"id":"Q15381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949275$91AB51F1-138E-4E03-976C-85D10E6D952F","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":"Q5949275$1DD2D6DD-1D44-4A83-9FC3-44DE716105E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e8caadeb9481a38d43f637f58d8f16ee641ceee","datavalue":{"value":{"entity-type":"item","numeric-id":5949237,"id":"Q5949237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949275$1418A349-35CD-45FD-BCB6-CFC089363AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423a60d7bead69c4e310eb8bfd96d9a44bfc7fca","datavalue":{"value":{"entity-type":"item","numeric-id":4249890,"id":"Q4249890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949275$E5F6775B-69A4-4E6B-9895-9CE4F09546AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e84073c1b2a7bdf1fb3baf4a38489c12a259449a","datavalue":{"value":{"entity-type":"item","numeric-id":805606,"id":"Q805606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949275$9C45A44B-CB5D-417B-B55E-452F7C6B7F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd256e4cf2e8da67d90b78d7200fe9d0224b362","datavalue":{"value":{"entity-type":"item","numeric-id":1582388,"id":"Q1582388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949275$7DFCCA59-5DF1-49FD-9EAA-F4C179938892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe6f611dd87c9e00f43b2c282420c0d59cf45fc","datavalue":{"value":{"entity-type":"item","numeric-id":1272600,"id":"Q1272600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949275$51CA136D-BA63-4F89-BC89-26EF8ACC7EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92aa42a2fc1588dce592fa4b81fd744ad89eaba0","datavalue":{"value":{"entity-type":"item","numeric-id":1329538,"id":"Q1329538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949275$B1F08E66-4554-4FD5-807C-6555841BD30B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"``Russian killer'' No. 2: a challenging geometric theorem with human and machine proofs.","badges":[]}}}}}