{"entities":{"Q1408656":{"pageid":1419396,"ns":120,"title":"Item:Q1408656","lastrevid":68784771,"modified":"2026-04-13T02:03:06Z","type":"item","id":"Q1408656","labels":{"en":{"language":"en","value":"Randomization, persuasiveness and rigor in proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1985794"}},"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":"Q1408656$4E3B0C88-341F-47F9-AC92-108A5C796BA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19818e79f92487bf0afeffd9f66f380fb5ec08f3","datavalue":{"value":{"text":"Randomization, persuasiveness and rigor in proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1408656$16AB29D3-3A5E-4973-BB43-5152A79C98B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8a9736e99f0753b2f6035b551697aa71431a91f","datavalue":{"value":"1037.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408656$B046652F-B31A-4AB0-B70A-0622BD8874DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33e71bb5c853094aaf880ef0b137194ab0b891f4","datavalue":{"value":"10.1023/A:1022183530114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408656$2384277B-04DA-45C4-956C-A63E326B7F17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6358df7fd1a45c47205fbb6fbde34b7388600633","datavalue":{"value":{"entity-type":"item","numeric-id":1408655,"id":"Q1408655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408656$96B59D31-49DF-4319-ACFE-E8B04D13FBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aeb384fd0cacd0ac1304d14ec513cc367a2af10","datavalue":{"value":{"entity-type":"item","numeric-id":811133,"id":"Q811133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408656$75C6A8FC-D5B2-4564-A27B-8C86431477BF","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":"Q1408656$E17DE1B3-6B35-4209-B450-C148AE35DBAC","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":"Q1408656$A0839714-BB25-4702-85B8-04AD6E65983C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2d974d1cae88e662d0e3661fe988831ff6f5f94d","datavalue":{"value":"The authors conclude that randomized algorithms (i.e. probabilistic procedures) are not only shorter than classical proofs, but they actually formalize the idea of inherent error in mathematical processes used to solve problems. Moreover, probabilistic procedures have the advantages of decreased length and feasibility, and also make clear how to deal with one set of epistemological worries while dealing with the other set by erecting a formalism allowing arbitrarily high certainty.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1408656$721A6129-1D6C-4A65-AC65-AFCD9084D351","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408656$719E0B5A-F281-4FF6-9E1B-FDDB0FE87BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408656$F2F9162D-235D-4253-8394-F12595BA5A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408656$0A453E6F-A3D4-4D42-B1FA-2C63F9B6CDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408656$EBC32C79-B305-486E-8ED0-A5E02350749D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"488643e779d88bd7e45dbb1d650e57ac30c5419a","datavalue":{"value":"1985794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408656$A45730A9-B53C-43AF-AAE7-101EF26EDC1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"679372600590a03c48d4032113dc215d14bd33c6","datavalue":{"value":"randomization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1408656$F0EE87D4-60AF-4921-BFDF-B194CE495052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c660af42265b48b7ca66361a989146a10263522a","datavalue":{"value":"persuasiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1408656$B13BFF88-9483-4333-8977-77CFE818041F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408656$5E787AB4-4FD4-432E-99CB-F8034AC7C32C","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":"Q1408656$4C54E5B1-AFC3-4480-BE36-A0B235BE78A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abae34d62d25540e51a46ff5cb39b676f0e94245","datavalue":{"value":{"entity-type":"item","numeric-id":1807460,"id":"Q1807460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afeeb2b29f3eee7011f39c7ecb838c8e00c3bfcc","datavalue":{"value":{"amount":"+0.7622885704040527","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":"Q1408656$8E1A27CB-7E50-4B29-8617-212F02259C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a89b918fb0736f2566b35463f6a561ee71daa14","datavalue":{"value":{"entity-type":"item","numeric-id":4186204,"id":"Q4186204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80de73a6402265e9b331eb61300e6d6471396916","datavalue":{"value":{"amount":"+0.7497517466545105","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":"Q1408656$3B31F235-7467-4DA9-A8C5-B57997B96C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dde4598d05d0cac1254841c4b0f333732b9cb765","datavalue":{"value":{"entity-type":"item","numeric-id":3345786,"id":"Q3345786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"627cb48211c054db5819a5487066b9ee34ce33a8","datavalue":{"value":{"amount":"+0.7395482063293457","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":"Q1408656$702C26D6-669F-4E46-A15D-8C2863BFBF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beabc76344ab3768eadb52088932d1448a91824a","datavalue":{"value":{"entity-type":"item","numeric-id":1106840,"id":"Q1106840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51c9381130edcc3e4f8a9e09a099750648b5a901","datavalue":{"value":{"amount":"+0.7372018098831177","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":"Q1408656$E0F3F5AA-9A06-4AB5-A937-DE6F00BC7540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6b2459b9f0271769ad2cad258c74d8cfac8201c","datavalue":{"value":{"entity-type":"item","numeric-id":4729071,"id":"Q4729071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b21bbe97af9056fd0667a5b78f827f80f1a8fd","datavalue":{"value":{"amount":"+0.7368049025535583","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":"Q1408656$1A5E5C11-A74E-4AEF-B71C-6F6283714435","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Randomization, persuasiveness and rigor in proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Randomization,_persuasiveness_and_rigor_in_proofs"}}}}}