{"entities":{"Q1777400":{"pageid":1788142,"ns":120,"title":"Item:Q1777400","lastrevid":68933898,"modified":"2026-04-13T03:12:35Z","type":"item","id":"Q1777400","labels":{"en":{"language":"en","value":"Restarts and exponential acceleration of the Davis-Putnam-Loveland-Logemann algorithm: A large deviation analysis of the generalized unit clause heuristic for random 3-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2168190"}},"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":"Q1777400$49D4D60D-1FBE-49FC-8E16-F0E8F99E1AD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49823b89695db4c7d29130ff4e82bf6d4a00a90e","datavalue":{"value":{"text":"Restarts and exponential acceleration of the Davis-Putnam-Loveland-Logemann algorithm: A large deviation analysis of the generalized unit clause heuristic for random 3-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1777400$3307EE91-3B69-4662-BFC9-6AEEEA2CE18E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f15471b7f32f1afcb17e6986c70b38d4e2a80f36","datavalue":{"value":"1100.68576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777400$5F18BA26-573F-4C15-BF6E-78E9FF19D0E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb0b5c91599b21fcd920d0599f47fdf4ac0ae5b8","datavalue":{"value":{"entity-type":"item","numeric-id":290481,"id":"Q290481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$E6D85393-F47E-4FD4-B67E-DA06634FD252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f8ef2f48d9f17dc4d1028b49d4a09f5a3b97855","datavalue":{"value":{"entity-type":"item","numeric-id":1668955,"id":"Q1668955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$F75C03A3-EE8B-45DA-AF9D-A9383D3BE111","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$EFEAA0BA-E7E3-4C0F-B434-E6627336877F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c64595f4f39ba5aa8c317730455f9500451c9c2e","datavalue":{"value":{"time":"+2005-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1777400$B8B99DAB-B897-43F6-B881-8AF3848A2C54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4653dba46df80edca8950fed4d59efee085bcc6e","datavalue":{"value":"https://arxiv.org/abs/cond-mat/0206242","type":"string"},"datatype":"url"},"type":"statement","id":"Q1777400$838F47CC-B4FA-4323-BCF0-63424C492DCB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777400$AEDBA967-29D3-4DC0-B222-9948713071DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777400$336CC1C8-41FE-4D71-863E-3050C423B49E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1dbae5fb865e26a17d7e3d498e752498992388ed","datavalue":{"value":"2168190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777400$6F9E2803-7440-4417-9B65-5743A7D9F540","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55027414ef20ab39e497d1416438421bba3d8db2","datavalue":{"value":"restart","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777400$EF5711E3-DDD2-47CE-815E-804FFC71E22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777400$99E09574-D9DC-476B-BBC1-082F90875268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f7ac674268224c9b1b4b60f07b959745a70f08d","datavalue":{"value":"DPLL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777400$72A8B721-0D02-4672-A707-31D8A3D1C06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72f4b01f25cd1d63e30141b34aa4c233ed314405","datavalue":{"value":"large deviations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777400$A894807A-9DC9-4C84-8243-1758F5444503","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":"Q1777400$61B20879-5814-4D19-86E5-6C9ED3DC8C2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3a2c94a1d67580b018c5e79c4c64e77d527c5fe","datavalue":{"value":"W3005320095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777400$9820FF5D-CD0F-4949-8A14-085CBA4BB6B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd86b08db9c5e9d1bb208efc1ea66bb7b6d20b36","datavalue":{"value":{"entity-type":"item","numeric-id":5958806,"id":"Q5958806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$307D0A0C-67BE-41D2-AE26-7944372B4FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb9ec8e1184e554325a121c8e693cdabd0b731eb","datavalue":{"value":{"entity-type":"item","numeric-id":5175988,"id":"Q5175988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$E51C05BF-7245-41EA-91FA-0012E92D6D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75293a6b9e75a76007ddbb019630ee5d574cfb00","datavalue":{"value":{"entity-type":"item","numeric-id":5958803,"id":"Q5958803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$EA61DF66-957D-4B7F-8965-B50233957129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"750fa538d03579aa1b66f16d8b7afe303f516f87","datavalue":{"value":{"entity-type":"item","numeric-id":4542576,"id":"Q4542576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$4784256D-43AC-41FD-ABDA-2549C0AE47A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83312a3e346c7419e7c503e1050470bf3c54e96","datavalue":{"value":{"entity-type":"item","numeric-id":3758242,"id":"Q3758242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$CB91D08C-8564-4645-BDF7-773408A77CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc69e791e3ac729c39aee0824be53f2494fd734","datavalue":{"value":{"entity-type":"item","numeric-id":918700,"id":"Q918700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$9D08EA70-4526-441D-A25B-3F128FF21AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$31680273-FA38-455B-A4C8-F53681960C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e642a9f318d50d8673c8669d5f5316bc93e192ae","datavalue":{"value":{"entity-type":"item","numeric-id":4473023,"id":"Q4473023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$7B652EBD-DB9F-46A8-9275-5158E3AC145A","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":"Q1777400$BBB02D85-E357-4A6C-93F6-9D294788E752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a384833facfee1bed7555c136a9c348cab3dd0","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$8D5AFDDC-3EBC-491B-BC10-C05319074CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87839e9cce21429fa5c0660242873028f18a79f","datavalue":{"value":{"entity-type":"item","numeric-id":4952608,"id":"Q4952608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$A8CD5B52-B0E2-4C86-8713-9F0E25C802F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abeae94a4dd15b9edf66729a439c51780e915dbc","datavalue":{"value":{"entity-type":"item","numeric-id":5958800,"id":"Q5958800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$0A62F8CA-551D-4EC6-82DE-B965D2A7054D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23a98e5b459925a4f20be58b04a8d092e73cfbf6","datavalue":{"value":{"entity-type":"item","numeric-id":5958805,"id":"Q5958805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$F627B0AE-D24E-47BA-93F8-DC02A6B54B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"256c0e265dfef282ea4224d2df1e7fcf0e5ac817","datavalue":{"value":{"entity-type":"item","numeric-id":4257709,"id":"Q4257709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$6502B14B-4CDE-4A01-BFB4-A4901F9C7ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c460f983de9e6a420aef566a3398a70e655aa7d","datavalue":{"value":{"entity-type":"item","numeric-id":4876696,"id":"Q4876696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$3BE5A012-BAA9-4AAC-89A4-D5346926F035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"622747366f4902ceec731cf1eef9724888dfca14","datavalue":{"value":{"entity-type":"item","numeric-id":1342226,"id":"Q1342226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$18EF4BB0-1FAA-4F6B-BE56-3C936D0E0897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35acb7c065d2a9d2147e073cef035eae32034dca","datavalue":{"value":{"entity-type":"item","numeric-id":2703800,"id":"Q2703800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$CDD90C04-5C84-400B-922F-86E7506B0230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbd923072ec8b0a172d8fb09df68ef7565fd6cf7","datavalue":{"value":{"entity-type":"item","numeric-id":5958808,"id":"Q5958808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$D00D4D16-47B4-4114-AB35-E9268980C8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83df78167f6da212f52872db822f417acaf4aa1d","datavalue":{"value":{"entity-type":"item","numeric-id":4375757,"id":"Q4375757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$0DEA8277-DDFA-4A0D-934F-146EE05749B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2c55efc88a27dd0fcfde0f57952abec0d6d9fe","datavalue":{"value":{"entity-type":"item","numeric-id":1337687,"id":"Q1337687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$73FDC489-F84E-4FF0-9774-9E5E10B4AA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf59279ec921640243f0d294b136bbadf9f25cb1","datavalue":{"value":{"entity-type":"item","numeric-id":4411392,"id":"Q4411392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$4511BA6C-45F1-4EDB-84F6-C232856C2F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49347a96ea5f7172477fd3a5c9b8312b90cb768c","datavalue":{"value":{"entity-type":"item","numeric-id":3101335,"id":"Q3101335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$0993265F-5FA2-415A-AFEF-CD8F97091CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1075903201a7b5a96eb9e60933d437eac5400eb1","datavalue":{"value":{"entity-type":"item","numeric-id":5354392,"id":"Q5354392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$4F6C8F6C-C1E6-4194-A2C1-C831E00AEA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a339e90c78a672c77630a69601c05cdcb6aec006","datavalue":{"value":{"entity-type":"item","numeric-id":4704799,"id":"Q4704799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$DC0B96F0-CFB4-459A-B57C-7A097C392369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f282e413192988be7000e863e422ff5991f6cfa2","datavalue":{"value":{"entity-type":"item","numeric-id":2674189,"id":"Q2674189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777400$5919BBBD-BE2D-4A8D-BB41-FFC4B3701494","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e93427c549e3b0f6924dd05841bd1e556be419d","datavalue":{"value":"10.1007/S10472-005-0426-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777400$B3075E0D-47E5-45D0-8037-6C6DB1911972","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e9e4f561f94194e52e22f7b0e0f9977d55e297d","datavalue":{"value":{"entity-type":"item","numeric-id":596103,"id":"Q596103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65042dfaee573d0020e9f5f2ddd1c0167b049a86","datavalue":{"value":{"amount":"+0.8465808629989624","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":"Q1777400$4C327413-984F-47B7-B524-08DD6A95CF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f2580411ac149b2d17b1bfe68582830cec155b","datavalue":{"value":{"entity-type":"item","numeric-id":2674184,"id":"Q2674184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b9063c60f3d3851044ea50c958a9be44da5d690","datavalue":{"value":{"amount":"+0.8392625451087952","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":"Q1777400$4076FB3B-9062-4A6C-A3A3-A5E7E8DE60EE","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":"9b803215fbb6368a90a0474f3990c34bd434c488","datavalue":{"value":{"amount":"+0.816440999507904","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":"Q1777400$A6373298-7624-4831-8B92-4504F4EB9FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e15248e8c160c741e80f6219ad00a22813d8be","datavalue":{"value":{"entity-type":"item","numeric-id":3502714,"id":"Q3502714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bceb6096c7b4c95b8e6ee638b7bc26c23bad9fc4","datavalue":{"value":{"amount":"+0.8014643788337708","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":"Q1777400$4011E9BA-2ED4-4264-9BF5-223F93B4365C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2479c6c8e84b6160d4b613c1b10578187b49658","datavalue":{"value":{"entity-type":"item","numeric-id":4411392,"id":"Q4411392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e584b91021a1862e3d3d55ce544e93a98e2ac98c","datavalue":{"value":{"amount":"+0.79798424243927","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":"Q1777400$4FCC2453-7A69-4674-9D31-FA466DA95AC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Restarts and exponential acceleration of the Davis-Putnam-Loveland-Logemann algorithm: A large deviation analysis of the generalized unit clause heuristic for random 3-SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Restarts_and_exponential_acceleration_of_the_Davis-Putnam-Loveland-Logemann_algorithm:_A_large_deviation_analysis_of_the_generalized_unit_clause_heuristic_for_random_3-SAT"}}}}}