{"entities":{"Q693058":{"pageid":694907,"ns":120,"title":"Item:Q693058","lastrevid":63766986,"modified":"2026-04-11T15:24:17Z","type":"item","id":"Q693058","labels":{"en":{"language":"en","value":"On optimal heuristic randomized semidecision procedures, with applications to proof complexity and cryptography"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6113700"}},"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":"Q693058$A8D12869-3E8A-445B-B836-C162E37F1E88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e0d0c5e19bcf65cb8079763fe5592ff6f9820dc","datavalue":{"value":{"text":"On optimal heuristic randomized semidecision procedures, with applications to proof complexity and cryptography","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q693058$3067D2B6-A777-455F-9CF2-D1AD8B341005","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ef81e08fa24c7ae5ed8e814acfef624b39739a3","datavalue":{"value":"1261.03158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q693058$3A27B94E-D416-4304-99A8-7817D1F683A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"082fc9f964d52bb224385bf2fb43b8343199b054","datavalue":{"value":{"entity-type":"item","numeric-id":234710,"id":"Q234710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693058$6A0DCC57-8120-40A2-9559-605D59A803AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9dd58384b41cd0e0a1a2a3006084e0e7c07e0e8","datavalue":{"value":{"entity-type":"item","numeric-id":413275,"id":"Q413275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693058$D4D7F9D6-42CA-4034-9862-B4285BEC3B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ad98ec94830633ca561dede018234746f968e27","datavalue":{"value":{"entity-type":"item","numeric-id":693056,"id":"Q693056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693058$4A0C7EBC-B15B-42AA-B2B2-55891BEEA74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"746e2a61742eb11dd23c6fed9979431e7e2c1d59","datavalue":{"value":{"entity-type":"item","numeric-id":1704572,"id":"Q1704572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693058$20B08E0C-853E-43E0-B3CA-04D3496CC224","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693058$B524E19F-947F-43C4-89D6-DDCEBDE7C426","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d62db44b55e2d42b0d0356bed0e442d914b0181","datavalue":{"value":{"time":"+2012-12-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":"Q693058$49DCF5FF-9564-4DEF-88B4-015F8DBACF0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q693058$063E6921-34F3-483B-82BE-C265A293DF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q693058$595484EC-D1A4-4468-9C55-4359C643C374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q693058$B6914EFB-AC6F-45CD-85EB-16B82EC22D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q693058$4AD145B7-6963-49FC-8AEF-98745C0C938D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q693058$91DE65B7-4272-4B36-A67B-68D74582891D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ad47504a237e9f54a7e5714362a635f6cbdb253","datavalue":{"value":"6113700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q693058$A3FFA2C0-A73C-4854-845B-0507EC921124","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beacc345177607df4ab1f59f0170626c9d1a1d90","datavalue":{"value":"propositional proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q693058$923C298D-C609-4F28-92E1-6E2E81D4EF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc00012563a75ed0c7975e9c32d5f2d16f0982e3","datavalue":{"value":"optimal algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q693058$BB435BD4-798A-44A5-A952-8253F1CDD73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb446bee12c155ec481a6cb1f805a1ad5a60c7c7","datavalue":{"value":"infinitely-often one-way","type":"string"},"datatype":"string"},"type":"statement","id":"Q693058$1094D716-CE64-436B-924F-54C8B55070B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2af51969b73542d6aab2bcded7015ec65969c29e","datavalue":{"value":"heuristic algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q693058$6661F648-448A-4A93-BD01-DD6E787B7853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e30e631a8ddc7500e17aec1fdcc25a32f831eff","datavalue":{"value":"heuristic acceptor","type":"string"},"datatype":"string"},"type":"statement","id":"Q693058$1238C0CA-6934-4B44-9101-4865ED5308C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1af4ff6ccc37c6eefb3182e354289f7d5cfec97","datavalue":{"value":"recursively enumerable languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q693058$354F25C9-F1F6-4890-B9FD-8A16702E734C","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":"Q693058$25B9631B-BBA3-4811-8CB7-AC39934BA166","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"435270e31acbfd68ef38ce2e06a41b40dc65fde9","datavalue":{"value":"https://doi.org/10.1007/s00224-011-9354-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q693058$41A722B0-B426-498D-A1D2-8B3868049F29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac329f49562d303b6dffd2c1f35c76c7e5c73762","datavalue":{"value":"W1995485918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q693058$E197360B-17E7-49B3-AE35-89AAEFFDF13E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"50621bbf1c084d93515abb8fb9d0b9bcc1e49ecb","datavalue":{"value":{"entity-type":"item","numeric-id":4651526,"id":"Q4651526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693058$E3591B13-32E2-405A-9739-A740A4D40F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db6f2368915440fdda932bf45bb51ce0ea4582d1","datavalue":{"value":{"entity-type":"item","numeric-id":3522267,"id":"Q3522267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693058$10843426-D938-4D3B-85E3-D2DF04918989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1b3541975f21c68128b48b36c15544e39ff063","datavalue":{"value":{"entity-type":"item","numeric-id":5444705,"id":"Q5444705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693058$C3BADCA3-AA31-42B5-ADBC-919ACC1B4514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693058$BEC96469-E0B0-49E5-A02F-B0154736485B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7098dea0526a9ce31d705419a4c9c94d943b19","datavalue":{"value":{"entity-type":"item","numeric-id":3617413,"id":"Q3617413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693058$0B2F5DE4-1626-479E-AF4F-872707E26D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4ceb2b370a604fce0695b2aa2fa846f76fcda7b","datavalue":{"value":{"entity-type":"item","numeric-id":3586759,"id":"Q3586759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693058$C30AA6FC-C635-4A40-9439-F671C7D32B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"454365720643dfded828f337324cf7a01ad906df","datavalue":{"value":{"entity-type":"item","numeric-id":4268715,"id":"Q4268715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693058$FBCD498F-A43B-431E-BE1F-7AAA7A608F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30de97f5ed929d60e1368727d0b6a5c4f3db391a","datavalue":{"value":{"entity-type":"item","numeric-id":5385724,"id":"Q5385724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693058$AFEAF75C-00E4-4E83-91A0-499E97FB277F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6550efa2e07793b135a191dad662623752525f35","datavalue":{"value":{"entity-type":"item","numeric-id":638488,"id":"Q638488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693058$A6FBA866-12AB-4F83-9E50-188148663CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f4a86512e0f02bf82877dbb62313fcd7fe9ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693058$D64B3B0C-088D-4B46-8AA3-8F8A6AA36910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50db42f9199207d4f2b18fa509c632877a00c82","datavalue":{"value":{"entity-type":"item","numeric-id":2773242,"id":"Q2773242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693058$84D13E29-53FE-4E05-ACE9-4A2173E0CADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90315d4607bfa85e4ef281151392b849bd9de627","datavalue":{"value":{"entity-type":"item","numeric-id":2736584,"id":"Q2736584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693058$F527B82D-5B22-443A-9282-82967CD54056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b1eff86e275eabe1de48fbbe338962260427bd","datavalue":{"value":{"entity-type":"item","numeric-id":1100894,"id":"Q1100894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693058$231674C5-9AA3-4987-8561-0451F9F3C3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14b5b68e795fecee578ee6f531023fb47d4d0bfa","datavalue":{"value":{"entity-type":"item","numeric-id":4226453,"id":"Q4226453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693058$19AEB691-3BFB-4958-BF5C-1AA193A03B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42569ded690c444cc0d97eab2621ddecf895fa6f","datavalue":{"value":{"entity-type":"item","numeric-id":4251070,"id":"Q4251070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693058$66C9DD18-1A94-48E7-9B91-D2388DD2EBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eff0103a25298758bb19fe274ce464ef033dafd","datavalue":{"value":{"entity-type":"item","numeric-id":620964,"id":"Q620964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693058$646A1604-4B57-4381-8A48-8DAC50273679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d37793be3730796c8bd8943b2c004c4b13247fb3","datavalue":{"value":{"entity-type":"item","numeric-id":1401249,"id":"Q1401249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693058$791CE3D0-6865-494A-9D7B-3C92BA587921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95ab9aa169065b9cf233558ff11a821fa44d8a0a","datavalue":{"value":{"entity-type":"item","numeric-id":4263798,"id":"Q4263798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693058$C23F6465-4537-4D4B-A177-E5B231D75B85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a427037466ee2c486603d323742319a301e85449","datavalue":{"value":"10.1007/S00224-011-9354-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q693058$18760638-1FDF-43C5-B820-C24112A0F90D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fce6d0ff795cc0fe77e8087d66aa93886d3b38eb","datavalue":{"value":{"entity-type":"item","numeric-id":3113771,"id":"Q3113771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9358d5798855e787c5fcf78ef22299b58d6a4ea0","datavalue":{"value":{"amount":"+0.9181635975837708","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":"Q693058$AAEAA5A1-A0C0-4BDB-BEA2-C308A8E6DB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd1018e4305d1f7805c1760e3db7749c14f5f93e","datavalue":{"value":{"entity-type":"item","numeric-id":4251070,"id":"Q4251070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ecc8f1d082c641d5165c590a03a0f38736e02b5","datavalue":{"value":{"amount":"+0.7954052090644836","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":"Q693058$A412E2D7-A855-49E2-9E7F-40AB483B3364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2e5c0c45876a2d5fc2df6dd3b363275ab3522e0","datavalue":{"value":{"entity-type":"item","numeric-id":3569061,"id":"Q3569061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"209aa23f0d9d285b415a52d0f22e9db8ec0af044","datavalue":{"value":{"amount":"+0.7714340090751648","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":"Q693058$037A963E-20D0-4869-A431-EDF963E554DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2562826fd12df13e4c81cc5fdc25503ab46fbed6","datavalue":{"value":{"entity-type":"item","numeric-id":1398371,"id":"Q1398371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a48f79c2f5fa4333c1cddcb2e2f208f689aa06","datavalue":{"value":{"amount":"+0.7609352469444275","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":"Q693058$5217BD52-CE91-42E6-9041-F6BADBE6609F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d759ab7f419699bd1177a485874f580363e3aaf4","datavalue":{"value":{"entity-type":"item","numeric-id":4440437,"id":"Q4440437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a48f79c2f5fa4333c1cddcb2e2f208f689aa06","datavalue":{"value":{"amount":"+0.7609352469444275","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":"Q693058$62619627-841D-446E-BD14-16E7E7E6900B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On optimal heuristic randomized semidecision procedures, with applications to proof complexity and cryptography","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_optimal_heuristic_randomized_semidecision_procedures,_with_applications_to_proof_complexity_and_cryptography"}}}}}