{"entities":{"Q5495829":{"pageid":7525389,"ns":120,"title":"Item:Q5495829","lastrevid":101414966,"modified":"2026-06-06T01:12:45Z","type":"item","id":"Q5495829","labels":{"en":{"language":"en","value":"On the concrete efficiency of probabilistically-checkable proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6326993"}},"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":"Q5495829$EF8E7650-E3C2-4EED-87E2-603F016BF8FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdefdf6738e1ab11a70091913566a746ca5d7003","datavalue":{"value":{"text":"On the concrete efficiency of probabilistically-checkable proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5495829$29675E23-8AAB-4BC3-A222-D5F574CC1E21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4da142baac3d1216357dc686b214d19f5c8c8b7","datavalue":{"value":"1293.94054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495829$36E64D7E-FE4D-46F6-AC78-E8FF8801DA3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"089fd96c2b4500bc29c027dec42fb02c28862ddb","datavalue":{"value":"10.1145/2488608.2488681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495829$1AB9FF1E-404D-426A-9984-4B73ABD34A7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dd3094b0d0097c1754f63d55999ed1b4931a5c0","datavalue":{"value":{"entity-type":"item","numeric-id":496302,"id":"Q496302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495829$EB4178E0-FDE5-4FE2-932C-13F411CE8959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b11224702ebda4fa6749901ef03700c79f3ed704","datavalue":{"value":{"entity-type":"item","numeric-id":496011,"id":"Q496011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495829$6E82BA58-3F3D-469F-AC40-4AE161907375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0aeac42f8c93effd0491e806648b796f243c066","datavalue":{"value":{"entity-type":"item","numeric-id":775944,"id":"Q775944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495829$DDF23FB0-D3EB-44B4-830B-36D21CCB06DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83e78f631e6a025f8bebfbb531d68f40db62967e","datavalue":{"value":{"entity-type":"item","numeric-id":1688400,"id":"Q1688400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495829$B6D9023B-E9C3-4568-9554-21EEAC6DE76A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c94d745affbb1f035e3911adf053858df897bb7","datavalue":{"value":{"time":"+2014-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5495829$9C5F1315-C6FC-40AA-8C21-67C6F86891C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495829$DE795C73-F6FB-43AF-9388-7C8B37E6DB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495829$D2CBAC82-493E-4B12-8C54-A477F4A373AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495829$1415D5F0-05BA-402C-AA35-61EFE03067CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e51adb5fded8427aba510fd00c59eaf339cb8e95","datavalue":{"value":"94B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495829$070AE28A-52D3-46A0-8FDA-C398F3FDB17D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6ab9c15c39af301bd3f705c82140814ebb99a90","datavalue":{"value":"6326993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495829$D6EF5165-968E-43FD-AD2F-505581E26CF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"704d9c863cf1b51140f8bc1528da859291cc70fe","datavalue":{"value":"PCPs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495829$51C43008-59FF-4D9E-88FC-9574C53653AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb3d51eba87b04bd919c47ca2a76fac980500129","datavalue":{"value":"low-degree tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495829$78EDAFA8-8A1A-4C72-AA93-8F24D1BA93D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9ddae0727ac3639d8f0aea87d0b0ae867cfa3cb","datavalue":{"value":"Reed-Solomon code","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495829$7225EF86-EAC2-4562-865A-2EC51143E9B5","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":"Q5495829$D2074903-DD61-43F2-95F7-9B79F8FDF94D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c4b0d151dc0c9fdde72789692bc3952c0c8d5b1","datavalue":{"value":"https://doi.org/10.1145/2488608.2488681","type":"string"},"datatype":"url"},"type":"statement","id":"Q5495829$A82E05FD-F71D-453B-844B-DDF920E85B63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aab4932686210d25104b681da4d9b6b5a4e624fd","datavalue":{"value":"W2077901621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495829$C70F0DED-3258-49DE-A842-7B7817043B94","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38c7209c99d8d20a2d820b43521862d39695f5b8","datavalue":{"value":{"entity-type":"item","numeric-id":5361813,"id":"Q5361813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495829$79610284-46FF-4B88-8722-3F0BC86471DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c71a9c4b35d7b6a68bd039dbc67d0e2884e37718","datavalue":{"value":{"entity-type":"item","numeric-id":1344618,"id":"Q1344618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8b7967ed195e00628da3a67a19783169dea6cf0","datavalue":{"value":{"amount":"+0.9395057","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":"Q5495829$0A263C54-4536-40C5-9359-4DB94F00BFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff8462bfd2a5cf028620927480edde6e6d5ead70","datavalue":{"value":{"entity-type":"item","numeric-id":1881217,"id":"Q1881217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5febaa536062cf3d114cc3e2774f92ff68f94936","datavalue":{"value":{"amount":"+0.9277332","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":"Q5495829$5B3E78DE-D0E0-4199-BE57-84D965CFFB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8af035880564dafafb9c1bc911264b02c0a5fe5","datavalue":{"value":{"entity-type":"item","numeric-id":3096563,"id":"Q3096563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"730324a7297592c3a601f9612f9625991a7e84f2","datavalue":{"value":{"amount":"+0.91962564","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":"Q5495829$74575174-C267-4449-9215-0286BED9D93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfb34017d2959acceb077203a2463c7286afa976","datavalue":{"value":{"entity-type":"item","numeric-id":3841041,"id":"Q3841041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"866f21def5bd9ca5f9cd00027758553a7a244365","datavalue":{"value":{"amount":"+0.9146426","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":"Q5495829$ADDC7625-B069-4545-BB29-E39010EC42E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cfbe5278299d2455f99a7f2270406f8ce244889","datavalue":{"value":{"entity-type":"item","numeric-id":4230321,"id":"Q4230321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2f3ee568379f75c8696da7eac9730a5b5d33f1d","datavalue":{"value":{"amount":"+0.9104186","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":"Q5495829$D72BBFD8-F99C-4E5C-B805-028E13F7F128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce018550eadd24e89fcf973622e2d181ee94dd9c","datavalue":{"value":{"entity-type":"item","numeric-id":1126840,"id":"Q1126840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4daa6ab2e7d9ece3c3b2f15a06bf64920e4bd3c","datavalue":{"value":{"amount":"+0.90487283","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":"Q5495829$3B2168AA-5B6A-4082-B2C2-A2118735CF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"949dc6185729e487d5eddef1dfe3d84e5d8e1e00","datavalue":{"value":{"entity-type":"item","numeric-id":1977920,"id":"Q1977920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"113b55d8847fe8c17ba20c2bb2729ea7506ea549","datavalue":{"value":{"amount":"+0.90037733","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":"Q5495829$BB975EC4-906D-42B1-B71E-12FA9E9D7756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a540b391114ecfc41681dcee8da785ecbfa0e800","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ce6783c7b9f6407e85c46145b86037fd54ede3c","datavalue":{"value":{"amount":"+0.89769375","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":"Q5495829$534687E9-224F-419B-AF1C-62112B422447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a573abb5e05fc078d589fc44c0bd6204955c8676","datavalue":{"value":{"entity-type":"item","numeric-id":4527017,"id":"Q4527017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f743453cc55dd42d6f393bc5b74e7116a2c03df","datavalue":{"value":{"amount":"+0.89728785","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":"Q5495829$F2E28124-1E00-4F33-BB56-5E7463F40448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12a132e4daa2e15bd5dc269ad3507f16b279f28c","datavalue":{"value":{"entity-type":"item","numeric-id":1687744,"id":"Q1687744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166d3b17c3b52e75847f5abab0e68b606b9fce2c","datavalue":{"value":{"amount":"+0.8942499","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":"Q5495829$D74CB857-DFB6-4DF9-9D93-43A2A773CB14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the concrete efficiency of probabilistically-checkable proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_concrete_efficiency_of_probabilistically-checkable_proofs"}}}}}