{"entities":{"Q603906":{"pageid":605682,"ns":120,"title":"Item:Q603906","lastrevid":63049386,"modified":"2026-04-11T10:04:30Z","type":"item","id":"Q603906","labels":{"en":{"language":"en","value":"Confronting ideals of proof with the ways of proving of the research mathematician"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5813783"}},"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":"Q603906$BBB25BF4-74AD-48E4-9E73-1CA2561FA885","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3ff9a0035ff6eda7661f0da083cea6e4a853468","datavalue":{"value":{"text":"Confronting ideals of proof with the ways of proving of the research mathematician","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q603906$8FC3F663-1BE5-47A1-ACA1-A2C6279B8B4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0deb4e918e364a6d099960d7dc507f0c7b002529","datavalue":{"value":"1239.00020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603906$6F785E69-7158-499E-8CC4-8BF08152B5A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07101712c78a41984de6d67bd081d4a53579eb00","datavalue":{"value":{"entity-type":"item","numeric-id":603905,"id":"Q603905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603906$CEF2A43A-32E7-4FCC-847A-77C481196085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d980a2486e51e4b5f03e607c06c88e8c5fa7cb6","datavalue":{"value":{"entity-type":"item","numeric-id":354283,"id":"Q354283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603906$B09E4BE1-F36F-4A24-A7E8-CE15866EEB3D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603906$A81EAFE5-CD76-4E0E-BD25-C8C9E3A55F18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4a64d94cf3fbadee0bd43f628c99b6d9b300ec8","datavalue":{"value":{"time":"+2010-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q603906$ABDEEDD8-90F4-4147-9A6A-44648479C004","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603906$9B6C4CF8-6399-4565-B882-48D7D09DB114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603906$088B5266-FFFA-46C9-9486-68DB012BE68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603906$4CBF650D-F9BE-4DC0-9C3E-90F480BA6BE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4124c51065e3d6c1e38bbb039e6991803c05ac9e","datavalue":{"value":"5813783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603906$DD19A455-61DA-43D0-9D7B-122B3DB74617","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7122f6b434ec62d62a0c28aa6b0d782dc60199d4","datavalue":{"value":"mathematical proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q603906$CF64DA37-4E2C-47FE-907F-ED36047D06B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfbe124c86a322bd0545e247cc566d8aa1abd533","datavalue":{"value":"axiomatic proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q603906$12673A70-63C0-4871-8FC3-BDF5DBB6F06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fe01a5a7a5e177b29450dd28da2d0b980a791cd","datavalue":{"value":"analytic proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q603906$07D2711E-AB91-4A8D-B25A-D0E881013DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20ba4c07c67126a82e8a26383da0e943335823e2","datavalue":{"value":"hypotheses","type":"string"},"datatype":"string"},"type":"statement","id":"Q603906$A4819AD4-76EA-4AB8-8D06-5467EE1EDB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b399e80d32f01f0e5ecb7d27abf0eef31abf6cda","datavalue":{"value":"deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q603906$C6068B2B-9832-4FAF-BD6B-4253D40BD73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q603906$9DCED872-494C-4AEC-ABB4-7DE5846FAD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec076e4fe4abd75dadc589124f727d6eaf7d3031","datavalue":{"value":"proofs as communicative acts","type":"string"},"datatype":"string"},"type":"statement","id":"Q603906$96C472FC-6EBF-4FCD-B3A8-651A09C93E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75f95f6efc2448e276b7ad3609e59a7e38d14754","datavalue":{"value":"rigor of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q603906$8E1C4ED7-3CEA-49F0-AD16-EFC8A799D09A","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":"Q603906$9B896C8E-996F-44A6-8081-DD9CA8F04DFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0035b08c327e4996f4326edcfa46d6c5f034213b","datavalue":{"value":"https://doi.org/10.1007/s11225-010-9284-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q603906$92B57306-F383-445D-929E-16CDAC4B1D84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9020f9f3cadacfc95c3e0f84de8d1de71d840d4","datavalue":{"value":"W2068595239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603906$56F8C912-E885-4270-B68E-044896B1076E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7d08e7dc6b27b3200e9586d780fa940c4ec0c82","datavalue":{"value":{"entity-type":"item","numeric-id":4662815,"id":"Q4662815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603906$75412A8B-E215-456A-984B-6C61DE0D2CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f4cba03f5097be6cd6f30ef8c6943dc663c490","datavalue":{"value":{"entity-type":"item","numeric-id":4593262,"id":"Q4593262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603906$ADBCD61F-434B-44BD-B47C-C19EA372CB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73453e4480b7f594eafd454f5a37e7f1035a5acd","datavalue":{"value":{"entity-type":"item","numeric-id":4950498,"id":"Q4950498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603906$4ACDE529-FB1B-40F8-93A6-E6E0A6A27656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a8e37266eda3ec5b21a8e7a70fe75c1f6c16a31","datavalue":{"value":{"entity-type":"item","numeric-id":4355889,"id":"Q4355889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603906$A1552126-7356-4619-9A6F-B28D0BA0EC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c83226370b6200ff31bedcc9042fb38c75bbbb1","datavalue":{"value":{"entity-type":"item","numeric-id":3444812,"id":"Q3444812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603906$55FA4A9F-BEDF-4B93-BBE0-E54813989C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de07b1ada0ffaed2d793c64dfb9fe2b4321efa17","datavalue":{"value":{"entity-type":"item","numeric-id":3654811,"id":"Q3654811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603906$AF3A00BB-8E05-4E80-936B-7C851AA3DD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64185248a45ea7b7e1e11ee81f59b4eab8e569d7","datavalue":{"value":{"entity-type":"item","numeric-id":4950495,"id":"Q4950495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603906$BA652A4F-0D28-497E-92BC-1C851EDD5064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6054a787c2607b4d57e50ce27b918d4e8efd772","datavalue":{"value":{"entity-type":"item","numeric-id":4793815,"id":"Q4793815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603906$CEE2B097-7362-48F3-8775-141564B00453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda14f78f5096361ae508993c33492256e185d00","datavalue":{"value":{"entity-type":"item","numeric-id":976298,"id":"Q976298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603906$BE69FCD1-ACDA-4A7D-BCEA-70F1F337D703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de244717a38819c7f1eb9b7017a49ab028722bab","datavalue":{"value":{"entity-type":"item","numeric-id":5431482,"id":"Q5431482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603906$22DC34EB-6001-472F-BA12-66097DEC463E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c76855f08899734180340b56994ac7378103f78","datavalue":{"value":{"entity-type":"item","numeric-id":4527396,"id":"Q4527396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603906$E7D56A17-AA49-4475-BB0F-34BA2E222DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0143976a519a40832ae7b581629a269b0ecb7957","datavalue":{"value":{"entity-type":"item","numeric-id":5426521,"id":"Q5426521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603906$CF17FDE5-B313-4739-BB0F-3BC81D194BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ec03794a3b63e5b2a2e1254e635207b43768d4","datavalue":{"value":{"entity-type":"item","numeric-id":1297037,"id":"Q1297037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603906$1414F199-EF86-4271-8524-5E58E01C9758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6da2e181411f0e8bf20407f3e2d434253e283ff3","datavalue":{"value":{"entity-type":"item","numeric-id":3568115,"id":"Q3568115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603906$2CDBBE5D-B7D1-42CC-8BBE-0489C59D5511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f372f89de7bf317c3abd74c1ef99e85415014e","datavalue":{"value":{"entity-type":"item","numeric-id":3941377,"id":"Q3941377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603906$7CD1D241-747F-4081-A8A0-F949B9572D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c47a8327308afd9b32ff2af9ba5fa9c3557099d9","datavalue":{"value":{"entity-type":"item","numeric-id":4299212,"id":"Q4299212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603906$C87BC4E9-504E-4877-96FF-236498FFD5FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef7b2d565fd035a82c5bc45b666431ce17e47baa","datavalue":{"value":"10.1007/S11225-010-9284-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603906$0705D4A6-718A-4523-B928-FEF7F2525EA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a90c63a5ad9d2cf27f1bd48f660e97c958c78525","datavalue":{"value":{"entity-type":"item","numeric-id":5204811,"id":"Q5204811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aca0bd7708cc3b7072328a1fc92b16fb4ffe122b","datavalue":{"value":{"amount":"+0.7705240845680237","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":"Q603906$A957FC73-59F8-4342-9F05-0D568AF4D8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b19b38baf8255761d3eeb4f0c20df63c53793855","datavalue":{"value":{"entity-type":"item","numeric-id":5221858,"id":"Q5221858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"208be1c9c2845d1934e188029021693920802eb2","datavalue":{"value":{"amount":"+0.7638659477233887","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":"Q603906$1F46BDC6-7A1A-45BE-B566-5A4BEFA05DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983cde8df6ff6b47800969efd7fe44178aa41c9a","datavalue":{"value":{"entity-type":"item","numeric-id":1297037,"id":"Q1297037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42e2e21cb627376b8d036509bc5a1c92ae5927e6","datavalue":{"value":{"amount":"+0.7597874402999878","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":"Q603906$576DA7CF-CB75-479B-86E4-A07C4DA6E061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2fda56c2c5cd6da0bd18e215ba43b1f9b8f6426","datavalue":{"value":{"entity-type":"item","numeric-id":1702532,"id":"Q1702532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73f50e815c4d50c6bc0dd8f19eb550a046079712","datavalue":{"value":{"amount":"+0.7410284876823425","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":"Q603906$F36BABB0-B0D4-47AA-8966-531B8D4B61A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd8481790c1e21805fc6095cdce097a574fc3049","datavalue":{"value":{"entity-type":"item","numeric-id":1297033,"id":"Q1297033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93117e28977bbc8ef585cb79891815228a06e66d","datavalue":{"value":{"amount":"+0.7378060817718506","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":"Q603906$94151D0D-1507-4D05-A47F-4EA7A90FB1C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Confronting ideals of proof with the ways of proving of the research mathematician","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Confronting_ideals_of_proof_with_the_ways_of_proving_of_the_research_mathematician"}}}}}