{"entities":{"Q689615":{"pageid":691464,"ns":120,"title":"Item:Q689615","lastrevid":47205529,"modified":"2026-01-01T00:16:58Z","type":"item","id":"Q689615","labels":{"en":{"language":"en","value":"Optimal speedup of Las Vegas algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 446235"}},"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":"Q689615$CC3AF94B-E611-4CA2-82A0-93A3ABD76DEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d618f5e917fc8d8c8905207fe0e0bf8b93c981fa","datavalue":{"value":{"text":"Optimal speedup of Las Vegas algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q689615$8C719BD4-1430-417D-BF33-63D04AFB2AA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c21d79caf5226b3fd63e5e9e09b331a4b705c9a","datavalue":{"value":"0797.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689615$9BAFFAE3-1087-4D5A-A7D5-CF70AF54A850","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ce415ce1beffa8e22be5f56e0dba8454736236c","datavalue":{"value":"10.1016/0020-0190(93)90029-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689615$1CA80A11-390C-472A-9112-781CD946B6ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d5a2f70848f5f6284f8ed2480b6f2c9e1c6ebac","datavalue":{"value":{"entity-type":"item","numeric-id":685335,"id":"Q685335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689615$E10738BB-B0EF-45EE-AB97-37266363D6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"098d3ff7023f860d2ad4ff4e99a3417308a6d5f9","datavalue":{"value":{"entity-type":"item","numeric-id":287734,"id":"Q287734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689615$13D56D6B-C6AC-48AA-A2BB-56285EDB26D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11e9247244d7c5a83ff00535a80d8b3489fb0336","datavalue":{"value":{"entity-type":"item","numeric-id":294713,"id":"Q294713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689615$654DD475-B03F-4955-B8CE-27403A878BC0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689615$C12DBD98-F33E-433B-A53A-F71828FFC716","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a041ac255fcd8e6d725677dd2f4aa6770323c3e","datavalue":{"value":{"time":"+1993-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q689615$98EE915E-FC47-4F05-BB07-6C5A27D27939","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689615$9E891B14-0532-4555-ABF7-8A81CDADCC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689615$7D81D292-EC9D-4D1C-9E39-24AD8C0CAE92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71b5be568cc3c043833e10607577b380a655c420","datavalue":{"value":"446235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689615$79E32148-28F4-4F42-88DC-98410A83C575","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a38cdf8c3160fb2b36f6fd0d516fc65074d451e4","datavalue":{"value":"expected running time","type":"string"},"datatype":"string"},"type":"statement","id":"Q689615$83384CEF-64A8-4EE7-AFDA-88F48F8FD51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c7501ea4eb7072ede52e9ca451b0b4a435fc405","datavalue":{"value":"optimal strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q689615$8BC7C22A-7FDA-4146-93B1-814BF264EFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q689615$5AE4E7F0-1792-4CFB-ACA7-FE7BB2F8DD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9097f5d131906574058554916f9f2c70fb78657f","datavalue":{"value":"theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q689615$36177D91-A94B-40AF-A6D5-E6968B6E76D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"480c2c069dc5d4fde83fcae10e56ea4151f842c1","datavalue":{"value":"Las Vegas algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q689615$FC2D01B3-CFC1-4713-99CF-04F18AFDF950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2832e5ae4fc414c772c86f6023e26d563dd35e6","datavalue":{"value":"randomized algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q689615$9388484C-5445-4FAC-BDC5-CEC3097AB576","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":"Q689615$3D4EA6E3-9801-4B30-9FF6-091FB016B626","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9524f533e956abac01f1556ce9bb903a3339f6c5","datavalue":{"value":"https://doi.org/10.1016/0020-0190(93)90029-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q689615$4E523C1D-F977-4A12-91B9-BDEA6F866C29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a1d093e2eeb25b1f9f0ac3b84ffde893d8c5895","datavalue":{"value":"W2094855848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689615$6E5EB42F-6C95-4361-889A-0B7F7EA53595","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"95fba8bbcf1cab83135817962d14af68ee798aaf","datavalue":{"value":{"entity-type":"item","numeric-id":1923864,"id":"Q1923864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689615$4AEC6637-7C18-4B45-8D6B-3A13176169B2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"681b9d684f7bb3da0d1e4eea9417640cf5116194","datavalue":{"value":"Q127580410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689615$0F4A0183-7475-47A9-B46C-046F0024E2DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b18a3066f3c58d3c89d9697fb5aaf3af7d6817","datavalue":{"value":{"entity-type":"item","numeric-id":4226450,"id":"Q4226450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fbebec8d93a99f5bad60404089ba856cb28968d","datavalue":{"value":{"amount":"+0.7891813516616821","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":"Q689615$B4DBCF98-28AD-4125-BB5B-1D897C6C8A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f4417f4c1236c258df9ffab09fdc740cde78c13","datavalue":{"value":{"entity-type":"item","numeric-id":4226449,"id":"Q4226449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fbebec8d93a99f5bad60404089ba856cb28968d","datavalue":{"value":{"amount":"+0.7891813516616821","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":"Q689615$6D72084E-03E4-4D6F-ADA2-BE76D9D1A233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92d41dd93c8d209c204cb7f9c7f48d27f266d7b9","datavalue":{"value":{"entity-type":"item","numeric-id":5047164,"id":"Q5047164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c2e1ec72098b38b4479073ea7b92f7fe8031353","datavalue":{"value":{"amount":"+0.7344925999641418","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":"Q689615$08D644DF-1C5A-4D00-8841-192DF9DEA58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71d56f790572d3c428fb16ae3d32a3002f8ed0c1","datavalue":{"value":{"entity-type":"item","numeric-id":1182319,"id":"Q1182319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99b150bce9e14c5720184b59cd60879ebe15450a","datavalue":{"value":{"amount":"+0.7226943373680115","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":"Q689615$E7A63995-92F9-49F9-90AF-3FF1A8B68D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64613bd1cde3c45d1315e59c84d168b680eea894","datavalue":{"value":{"entity-type":"item","numeric-id":632718,"id":"Q632718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99b150bce9e14c5720184b59cd60879ebe15450a","datavalue":{"value":{"amount":"+0.7226943373680115","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":"Q689615$A75A442B-FEF5-44C8-9A7B-2C9910649CE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:689615","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:689615"}}}}}