{"entities":{"Q3439117":{"pageid":3449820,"ns":120,"title":"Item:Q3439117","lastrevid":90157964,"modified":"2026-06-04T19:26:00Z","type":"item","id":"Q3439117","labels":{"en":{"language":"en","value":"An efficient local search method for random 3-satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5157957"}},"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":"Q3439117$CCF77851-6E4D-4F7C-9629-5D4E5E57D204","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30621d6df0d788cb763d0568916579f0a6f4619f","datavalue":{"value":{"text":"An efficient local search method for random 3-satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3439117$2D715F1F-F0E5-4ABF-9F17-D0D2E1C4D48C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea921d3c080f12d81b4454820aca33f333608681","datavalue":{"value":"1179.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3439117$C60BB04B-EEF2-46B4-A7D8-89408E9FC75D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8819213fc4cf1f337cb3f822a5a9d537035b8801","datavalue":{"value":"10.1016/S1571-0653(04)00463-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3439117$2661185D-3164-497D-A244-10CE00562412","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef23a54b8a04b6fc3bdd290049f9743c5c4cf867","datavalue":{"value":{"entity-type":"item","numeric-id":3439116,"id":"Q3439116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439117$2DB6F5CB-FC80-4852-A7AD-C28C60A53C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a644df4a4e50751f0ed1cfeba15d4b2804901a7a","datavalue":{"value":{"entity-type":"item","numeric-id":395020,"id":"Q395020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439117$87F75BB6-5C8D-4D78-820D-CB3884CED79A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a136d04e761e9859ba9ed38b65864112febfa028","datavalue":{"value":{"entity-type":"item","numeric-id":111211,"id":"Q111211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439117$E9A62227-AB76-4976-BF04-4B5EDFDE9E14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"326d1aa492c2881fdbfbd9632ea765a7b6767976","datavalue":{"value":{"time":"+2007-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3439117$59A06C75-2206-4155-BFF7-2F31632D6022","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3439117$724C5130-EFB5-476C-9EB8-66E6689E71B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"461fb19173beb26ed2383417b078d946623106ff","datavalue":{"value":"5157957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3439117$9C9061D6-DCB9-4005-B6B6-3C023F629913","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439117$1FB7ABBF-0972-4BA5-9BD4-C00D61678950","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":"Q3439117$4D3863D5-E7EC-4152-ACEB-7EEC404FC546","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"66f1ca0cd4fdcef455e8e38147a4aab1efab670d","datavalue":{"value":{"entity-type":"item","numeric-id":4339078,"id":"Q4339078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439117$5A9B5D06-386B-4F4C-9F5D-BB764C11FBB5","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":"Q3439117$06928907-D55E-4471-B606-EBF22ADD5850","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":"Q3439117$F05EB2E8-C85A-4D38-8ED2-5CBB629FD88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d979ba77ecfe53a8e36438976f85824016785a8","datavalue":{"value":{"entity-type":"item","numeric-id":2674177,"id":"Q2674177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439117$47CD040C-1543-4E15-BF52-79825D2D4CD3","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":"Q3439117$43FB9675-DD50-43A8-928A-DF4D4E6A81BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e04f16779c8f2208345c88b9fb24357c58fb272","datavalue":{"value":{"entity-type":"item","numeric-id":1208846,"id":"Q1208846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439117$B54BB323-D9BE-484A-82BD-62749A4B5275","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":"Q3439117$4C8D5A13-3F51-4B28-A0A6-CB3BA0F1090A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439117$E3ED7368-4961-495A-A6E3-611623778A1A","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":"Q3439117$B3116534-1293-4DB1-A4E7-EC63F0715EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51c3fce39a28c21de30ebef1a06bd149bb4638b4","datavalue":{"value":{"entity-type":"item","numeric-id":1801676,"id":"Q1801676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439117$318FF938-DD12-4923-9098-C0A18B5C751A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66420b49775113a4962c131a254f6f2ef559bdab","datavalue":{"value":{"entity-type":"item","numeric-id":82025,"id":"Q82025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439117$C28A7DE8-64D2-41C0-8F97-E92D40184AA9","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":"Q3439117$871479C9-F1A5-4A52-B2B5-705B1D658237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2499f070fd0dfae5aaadf25b62eee8f8ef1d7e3","datavalue":{"value":{"entity-type":"item","numeric-id":4237477,"id":"Q4237477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439117$ED80594E-1DE4-41D7-B84A-71DF49FD0416","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":"Q3439117$23B81BEF-D570-4B21-95B0-A6BAF3D67AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd4ff31dcc3da7bb250ac184b12de184df8b3c4","datavalue":{"value":{"entity-type":"item","numeric-id":2837678,"id":"Q2837678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439117$67849486-BCA1-48F8-BC99-7CDB28EFC2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64917c0241397ad41a90a4b202fa698cb95d689b","datavalue":{"value":{"entity-type":"item","numeric-id":1841870,"id":"Q1841870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439117$5ED8ADEB-AEBF-4D9E-A9FE-223322CE2E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88730326bcbd64f8052d2b8a688e19403e2418b2","datavalue":{"value":{"entity-type":"item","numeric-id":2780626,"id":"Q2780626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439117$7977844D-0C49-4270-9522-E635DFC29EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c1647842d2c4612622084a5b09fcbaf704ae6d","datavalue":{"value":{"entity-type":"item","numeric-id":5687271,"id":"Q5687271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439117$7DCE4D18-07B3-4686-80CF-26CC1AED5956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7edef037be0ae2b79df7523cd4b89a3d242b4d71","datavalue":{"value":{"entity-type":"item","numeric-id":4359465,"id":"Q4359465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3439117$336AC296-06E5-4E6A-A954-4577B6317907","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"746a0122899437d2fd0db27faaf2c716d172ded6","datavalue":{"value":{"entity-type":"item","numeric-id":5713746,"id":"Q5713746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b007e0d4e813d67e410faa061f2437bfabd89c4b","datavalue":{"value":{"amount":"+0.8369825482368469","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":"Q3439117$449BCE5A-58C5-4ABE-8A10-0992686BAD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ca55a2b07650817b4e5656defc1c379da942eeb","datavalue":{"value":{"entity-type":"item","numeric-id":5714751,"id":"Q5714751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85a8a6080a8ca8eb3685e22f4606aa4ac334960c","datavalue":{"value":{"amount":"+0.8144102096557617","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":"Q3439117$286073F5-CAD8-4840-845D-37F55B5FAD37","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":"bf257426ead76ee348fb657e41319721e70a103e","datavalue":{"value":{"amount":"+0.810735285282135","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":"Q3439117$DF993445-8958-4F00-9C87-8BB14C46ABA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"965c98c40b11cd23ef6f57cc4a94dc8f72992b3e","datavalue":{"value":{"entity-type":"item","numeric-id":2946386,"id":"Q2946386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"532e5e92eb8c50631d6d5834a9f7186841e4d469","datavalue":{"value":{"amount":"+0.8043611645698547","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":"Q3439117$63CE96B5-215E-4BC6-A0E0-B5D72A1FEC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dd2d6a51802cf53f2b30fe61f09ac14a5687ba6","datavalue":{"value":{"entity-type":"item","numeric-id":1853552,"id":"Q1853552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c517ae41b49cb25a85c6bb3c1fd04c8893314b7","datavalue":{"value":{"amount":"+0.8041619062423706","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":"Q3439117$2D99D7E8-506D-4C8B-BC76-8C87CF8C763D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An efficient local search method for random 3-satisfiability","badges":[]}}}}}