{"entities":{"Q626900":{"pageid":628748,"ns":120,"title":"Item:Q626900","lastrevid":63172839,"modified":"2026-04-11T11:05:17Z","type":"item","id":"Q626900","labels":{"en":{"language":"en","value":"A randomized algorithm for 3-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5853485"}},"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":"Q626900$734F4892-895A-4D8A-AD5D-F382767E7FED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67c5ad762d69193a2d86721196240b92999240d1","datavalue":{"value":{"text":"A randomized algorithm for 3-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q626900$0AD9AB92-861A-4583-B9FF-B7A9BAA2D9ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd7b2075046e1ac04a8c9ec602f9af8e4609bd9f","datavalue":{"value":"1205.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q626900$2FF2BA30-A0CB-4575-B50B-991E56C7A10A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00f4137fa19759f9ec96339a5fb051ecb96ed66c","datavalue":{"value":{"entity-type":"item","numeric-id":626898,"id":"Q626898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q626900$01C25F0C-C142-40E4-9650-B80243A906A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78e38b07af1b1cf33086a0baf0bd78a51581d218","datavalue":{"value":{"entity-type":"item","numeric-id":626899,"id":"Q626899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q626900$9AC4D578-7271-4CED-8D90-B24D8F831097","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5cf57799e8c41ecba181c21bc95047b71cb3443","datavalue":{"value":{"entity-type":"item","numeric-id":294368,"id":"Q294368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q626900$49D5A2DD-2305-423A-8463-6C9F0C5B59FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b5bf01c2e9be91cd353b9f133bc7ff115719b4b","datavalue":{"value":{"time":"+2011-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q626900$D07972A7-71E0-4EE8-80CF-73CC2F69545C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1abfe827f5b0a593e9b86be349fc6807cdd27145","datavalue":{"value":"https://arxiv.org/abs/0906.1849","type":"string"},"datatype":"url"},"type":"statement","id":"Q626900$7B99EA50-E909-4EC7-B77A-E236AE4C8B24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q626900$1158E7AE-E768-4195-8AD6-32C57943F75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q626900$DC8DE865-70D8-43C6-9EBE-91CFC0208A6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35d1ad25b7e9a0bf9ba375b0636ea79b62810e55","datavalue":{"value":"5853485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q626900$CCF4D4D1-2951-4DE8-B5FE-92CA0B66604D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q626900$E8385EAB-832D-4716-AE9A-109DC925A133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2832e5ae4fc414c772c86f6023e26d563dd35e6","datavalue":{"value":"randomized algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q626900$C934FE0C-B500-4AF6-9D26-6B63B3E578EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9f754a853f25a6ae30a501f65dd5e592c8a9b44","datavalue":{"value":"exponential time algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q626900$6A1034B4-E786-42C8-BECF-547AAC4ECFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90bc349d6d55eb8026148892e900ce256ffdd986","datavalue":{"value":"analysis of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q626900$BBE7AF96-FDF2-4705-A9D6-9B1A8E15BCB5","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":"Q626900$0B26F8DE-69CD-464A-83C0-EF7B1A7B27F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb94c44546151381a25bbedf3a4de9cc09620514","datavalue":{"value":"W2949523893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q626900$02B5A01F-10A0-4145-9C39-80E9B3FC3687","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q626900$2FE94811-C826-4FF6-A812-306B5A5BF038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc870744846575072bf5ee045339dd2dafe30a6f","datavalue":{"value":{"entity-type":"item","numeric-id":706635,"id":"Q706635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q626900$6FD68C9E-4C94-495B-A48A-4BDE32F20016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ae59d18a471764f9f7ca3b95b5752d8f8a2107d","datavalue":{"value":{"entity-type":"item","numeric-id":2475410,"id":"Q2475410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q626900$A4F7BB4B-4CCF-40AF-A7A2-D6F5845F7111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q626900$85A2812E-C383-426C-97F6-BBE80A81634A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e79061c1b72f303a6c5149f02bb67c3da939dce","datavalue":{"value":{"entity-type":"item","numeric-id":3931248,"id":"Q3931248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q626900$3F43D0ED-398B-40AD-9CB7-79A3C4F0F352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be6989157e41c18f8557462896243611dc2b1c55","datavalue":{"value":{"entity-type":"item","numeric-id":1853552,"id":"Q1853552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q626900$2C4B6A2F-F16B-4B51-8567-8039DFEC6623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q626900$FF4E661B-79FE-4D87-9955-4D52815AEE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f6b0479428e2ab3288ce6f4b559b16519ef8391","datavalue":{"value":{"entity-type":"item","numeric-id":5624436,"id":"Q5624436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q626900$B6E04CE5-4EFA-4FB9-A726-C88FB3621750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a954e80b40ebc890ca3cccb9d5b9cd932f824257","datavalue":{"value":{"entity-type":"item","numeric-id":5560774,"id":"Q5560774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q626900$5AFD681F-312C-44A3-9EAF-DDE38EB9AFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"624621d64cecfcdd78785780e7927343a9a59f27","datavalue":{"value":{"entity-type":"item","numeric-id":870448,"id":"Q870448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q626900$2013E5E5-1D3E-4A0A-B99A-A12A59DA6177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f84a7480c49fc409dbcbf738c5b5d98de37e02b","datavalue":{"value":{"entity-type":"item","numeric-id":5501274,"id":"Q5501274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q626900$4C773020-B65A-4377-B3AE-06EFA0B3785C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95eae76d6fb6bbc9ffc68403c1b728f21ae14a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1960406,"id":"Q1960406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q626900$F63F790B-345D-42B4-B2D4-B7977EB6F735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633481678a0836b3846b49aa8db13fb38104e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q626900$7C49C53E-3E3F-4AE7-A4F6-060896D05C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab505d079acae70f31b63226f0d6d40ff5b0dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3546306,"id":"Q3546306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q626900$99EE0E0A-3072-43AF-BDA5-C860104BD274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bebba68dc7dfbaf1caac8cb5c43ad35be909acd","datavalue":{"value":{"entity-type":"item","numeric-id":4484662,"id":"Q4484662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q626900$B72590D5-FFA3-4931-AFB7-FC21D651717F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8adf07860928d0e924aab79369d6b4d2c551884","datavalue":{"value":{"entity-type":"item","numeric-id":5713712,"id":"Q5713712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q626900$3C9D3DA1-08F7-4D26-94CD-E9C7F30B137E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad2bd73955595d36fe57f13b231976283a1ca60d","datavalue":{"value":{"entity-type":"item","numeric-id":3507036,"id":"Q3507036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q626900$7346DA33-0063-41C9-BCE2-F8A91BAFF942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2077fad0f8784e4f01900be189b1e93f8a2ad005","datavalue":{"value":{"entity-type":"item","numeric-id":1348911,"id":"Q1348911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q626900$EAEADB3E-E69D-412F-AF56-7C010828F906","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4accd4935878a6d35523cdb808f3e1b167c636a","datavalue":{"value":"10.1007/S11786-010-0036-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q626900$CFE80BE8-53C4-4B47-B202-4720FD3ACA49","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"541151ac26e9d8891b56677c481a45bd38475259","datavalue":{"value":{"entity-type":"item","numeric-id":870448,"id":"Q870448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94a9ae360025d95d3acf0420f668c3d0720a1b42","datavalue":{"value":{"amount":"+0.8496195077896118","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":"Q626900$B71D488E-2182-43F2-A241-FB6CB7FAE125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6520c796a25a328eaf1fd303077ff0cf75635282","datavalue":{"value":{"entity-type":"item","numeric-id":1946495,"id":"Q1946495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fec471bb80b39c6dcbad576e7c8fa8eedc12df8a","datavalue":{"value":{"amount":"+0.8455871343612671","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":"Q626900$2B2E8E34-71B7-4E5F-93F7-BF947174ED5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fac023be66d8cb019e73c23a7f4849aa585b7e0f","datavalue":{"value":{"entity-type":"item","numeric-id":1348911,"id":"Q1348911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3db21c5180d42a1e3c22cb065d62103a3392cf05","datavalue":{"value":{"amount":"+0.8415895700454712","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":"Q626900$0ABF115F-B109-49CF-A4F6-B5D7AE65F1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7bc8c95cb65fffb94f8ebe1a88bc95da2e10d30","datavalue":{"value":{"entity-type":"item","numeric-id":5486323,"id":"Q5486323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5922cd3bf21ee17945619474e240300e164457b7","datavalue":{"value":{"amount":"+0.8410462141036987","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":"Q626900$491EA917-9959-4636-BE08-C1C9B2AF0B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4da15a7f718b0791317b37016a732e4a6ced2a","datavalue":{"value":{"entity-type":"item","numeric-id":3638042,"id":"Q3638042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9bb097d649dccf8e8a1dc32243ec8d24e4ef287","datavalue":{"value":{"amount":"+0.8385732769966125","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":"Q626900$5714619D-F3F4-4F9B-96FC-D997A70A27F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A randomized algorithm for 3-SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_randomized_algorithm_for_3-SAT"}}}}}