{"entities":{"Q1702532":{"pageid":1713273,"ns":120,"title":"Item:Q1702532","lastrevid":68218458,"modified":"2026-04-12T22:13:16Z","type":"item","id":"Q1702532","labels":{"en":{"language":"en","value":"Proofs and guarantees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6845226"}},"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":"Q1702532$98516F8D-741A-4F44-90BD-3E15C2D97E6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9dfba96fff6bb76e5018500476b352579fc2230","datavalue":{"value":{"text":"Proofs and guarantees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1702532$BCC77185-1666-4208-824C-EDC443B178EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf891d893941a0b12cb32fe00ca0f15554f219b3","datavalue":{"value":"1387.00012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702532$A2655CFB-5B5C-40F5-A9F2-0F25B38D712E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc13d23bfd59e4ef3ed214abfd5738ec04100856","datavalue":{"value":{"entity-type":"item","numeric-id":1567034,"id":"Q1567034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702532$C0473890-930A-41AE-9AF1-AF38F20F7D3D","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":"Q1702532$F434F573-C743-4294-8F79-836382694EDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83a563c9b99725ee9beb97d56efcf7fe190c1bb1","datavalue":{"value":{"time":"+2018-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1702532$B673F6ED-879D-4D72-BB36-EF12EAF6FDF6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8525768c23d61075307a8ede8a7ea9bbf93554c2","datavalue":{"value":"The paper is devoted to the problem of the role played in mathematics by proofs. In particular it is considered whether proof is the only sort of legitimate evidence in mathematics, what is the role of axioms and postulates, where do axioms come from, what is mathematical rationality, what are other forms of evidence in mathematics besides proofs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1702532$C33B2EAB-8CBF-44E8-A9ED-757149390986","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702532$EF1FA257-E021-406E-B02D-9D25EC88954F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702532$93AEABD2-A978-490F-8FCA-0C1AD721654B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702532$9FF0C4F0-0B57-4D60-8A78-F64098FB8D20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"045b37946f021f5ab933aaf64ebb7a91cc565e06","datavalue":{"value":"6845226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702532$DB2F0924-981E-4010-B89D-D8AD72805B41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c1f8ecbef520debe4ed65c00c0dc97890c1127","datavalue":{"value":"proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1702532$73634819-60E0-4CBE-9D32-09C90624A27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"024a4379c140f76d96323155b280ede0043f4e5d","datavalue":{"value":"evidence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1702532$D8ABC6E2-997A-45BC-9965-650DC7A5B6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95d8e061ae891ae238409d6c1473c71905a5a33c","datavalue":{"value":"rationality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1702532$ED921AB4-FDCF-4CA4-886D-5BCDDAF33481","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bbe32876136b4c0c7acf1bb2a611171aded58866","datavalue":{"value":"Q113905640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702532$70692847-5DCF-414C-B973-E400DBC421D6","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":"Q1702532$7CEB8F90-4B61-45A6-91AB-B17453DE6F73","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af564c3519cc71acd192c2eff3d47ccfec93b76c","datavalue":{"value":"https://doi.org/10.1007/s00283-017-9730-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1702532$08818906-840A-4C8A-BD73-FB37B0EF39E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd3b99a42b46f9c84bf1a0c1c8ad3b8626ecd54d","datavalue":{"value":"W2766186374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702532$D92F6543-C451-40E0-B435-4B892453D240","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce582122c1486d365d29390fdb1c67648d3218c2","datavalue":{"value":{"entity-type":"item","numeric-id":4299213,"id":"Q4299213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702532$18C86DD9-1DD5-49A2-8DD5-1E6C7AE9AA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"064290a7910a2f4ec678cc0119b48a8fcc54067d","datavalue":{"value":{"entity-type":"item","numeric-id":4527397,"id":"Q4527397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702532$FF580BF6-08FA-4787-ABB9-10B37021E979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb23be9a90cdbdbdc36878c528ab9431a368a43","datavalue":{"value":{"entity-type":"item","numeric-id":2737646,"id":"Q2737646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702532$565BCD55-5F69-49E3-88BF-CABE6964266E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e06246cd6673d30ef14749aae27286b480929b9","datavalue":{"value":{"entity-type":"item","numeric-id":4501772,"id":"Q4501772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702532$43567F95-62EB-453D-A2E1-5888DBF509EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"403c76103dc620815a70478cfef0d779aeb8f004","datavalue":{"value":{"entity-type":"item","numeric-id":3138086,"id":"Q3138086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702532$BE396942-707F-4BCB-BF44-F19609F62794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f3943bb0fa3fb0f603e5b29aa3c9793ad8c2af","datavalue":{"value":{"entity-type":"item","numeric-id":3224359,"id":"Q3224359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702532$4CCCED72-B096-4B6A-B227-CC748DE37E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33841ad303f8de9868344c4ccb9374324aeea1e","datavalue":{"value":{"entity-type":"item","numeric-id":4530470,"id":"Q4530470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702532$70A82A66-FBED-477F-BED7-3A193FE203AD","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":"Q1702532$C04C252D-4C91-451B-AEDC-9F1ABCC39FB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c657507441940100e9ef38b017fefd81c1f64d0","datavalue":{"value":"10.1007/S00283-017-9730-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702532$22CF7BE0-55CE-472B-90AB-A6B5156C657B","rank":"normal"}],"P1643":[{"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":"19a897cbf9b7d8827bafd17205d7357b61252007","datavalue":{"value":{"amount":"+0.7889310717582703","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":"Q1702532$E9E4703D-8726-4410-A4BE-38CBAE98F511","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":"39b27bce7218ce9919f1d408d10c29e2dd81b71a","datavalue":{"value":{"amount":"+0.7740059494972229","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":"Q1702532$D48304E6-099B-4857-BAFA-B37C5CD4C034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991f0a0d01b0a98d538b91b6b4422d888fb4f6e8","datavalue":{"value":{"entity-type":"item","numeric-id":3654811,"id":"Q3654811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc4480bc52b10a66a8deff77574e05a3db6ce574","datavalue":{"value":{"amount":"+0.7730099558830261","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":"Q1702532$A33BCA9E-D0AE-40B1-82C8-71357AC1CC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de49c40ade8bb06d03cae00686fdda1e3c137a6","datavalue":{"value":{"entity-type":"item","numeric-id":5441774,"id":"Q5441774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85b3496ae4431eeaaf433b7d9c816edb2ebdd011","datavalue":{"value":{"amount":"+0.7562052607536316","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":"Q1702532$B44F471E-014C-4FDA-BAC5-4680B572B635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da0de4456a36339b1476230c88892eae0108e1f1","datavalue":{"value":{"entity-type":"item","numeric-id":4824968,"id":"Q4824968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e10ad84bdb1e712f930a79ec31bb01ee7bffc27","datavalue":{"value":{"amount":"+0.7546624541282654","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":"Q1702532$A306917D-15A3-4A1A-9E6B-8A71DF65F9D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proofs and guarantees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proofs_and_guarantees"}}}}}