{"entities":{"Q5390590":{"pageid":7420164,"ns":120,"title":"Item:Q5390590","lastrevid":41532768,"modified":"2025-05-05T10:49:40Z","type":"item","id":"Q5390590","labels":{"en":{"language":"en","value":"Hardness Amplification Proofs Require Majority"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5874028"}},"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":"Q5390590$B602DB6D-51E4-4FEA-92E8-1E2A20D2E5DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91a9f408ff694e0386c0e81e1a8e8b3df34a8dab","datavalue":{"value":{"text":"Hardness Amplification Proofs Require Majority","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5390590$43A755A8-9ADA-4E70-BFA6-CA7B12F75F31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f56dc28835c89c1ad5d28c3a2db02d2ffa53d811","datavalue":{"value":"1214.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5390590$807737E5-91E8-4ED8-9A25-54DEB20F060B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba94f69d7ab3e19967e037f10220ff09c4b33eb0","datavalue":{"value":"10.1137/080735096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5390590$74BF6E79-3BC8-4C39-832B-9B98E0DD44CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"256705a197690b134d5b3e203b26d7eb8b836aa7","datavalue":{"value":{"entity-type":"item","numeric-id":301522,"id":"Q301522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5390590$D7EB7FCD-13D9-4539-B70C-F7DE4CF2F40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90686eacaaafeb9e6cf70d8234be0660017dcb65","datavalue":{"value":{"entity-type":"item","numeric-id":261364,"id":"Q261364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5390590$9F96AF08-B412-45EC-86B1-1E2F9FB4BA05","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5390590$ED19078F-4BD3-4030-966C-27DA67F98912","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a192fe79392c4158e27b5103c410670df9a4278","datavalue":{"value":{"time":"+2011-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5390590$4E61C4C1-124D-45FF-BB87-BC58850B5E1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2474e7a21ae0d0b1f6ac399b32eda7c229ede3aa","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.154.6716","type":"string"},"datatype":"url"},"type":"statement","id":"Q5390590$333DE737-6999-4F4A-914E-61AE080B0B62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5390590$EFBB8CB5-034A-463D-A540-F79A75EA21C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5390590$D6332127-C9C8-44A5-970E-2B5977F777C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5390590$A9B3E421-5F02-4079-B064-FA71062E0DA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e65c8def9ca3de7d05c1024249c823bc0c262ef0","datavalue":{"value":"5874028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5390590$2DC2592C-0722-438F-99E3-64FA91765692","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fb844181195893589e16e640c807c1a4d3b49d9","datavalue":{"value":"hardness amplification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5390590$98D91EBB-6D52-42E9-AE5E-8E61AD780397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f1814ebfb0c5873f215208cab188392d4def9a","datavalue":{"value":"lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q5390590$6434302D-69F5-4720-B93C-08E10319E463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcaef8b48097d50a08be2219f6311c65284708bf","datavalue":{"value":"circuit","type":"string"},"datatype":"string"},"type":"statement","id":"Q5390590$38BC523E-1840-4985-B83C-88D9553B36A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6899f069c3f1042f29e8b176d985cd0bbfe7e26c","datavalue":{"value":"natural proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5390590$7E217A67-38E3-4D3C-8446-47E25E136012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5c55def250e1585037dab482b105f7d3aa06c3c","datavalue":{"value":"majority","type":"string"},"datatype":"string"},"type":"statement","id":"Q5390590$08FC9129-7319-4E05-A4A7-21B71A2C98DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c823d5520cbae0851ffaa49a92d96a2f0e260e8","datavalue":{"value":"decoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5390590$F3B8E1DC-CD05-4E3D-BE75-7B5712089481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65e1ec6af7eccd7ea2aaddce201748f81df9883b","datavalue":{"value":"small-depth circuit","type":"string"},"datatype":"string"},"type":"statement","id":"Q5390590$498EE438-2DC7-4796-A334-CC87E57FC789","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":"Q5390590$736BE0A4-4129-46EE-AD9E-F83E156EF195","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"feaafee6cee3d0cc1d9284397a96ada2b710cc55","datavalue":{"value":"W2027665018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5390590$86EEB01F-BD50-4542-9F84-866DE7E544E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db5198c460e8ec2329cffd73c51e9fddc665e45a","datavalue":{"value":{"entity-type":"item","numeric-id":2875135,"id":"Q2875135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b3887bd24f15bdb57f7be902bc5723da0e80a1a","datavalue":{"value":{"amount":"+0.8647778","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":"Q5390590$C3E11B7D-1A60-4613-B3E3-B2F1553BD0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56287f234c44f8ac9707170239a3f6bc2fc93642","datavalue":{"value":{"entity-type":"item","numeric-id":5205815,"id":"Q5205815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aee8ea3e1492b42b4819d81c7b615f502e412e4c","datavalue":{"value":{"amount":"+0.85724735","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":"Q5390590$9D888B0C-D8E1-4D0D-928A-E58DA9DEDF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b2ce293f0535e64e9b8704a3de5f4b158b219db","datavalue":{"value":{"entity-type":"item","numeric-id":3611762,"id":"Q3611762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18bc957e0b82a330bf10e900c0064173612769ae","datavalue":{"value":{"amount":"+0.8447188","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":"Q5390590$6C5F6FAB-D2FF-4306-ACF6-1C6D31240BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c410a695cc71bfa663b9d771aa78a9ed90044c8","datavalue":{"value":{"entity-type":"item","numeric-id":2891501,"id":"Q2891501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f91341b9161a6bcd28ee97a55228f13c3051c5","datavalue":{"value":{"amount":"+0.84440255","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":"Q5390590$4FC448A9-5070-499F-8927-1CC9E40FE26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3636f3cc6316e41b2389911ac30d9f245597641","datavalue":{"value":{"entity-type":"item","numeric-id":5711652,"id":"Q5711652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"513d7ed504b0dd61be66ef10e60272f8cd5ea66e","datavalue":{"value":{"amount":"+0.8208815","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":"Q5390590$00635AE3-9696-4220-8B7D-7E9EE950F4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a61148c59a527d6e2f734b596aa8599121422c3","datavalue":{"value":{"entity-type":"item","numeric-id":5917544,"id":"Q5917544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9de72daa1e80bf731d866500b5337ae8174275a6","datavalue":{"value":{"amount":"+0.80806625","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":"Q5390590$41B5FAD7-7841-410D-87F3-D7BF2E8353FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"093d68e766dc307247179704a7eb18bfc92b1579","datavalue":{"value":{"entity-type":"item","numeric-id":5889786,"id":"Q5889786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a24accbf4288647b6984683b573c8303299421ef","datavalue":{"value":{"amount":"+0.8058589","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":"Q5390590$712CBD74-C2EC-4A5F-848F-1601DF43FF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ae46852a9be82de6b03f0e54f57674d462ad19","datavalue":{"value":{"entity-type":"item","numeric-id":5875777,"id":"Q5875777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a24accbf4288647b6984683b573c8303299421ef","datavalue":{"value":{"amount":"+0.8058589","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":"Q5390590$5522FA28-AFCD-4CF5-B62A-BE18873720C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a559ac7990ebe63e2c23bfb4470fe82a88cb853","datavalue":{"value":{"entity-type":"item","numeric-id":3604852,"id":"Q3604852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f049520756fe43d645fbee51c8297873923414","datavalue":{"value":{"amount":"+0.8052375","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":"Q5390590$901A54AB-1A75-42DA-8B6F-FB7282EE68EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5390590","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5390590"}}}}}