{"entities":{"Q5221858":{"pageid":7251428,"ns":120,"title":"Item:Q5221858","lastrevid":41175904,"modified":"2025-04-18T17:27:01Z","type":"item","id":"Q5221858","labels":{"en":{"language":"en","value":"Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7185553"}},"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":"Q5221858$E8237DC9-9603-4D30-9059-5DA43FBF203F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0b28c125c9923724c46ebe563faff909ceda0b1","datavalue":{"value":{"text":"Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5221858$FADDE431-D430-4456-9320-723F89486A99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c25464149c590e7abd76919a4996d889ef71273","datavalue":{"value":"1433.00031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221858$1D58D7F8-9678-4CFB-AB5A-D33CED7CE80D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"148bb1a79063008e394f2ee9ff4dbed8a8b193bd","datavalue":{"value":"10.1515/9781501502620-015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221858$46B43008-1B50-4124-A9E7-8CD738C744A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73b7c12287831deb20860a79625a376a1d2f442d","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221858$D46CEB88-874C-45D0-B4D8-E3D8419F35C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"acf087543524d623afbdd16ad688f4bdec86d00d","datavalue":{"value":{"entity-type":"item","numeric-id":5221601,"id":"Q5221601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221858$EC9B0B14-56CE-453A-BD4E-EED5B3FF7DD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5742da56dc1731f3b0dbd67108cb88ffed960e3c","datavalue":{"value":{"time":"+2020-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5221858$794F3272-29FE-49A7-97BE-B513BF6B6CAA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221858$C2EBAC98-C2FF-4848-82F5-7ABD320773DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221858$92D0A6FE-C8B7-4723-8F1F-151BFB7BE012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221858$8AC2BA91-2068-4F59-A107-FF4AE7A8B478","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a15daa2d9bd7b09f201d6e3c9b04b1d3b12ffaee","datavalue":{"value":"7185553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221858$08203A5E-3895-4ED3-9F38-8D57D4B51056","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326c300cf62efa849a7bdb94dd90663d744d9f5d","datavalue":{"value":"formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221858$58D9F2CA-03A3-4472-AA46-FA242D27F4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48735ea423d890820a0097aded9965f4fd35fb96","datavalue":{"value":"informal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221858$A05A043E-058C-4DBA-8627-E438C91D25D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76ec4c3ca5ea2786bb74ab23a71c3207f2b5eb0","datavalue":{"value":"truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221858$48063907-B497-4F96-BD5F-595020BA7955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3eb814f998570d1d6139261a709901fe04d1fe5","datavalue":{"value":"mathematical knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221858$9FC43607-9415-46B1-A428-C5B18B06B032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1f89a774d2b01461b718c178e7e356709245995","datavalue":{"value":"axiomatic method","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221858$30FA37EC-A401-47AD-A097-BED27E0BDBFC","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":"Q5221858$7D2AF2EB-5F7B-43B9-B336-E004805283EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29f501b8378395b0646506f4a33de740445d7887","datavalue":{"value":"https://doi.org/10.1515/9781501502620-015","type":"string"},"datatype":"url"},"type":"statement","id":"Q5221858$77AAEE74-EDDD-4634-ACF0-9C7F0117A967","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"631fe9d3ee8837963b7a08cc6ee19efef55f124d","datavalue":{"value":"W2484325984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221858$3E04B9CC-7D5B-495B-8649-9C5E8C02A171","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4f7f7cb8abdb7bb737c6d700f46565b47c0efb7","datavalue":{"value":{"entity-type":"item","numeric-id":3728870,"id":"Q3728870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a695ccbd945d9427b1dc7698e4e3d683e273184","datavalue":{"value":{"amount":"+0.9101967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5221858$8E9E215B-E675-43F4-BC3D-3AD4889567B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"819ce55b1a7648036e6f5f17e1b5d8d56a1961d7","datavalue":{"value":{"entity-type":"item","numeric-id":3757890,"id":"Q3757890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9155a7eb1876fbe4bd11e58dfcfe3aca52eb0a5","datavalue":{"value":{"amount":"+0.9080306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5221858$1D4CE15F-4719-4D8C-AD19-234AA2A52722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01e22c03e8a45923e2dfca6526415391c13846a7","datavalue":{"value":{"entity-type":"item","numeric-id":3731563,"id":"Q3731563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f54c17d510eb77149546ed4d6f1b61f868b5a7b","datavalue":{"value":{"amount":"+0.9071004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5221858$C4444CC4-F05C-4F9D-8B7E-51A802B0AEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4979bbe1db0442d70d669ab4f246d9f8f7c33da","datavalue":{"value":{"entity-type":"item","numeric-id":4013174,"id":"Q4013174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc992965cc20f2e31a00304a353613cfba89dea0","datavalue":{"value":{"amount":"+0.9056921","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5221858$C91F9D0F-53A3-41B2-BE10-DF956B8044C9","rank":"normal"},{"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":"f03e5b539546d4a4ef539a2c71af93f50d9ab954","datavalue":{"value":{"amount":"+0.90423745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5221858$63C0F2FD-616D-417D-806A-86F13BE518A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96b35f8678cb274cd9c3c3de7405dee49a745629","datavalue":{"value":{"entity-type":"item","numeric-id":4899733,"id":"Q4899733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3e0ee55717eac9c77dd18d97e3084a3ad7c4f2a","datavalue":{"value":{"amount":"+0.90022206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5221858$8C9C04BC-D600-4191-B4DE-89E65B8C6679","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":"684d411f673635beab49190637ed384092b666b2","datavalue":{"value":{"amount":"+0.8980087","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5221858$217D5FD4-007F-49BC-BED6-D23F886EE57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ab2c75ee7c25e0874b3a540f6b2d47384b9f682","datavalue":{"value":{"entity-type":"item","numeric-id":2500803,"id":"Q2500803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"472a87e67a37f95cc1fe20dcdd7c38560900f35e","datavalue":{"value":{"amount":"+0.8974662","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5221858$95361236-6E0C-41E5-9137-F314D07DD46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ef27983478f10d297c42f260f3601a69df720dd","datavalue":{"value":{"entity-type":"item","numeric-id":4299212,"id":"Q4299212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"addbb89c8ef5a5f40c2db73389aee7647a7b1db4","datavalue":{"value":{"amount":"+0.89420795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5221858$34F307F8-9CF9-450E-AF5A-00E93999CF16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5221858","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5221858"}}}}}