{"entities":{"Q1935355":{"pageid":1946097,"ns":120,"title":"Item:Q1935355","lastrevid":69513249,"modified":"2026-04-13T07:30:46Z","type":"item","id":"Q1935355","labels":{"en":{"language":"en","value":"Ugly mathematics: why do mathematicians dislike computer-assisted proofs?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6136585"}},"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":"Q1935355$1377C6F6-1D93-4284-B830-A24EBD3D1B0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ef74d01f8f99545725cc65108ecfbe5e9ab3e01","datavalue":{"value":{"text":"Ugly mathematics: why do mathematicians dislike computer-assisted proofs?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1935355$498334C2-F638-467B-AC95-C4FAA070F1D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"981e6adaaab9b3f0562f90bc9303c14744c84ef4","datavalue":{"value":"1270.00013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935355$583BC030-F2E0-451C-AD50-B0B3020EE1B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"852a1aee0cbeb1befc360fbcb83c8d8a07b26120","datavalue":{"value":{"entity-type":"item","numeric-id":1935354,"id":"Q1935354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935355$B06A6CF2-693C-45CC-B828-AAC2FDA04CAA","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":"Q1935355$2942A735-614F-471E-AB68-B81376CFF8F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"025a6162cbc38481701c5fe66af357be9811074f","datavalue":{"value":{"time":"+2013-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1935355$AACB81DF-568F-4AD3-A248-A8C67F3DB12C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935355$FA5DC1DD-0FA1-423D-895D-716490A2DE48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c96901eef3ddc5daa221738e99b83bfc83ccba79","datavalue":{"value":"6136585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935355$0B4EBDD7-93E2-47D9-B855-AD9F29F8AA3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d8bcb4d0fb360edf13b9c9776fecb379a910e34","datavalue":{"value":"beauty of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935355$2F2D9EEF-8891-4CE5-A0A3-F2ACB804AFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e259998479e0ab397807915686475de059db8c81","datavalue":{"value":"proofs as narratives","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935355$F34FA186-3A39-484B-88BB-E38AC08E2C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1135d103a12c6010ec8515c75d9b9b50b0e7dfe","datavalue":{"value":"computer-assisted proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935355$A92CCCCE-4B94-436F-B9B6-2EB8AFB6C03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f18290cb238b70036b65b6fa4c25ca47057cad81","datavalue":{"value":"intentional proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935355$134B9A58-E9D0-4856-B8B0-F40CDEBA06A8","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":"Q1935355$065BC1D4-9665-493F-A5BD-85986D1B5C61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37c7ac7cd1b0b542aebcdbc24125a44a2d87e736","datavalue":{"value":"https://doi.org/10.1007/s00283-012-9325-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1935355$85F07362-6DC2-476E-8D11-98E888F0F7F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9f7dd81d5d9192b167edbddbe1d58429c6dc36a","datavalue":{"value":"W1989507116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935355$5170EAF4-D553-4BA1-AD4C-F1FEA0095C4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9328fd3a34fb4b6ce7887fc52cf1e0cdef518e43","datavalue":{"value":{"entity-type":"item","numeric-id":4097312,"id":"Q4097312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935355$95D0B235-0FA0-4534-A9F0-A1311F94B607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ce408a109a0f787c113b8dd93aa6eed7ab084c","datavalue":{"value":{"entity-type":"item","numeric-id":1250224,"id":"Q1250224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935355$499B4059-E8DB-4CB6-AEF1-180315CE6428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd7f641f48cde7309747a7ab2b614390a5cb495","datavalue":{"value":{"entity-type":"item","numeric-id":1066155,"id":"Q1066155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935355$551552BE-6223-479F-9746-CB33BA7B3710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33fe9af6936098c61b7d20341de070d991c465e8","datavalue":{"value":{"entity-type":"item","numeric-id":4230782,"id":"Q4230782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935355$19DD19BC-09E9-493E-8450-FCC35CBB7886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a9b1d057512599b006c0ae9f0761df018cde7a","datavalue":{"value":{"entity-type":"item","numeric-id":5316405,"id":"Q5316405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935355$85E3FC8E-57CA-4131-8B79-A8C2AF5EA0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc7be8033adf47f55a0923bffaf0f3e3c3088067","datavalue":{"value":{"entity-type":"item","numeric-id":5340540,"id":"Q5340540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935355$D2728BF0-CD80-4E05-9B11-3C4A0C484822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"832dfd364a0ca2b69a263a9f7112036988fa7896","datavalue":{"value":{"entity-type":"item","numeric-id":3901465,"id":"Q3901465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935355$D6DA1945-C104-4826-989E-B7A9201D2E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f55cc6b6cec463390ec2acf683e3ea48588798c9","datavalue":{"value":{"entity-type":"item","numeric-id":3103385,"id":"Q3103385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935355$631FAB07-F94F-45B0-A5B1-D3DB3CA1E041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"611d5fa92e03ef64e77f90d86fc78ca10500b7f8","datavalue":{"value":{"entity-type":"item","numeric-id":5523631,"id":"Q5523631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935355$C0642D57-2F00-4799-A4A8-26E459F4F3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea1145a6252ac1c2f0190a1ae918e36f86e8df7","datavalue":{"value":{"entity-type":"item","numeric-id":4340904,"id":"Q4340904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935355$1A1F82ED-1302-4DB5-820C-EEFC90FE2B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6300a1f97608b3f78160e97ff5cbe92bafed29de","datavalue":{"value":{"entity-type":"item","numeric-id":3842088,"id":"Q3842088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935355$D8736535-7047-4E39-AFDC-51871B001388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9617f75d9f0218ebb1a2d02f1152179dee13997c","datavalue":{"value":{"entity-type":"item","numeric-id":4225047,"id":"Q4225047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935355$167F0468-14A4-4349-821C-7736D706AA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ded8b2cb8c38f6439899f6fa0226ec8647170d","datavalue":{"value":{"entity-type":"item","numeric-id":5469337,"id":"Q5469337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935355$ABF7D448-87DA-4FEE-B84E-12823B66F03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48cc68e0639769cf7c816bdde9f4b42adcf67534","datavalue":{"value":{"entity-type":"item","numeric-id":4228512,"id":"Q4228512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935355$C9B39E8F-0969-4DAA-971D-B60CBA80CE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24a7db326e43376dc12c8369f0aa456c47e285a4","datavalue":{"value":{"entity-type":"item","numeric-id":1297036,"id":"Q1297036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935355$78DC244E-0812-447D-BBA0-15934E9CAB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a2173f8b88fa9dc2a1ddb3d181ddc1d998e21e0","datavalue":{"value":{"entity-type":"item","numeric-id":5301857,"id":"Q5301857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935355$4A86E4CF-B988-4B2F-A95D-D591975E4E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b3c86719beffa574d5754bc195ec31b1274957","datavalue":{"value":{"entity-type":"item","numeric-id":2443390,"id":"Q2443390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935355$E8428921-38EB-47AF-9DB4-00450F4CB971","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49c9ed759cf7d9f994a1a1ccdc01172b0ee679db","datavalue":{"value":"10.1007/S00283-012-9325-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935355$AE5D091B-1652-4657-8E3F-3ED87B57B451","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbfdc7cfcfb7a6f9eb74474b7aef5cb96602a3a7","datavalue":{"value":{"entity-type":"item","numeric-id":2965620,"id":"Q2965620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a357ef16153d880543abf57f6fb40be9a3d3c0","datavalue":{"value":{"amount":"+0.7318196892738342","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":"Q1935355$E89775E4-CD96-4954-B0D1-A02155F44280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"350abb8291e9a175b3aabe73a3976b1ecaa27253","datavalue":{"value":{"entity-type":"item","numeric-id":3616422,"id":"Q3616422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c73a131293244417f5b7741a787bb6095b0588f4","datavalue":{"value":{"amount":"+0.7306884527206421","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":"Q1935355$442ACFCF-2CBD-41EA-AFA2-C02EB8EA6AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b766aba7b7528e1562f2ec8a00e4cfac9e99e351","datavalue":{"value":{"entity-type":"item","numeric-id":4325964,"id":"Q4325964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72522b63997061f94a3a144378f5634e037608ca","datavalue":{"value":{"amount":"+0.7243301868438721","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":"Q1935355$9AA1AB61-3361-4A9B-B465-6B8065F7A184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f376d6acb38f83573c22ba664926099fa5806f9","datavalue":{"value":{"entity-type":"item","numeric-id":2997766,"id":"Q2997766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbfca9d43a4a1245f8fbf4f460f74626e1339461","datavalue":{"value":{"amount":"+0.7057159543037415","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":"Q1935355$8E338094-C0BC-44B4-98D5-C4B04C768BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5c78ab82d75b212c4ae84767a9046b16925bc3","datavalue":{"value":{"entity-type":"item","numeric-id":1297036,"id":"Q1297036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a37b5bd3837f6a40f24baf0aa1716633fcbff789","datavalue":{"value":{"amount":"+0.6952987313270569","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":"Q1935355$734DE1CC-7585-4C07-A4BA-9EBA261A5136","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ugly mathematics: why do mathematicians dislike computer-assisted proofs?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ugly_mathematics:_why_do_mathematicians_dislike_computer-assisted_proofs%3F"}}}}}