{"entities":{"Q1408658":{"pageid":1419398,"ns":120,"title":"Item:Q1408658","lastrevid":68784789,"modified":"2026-04-13T02:03:07Z","type":"item","id":"Q1408658","labels":{"en":{"language":"en","value":"Mathematical proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1985796"}},"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":"Q1408658$07876873-F4B4-4768-ACED-B5F36F2BC18F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2cfb7e9631305682ed7918fec79e24e9eb6491e","datavalue":{"value":{"text":"Mathematical proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1408658$DC17E562-6E4F-4465-A2E5-988296E8B7B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b15ab47135f06938d3ca4beebade33599ef5db74","datavalue":{"value":"1040.00008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408658$D0C10016-030E-4C16-B408-2186CD16F8D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1a9d38db44b60ae7a75e98ea7a43a23ac43e18d","datavalue":{"value":"10.1023/A:1022187631022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408658$0A640423-6B80-41F9-82A4-DA7A63EA582A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e829a6dc0b5877ebd8a6ce0f2c463d743a21b93","datavalue":{"value":{"entity-type":"item","numeric-id":375263,"id":"Q375263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408658$4BDDC43E-E204-4315-B264-119BFD682512","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408658$33705CA8-9A5B-4324-891A-57001DB93F1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f37244814e4fbe2fab0838dfe21d7174c9a47265","datavalue":{"value":{"time":"+2003-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1408658$0CC4B6E8-35C6-4330-8916-779F06FC4D4F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2fb8a3c68de7dc3f967ba3c7f613aa6627985237","datavalue":{"value":"This enlightening and well thought essay discusses different aspects of mathematical proofs, affirming that ``a mathematical proof is a warrant to assert a non-tautological statement which claims that certain objects \\([\\dots]\\) enjoy a certain property'' [p. 119]. The author is concerned with the real act of doing mathematics, ``and not in the illusory structure of an eternal world that, in any case, we can only discern and describe by doing mathematics'' [p. 122].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1408658$CC34BED3-1744-41FB-83C9-DC7303397E5E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e78962330c89fc8a9d202a8b71a0ba142f6bc7db","datavalue":{"value":{"entity-type":"item","numeric-id":1072534,"id":"Q1072534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408658$A82378CD-A546-4D21-ACBA-0B82A0ED24D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408658$26FB1672-D81B-4B0D-B4B4-664650316DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408658$C396D6C4-DAD7-409A-A304-3B90E1CA0DA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00e8471273806947fa3b35b4892e3c7fd10b47ee","datavalue":{"value":"1985796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408658$84D15BFF-5F40-4628-BDCF-9B7DCDB38817","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c1f8ecbef520debe4ed65c00c0dc97890c1127","datavalue":{"value":"proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1408658$0DD875B8-0CA6-4222-8AA8-2411F2750072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"875339cb3f12207535ef52022bd8c3b37e16cdba","datavalue":{"value":"definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1408658$7C0F483E-B897-4468-A3D8-80EB8E147013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2568d693244d7fa7ec8d9f672836a01813fb41a2","datavalue":{"value":"object","type":"string"},"datatype":"string"},"type":"statement","id":"Q1408658$05355D24-84B6-4B9D-BC9D-128AD792D8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84276cefa81329dc127d99ce48dd9eafbfea0d7f","datavalue":{"value":"Peano","type":"string"},"datatype":"string"},"type":"statement","id":"Q1408658$CCD9889C-2712-4276-A775-AD94C5435FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc6ab46f4097933b69e6c8cee46daee2173dcc62","datavalue":{"value":"Hilbert","type":"string"},"datatype":"string"},"type":"statement","id":"Q1408658$719A48C4-24D6-41B1-8A72-D96B70948C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90bd11f9b61c192fea8c24f1a0c7c7e5e93ed441","datavalue":{"value":"Kitcher","type":"string"},"datatype":"string"},"type":"statement","id":"Q1408658$22BAF69D-C967-462B-B85B-F83D0299AC47","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":"Q1408658$0613EA9F-01E2-40C7-9695-77F6307C71C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1347d3aa360f6fd0c1a34ef6b2f843ddf3f63ec4","datavalue":{"value":"https://doi.org/10.1023/a:1022187631022","type":"string"},"datatype":"url"},"type":"statement","id":"Q1408658$86DE5986-DD52-43B3-8D7D-C94EBB45B86B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71d0b6748bf5543f9b304566dbe6143aca1ad058","datavalue":{"value":"W4234423689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408658$452E9640-1476-4AC2-9104-B7CE804D8C91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8db2c94527a3fcca0125aeb4e571ff540a49452d","datavalue":{"value":{"entity-type":"item","numeric-id":3598576,"id":"Q3598576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41a730c3276548f0f7d7e958f44c8206b4d25979","datavalue":{"value":{"amount":"+0.761718213558197","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":"Q1408658$E22E3DAB-1A2C-4DD5-A4A0-55EE3290CA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f54d1f92309337f4a5d4299a560148f29e3c8dea","datavalue":{"value":{"entity-type":"item","numeric-id":3803082,"id":"Q3803082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2427f98d1c77f4f34a667d79ef625d509e181ede","datavalue":{"value":{"amount":"+0.7465921640396118","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":"Q1408658$B4E83F1E-C4BB-48B9-BCB0-2AB6A47747ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caedc3e085ef989d3618f49964c77b1c6ef334cf","datavalue":{"value":{"entity-type":"item","numeric-id":4890913,"id":"Q4890913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d34b1556eb0730aa38bb85aceb32805735fa0e5c","datavalue":{"value":{"amount":"+0.7453147768974304","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":"Q1408658$4CA3A23B-A4A8-4C72-976F-241AE7AE7FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838ebf1ea5fd7663747c7a1623b66902a876538b","datavalue":{"value":{"entity-type":"item","numeric-id":3119284,"id":"Q3119284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cab6f7fb638180eb455e107087e41de0c2e7435b","datavalue":{"value":{"amount":"+0.7429290413856506","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":"Q1408658$42505EAD-401D-4F39-8387-1A46077239E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"029bbef2e8871ab07b28ba19b0b2f2e4084d0a53","datavalue":{"value":{"entity-type":"item","numeric-id":3059441,"id":"Q3059441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc8b2ee6f8d9d905a50982d866d5548432a68d0c","datavalue":{"value":{"amount":"+0.7400282025337219","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":"Q1408658$8AA555AD-8214-484D-846E-C53210E135C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematical proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematical_proofs"}}}}}