{"entities":{"Q6487208":{"pageid":14065977,"ns":120,"title":"Item:Q6487208","lastrevid":103365932,"modified":"2026-06-06T07:14:29Z","type":"item","id":"Q6487208","labels":{"en":{"language":"en","value":"Adaptive proofs have straightline extractors (in the random oracle model)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7551492"}},"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":"Q6487208$D227B87D-1675-4B9F-BD6C-ABC67B884987","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36edd64c1bcbf971c77fa42c6da904255b0dfafe","datavalue":{"value":{"text":"Adaptive Proofs Have Straightline Extractors (in the Random Oracle Model)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487208$728FABFE-F1F3-425D-A7BA-17FC5AC732D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e066a65c4037cee7259e4a121e51f906432cd78","datavalue":{"value":"1521.94029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487208$B1BAE7DC-925F-4B6E-8C6A-435DA290D765","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed0fa927d902bd4049a9a2c190f8534de1fe4890","datavalue":{"value":"10.1007/978-3-319-61204-1_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487208$C6797A8A-B3E1-4166-8832-ED9531EC575C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7c6504eacab14e08cce9f575bf951ef59c9a080","datavalue":{"value":{"entity-type":"item","numeric-id":2798770,"id":"Q2798770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487208$F2BFDAAB-FACB-4927-B402-A85533F22376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aceaadc76c6a3d7d6b8b9324c87c9263895ee7a1","datavalue":{"value":{"entity-type":"item","numeric-id":2096534,"id":"Q2096534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487208$5B7A7860-E9ED-4298-AF54-EB92CF679BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98939a88dca0819f3a8d36cb50ebb9f88c03febb","datavalue":{"value":{"entity-type":"item","numeric-id":421029,"id":"Q421029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487208$51610574-6739-4684-8BF6-8261F043BD25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b01f91c2828ea0406533259953e45b7596e1cea7","datavalue":{"value":{"time":"+2022-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487208$A5EB05FE-9881-4003-B873-478827D78CD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487208$8F473BF8-3FEF-4069-B187-4C789D14AA13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2c5bd5b5df7c1fbe1ef0253b35a491ac9deb3a6","datavalue":{"value":"7551492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487208$270AF233-48A4-411C-BF61-DC0CBD7D3192","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":"Q6487208$F30B183E-E1F8-4EE3-A70D-E194B5157DEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f70aa113bbfe00c74e52b3b0c5710c2cff094dd0","datavalue":{"value":{"entity-type":"item","numeric-id":4739525,"id":"Q4739525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487208$E4AECDF6-FF09-4A1A-BC99-D1A018655C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e3b4249b8398eaf62ca99e3ad99ebe270af8ed","datavalue":{"value":{"entity-type":"item","numeric-id":3593109,"id":"Q3593109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487208$C0C03DC9-C358-4B41-AD45-19D8F84CDEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd1d130e93b362b9158ede67feb9f22dd2fa0e7","datavalue":{"value":{"entity-type":"item","numeric-id":2941213,"id":"Q2941213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487208$95FBC38F-77DF-4561-97DE-6B1BE1BBA28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5ad24d126558343ed97582e9cdae38b6f365d6","datavalue":{"value":{"entity-type":"item","numeric-id":2798771,"id":"Q2798771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487208$22D53036-FE69-4F68-80EF-31DB93F2DE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81da609a6342fec55176eaa5015fe2ec8bca8c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5458933,"id":"Q5458933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487208$81E9AAD2-42EA-45C2-8E23-E35EAC8462E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2eb86bbd6348ea66e162419695a7061e84e58c","datavalue":{"value":{"entity-type":"item","numeric-id":3777940,"id":"Q3777940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487208$C1889535-3273-4CE1-97A4-A2BCC383992C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d640e33b260c8adc39d24ecafeec86d7f7988e","datavalue":{"value":{"entity-type":"item","numeric-id":5451024,"id":"Q5451024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487208$D001387C-2933-4A1A-9966-2E4C897E5789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48fa2353cacc4f4e12163c2c03f2adb29e49b007","datavalue":{"value":{"entity-type":"item","numeric-id":4924426,"id":"Q4924426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487208$AD6FD771-2E89-4DD7-AFBF-96C3110DF8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc87fb9a9b8701b5be36cb19f1e8a6cecf919369","datavalue":{"value":{"entity-type":"item","numeric-id":3612242,"id":"Q3612242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487208$8FA5EA9D-6BAF-4B2C-879C-AA9FBF33DF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9a02137dc3e683cfd8a04c49e2fec16be2b4ef","datavalue":{"value":{"entity-type":"item","numeric-id":5897509,"id":"Q5897509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487208$A69FC19E-B5FD-4C3C-A58E-E99EB41868FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ef3403a7b5ef5e40c9f7e9e1d61ebdd7c801df","datavalue":{"value":{"entity-type":"item","numeric-id":1898267,"id":"Q1898267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487208$926B09EC-BC89-4120-9DC5-F46246118DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c17af00c70562ac3115d7d5d4ea05facc9b18285","datavalue":{"value":{"entity-type":"item","numeric-id":5451061,"id":"Q5451061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487208$2CDE6284-A914-4777-8FC6-77A810065895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9555fd6e13661952c64bc2d93f0ff961be1bbd46","datavalue":{"value":{"entity-type":"item","numeric-id":1180508,"id":"Q1180508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487208$8BFA3D33-5524-47C5-8EFC-ABE20B6E34DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2881c72f013b8c22875741dea19d7dd29be34fc6","datavalue":{"value":{"entity-type":"item","numeric-id":4910226,"id":"Q4910226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487208$EDFAF74E-C809-4C5D-82BD-E668446317DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b827bbbe247af37d8e846fb1920a1803b9598ea","datavalue":{"value":{"entity-type":"item","numeric-id":4249624,"id":"Q4249624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487208$22705607-3908-4B83-A205-405C9233D9C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf3e4c376081ba49722b4c95d3d515ae5a94a377","datavalue":{"value":{"entity-type":"item","numeric-id":2941213,"id":"Q2941213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bb2b3100824eb887a40788516e0f4671224bad6","datavalue":{"value":{"amount":"+0.8301313519477844","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":"Q6487208$F74AD7E0-3D83-4965-AAB8-14378A48E8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19eb2d841e17c70136f752bfc39e71fe12849b87","datavalue":{"value":{"entity-type":"item","numeric-id":2106675,"id":"Q2106675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f2b5d8762c0922a7a886456e6236ca9d9fd6c0e","datavalue":{"value":{"amount":"+0.7940654754638672","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":"Q6487208$8EA0B857-2895-49B0-BA6F-7A13E8362D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75932cdb6e85d68b680767e7826d1580e3750cbe","datavalue":{"value":{"entity-type":"item","numeric-id":4910279,"id":"Q4910279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bbab4bebd97ba7116b78a34538e29eb87928cb4","datavalue":{"value":{"amount":"+0.7781413197517395","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":"Q6487208$16D6BD8E-DC5A-484F-AE1D-5641F4237C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ada4c31122d3c01499ba450b5f3a913a46c649b","datavalue":{"value":{"entity-type":"item","numeric-id":5451024,"id":"Q5451024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a006eb6238fb4c54cbaefa8eb580362be9f2c67","datavalue":{"value":{"amount":"+0.7635146975517273","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":"Q6487208$C85AE590-9166-4CDF-8ED8-91737BF38472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee47c847d591eaad7453f469622869292783e60","datavalue":{"value":{"entity-type":"item","numeric-id":4910278,"id":"Q4910278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f08db5560ff93a431b32bc821a0e6182aa494060","datavalue":{"value":{"amount":"+0.7579894661903381","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":"Q6487208$C965DA53-E271-4665-A6EB-25E17401152B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Adaptive proofs have straightline extractors (in the random oracle model)","badges":[]}}}}}