{"entities":{"Q6918441":{"pageid":21013186,"ns":120,"title":"Item:Q6918441","lastrevid":97054769,"modified":"2026-06-05T13:08:43Z","type":"item","id":"Q6918441","labels":{"en":{"language":"en","value":"\\texttt{WalkSAT} is linear on random 2-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8103939"}},"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":"Q6918441$99A5DEEA-6693-4BF3-80C8-AF0AF08EC037","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e389eaedd00efdbbb05f9cd794d9e2e02350e775","datavalue":{"value":{"text":"\\texttt{WalkSAT} is linear on random 2-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6918441$FB7DF50B-27E8-4251-89DF-C70C30F2EF70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f00ec1f47607ddbb6f310ce994b94c2adf955685","datavalue":{"value":"1573.05338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6918441$C1F26F95-5BBA-4865-84BF-B02EB7BBCF61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c66048c912bd7a106c3ece6273a2bb65fbe5d5f3","datavalue":{"value":"10.1137/24M1718639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6918441$9C0AF75F-DB68-4DB8-8F7D-A1F536440989","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd1efee63b333ffcb32594b7e91c457be92fbc03","datavalue":{"value":{"entity-type":"item","numeric-id":287987,"id":"Q287987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$5CCF1A65-EF94-4A56-B9F4-E38EE9F2FC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c73b4338f28d8186cf67aa732b3494abc3a0889e","datavalue":{"value":{"entity-type":"item","numeric-id":248239,"id":"Q248239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$00275B82-78F6-4D38-88DA-988D366C1C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af07c36948eced54f1dc55426fb5b21ba52f6793","datavalue":{"value":{"entity-type":"item","numeric-id":266694,"id":"Q266694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$5DD7C4B7-ADE3-43CE-8218-B62697C7D587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"693b26e2ecccc660da964d56e2617fb97de40491","datavalue":{"value":{"entity-type":"item","numeric-id":2148886,"id":"Q2148886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$29001EFB-C495-48FC-A514-B952200AEE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e86a75ec5e1a6fa2a95607b907cf7e30db54ab25","datavalue":{"value":{"entity-type":"item","numeric-id":6427442,"id":"Q6427442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$C556B18F-BD61-4AB1-B1C0-1719E6E38849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfb883bf696981e56788e411619cdb2c7ee07806","datavalue":{"value":{"entity-type":"item","numeric-id":6492368,"id":"Q6492368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$34D28D2C-70EF-4F7A-9F5D-C98B986DB5A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"39a509948a5fd41054da3e7af81581f39adaebc1","datavalue":{"value":{"entity-type":"item","numeric-id":2706174,"id":"Q2706174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$C141CA3F-27C6-4F7F-843D-07138C9ED9D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"564e8a6af2f00b2f2292327fb6099fe507ec5ecc","datavalue":{"value":{"time":"+2025-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6918441$97A2FE56-1947-4F66-AC5D-B7FB7F4443CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd6b8847e09c706889ad9ef05dc0040f1c9f982","datavalue":{"value":"05C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6918441$A49EE2FA-EF43-4201-85A1-6D98AFD357A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6579fa13e4e20c27f6e776257ab2674a1ab0a8b4","datavalue":{"value":"8103939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6918441$0E9B0F3B-0F0B-4A0D-8289-11194427B834","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1276e27ec5be03dfc4eb86c9186a82108e008ce","datavalue":{"value":"random SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6918441$3879F209-24A4-4792-AB89-ACBE57BAB9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9c619e7332ebf00f249f534b5bea11bebf83a17","datavalue":{"value":"\\texttt{WalkSAT}","type":"string"},"datatype":"string"},"type":"statement","id":"Q6918441$E10EDDC4-31BD-4161-832A-01CB9ADB8851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea1ff5a5e657abc0a392084b74b3342d23f2f4c9","datavalue":{"value":"local search","type":"string"},"datatype":"string"},"type":"statement","id":"Q6918441$EC822D07-AAA2-4D42-B8E8-3FB291761385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f3e4ca58b2ed3663e2e3a4465f28160190050a","datavalue":{"value":"phase transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6918441$64680F94-F69A-4678-8E49-422F9E63C0C2","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":"Q6918441$83A70903-E8F5-48B2-BEB3-F0DE2F6A8749","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":"Q6918441$E1180DF0-69FF-4F78-B6D6-6C4446DDD104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1359f970b718067ba4523153ad25d76f55288c45","datavalue":{"value":{"entity-type":"item","numeric-id":6074640,"id":"Q6074640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$24E649C6-ECAA-46BF-B6CC-44398036943C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e541c4674545cf6a4dcdfeaa5c51252207a76cac","datavalue":{"value":{"entity-type":"item","numeric-id":3446816,"id":"Q3446816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$D2DEA3A1-2901-41C1-B1CE-6DEA4AA5460D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fb04515f456952574e37fe18c959d696b38307","datavalue":{"value":{"entity-type":"item","numeric-id":4821034,"id":"Q4821034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$D568FA0C-001C-4231-BD2E-8A5463ABFE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a50fc703a31d5ca8bf26610084321c6a9db1d62","datavalue":{"value":{"entity-type":"item","numeric-id":5422485,"id":"Q5422485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$94CB990E-6056-4885-AD4C-D7AFFA64965F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bbaef82e8eb92dc4676d651d32794ea23b80ec1","datavalue":{"value":{"entity-type":"item","numeric-id":2798999,"id":"Q2798999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$CEF8705E-9BD9-4760-925B-8A90259B8E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b2263f8d8211ce059177d1aaaff38dc2b95526","datavalue":{"value":{"entity-type":"item","numeric-id":3140436,"id":"Q3140436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$8129BD45-E9BA-44B9-AD74-828BC9CCBDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5bc4fb6ec960d3a72d40f1d61e207adcbaf5a7","datavalue":{"value":{"entity-type":"item","numeric-id":6920801,"id":"Q6920801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$69CAB53D-51CA-41F7-8719-87C15F2460FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56cf5c188bcce9490a2b63c18bca3c3259df4b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4012216,"id":"Q4012216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$EE90D1B4-48CB-45A3-914D-93E694854A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c16d03080cf104b6d9587e78c576489f573cb47","datavalue":{"value":{"entity-type":"item","numeric-id":4228436,"id":"Q4228436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$96914D5C-086B-4F84-81FA-45B4F99CE90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6174cb51c95c98251aad21d363bffeb113f21c2","datavalue":{"value":{"entity-type":"item","numeric-id":5390578,"id":"Q5390578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$54B0C378-83D8-4F10-BEA4-7D7B2140A9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ca0bc7bd69519cec3f3210eddbd6bc04a46666","datavalue":{"value":{"entity-type":"item","numeric-id":4633854,"id":"Q4633854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$16B58909-AC83-4043-BA8E-99576EA9CA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a1d7dd59902505e4e5ec2e15c6d87bff2a3b894","datavalue":{"value":{"entity-type":"item","numeric-id":2929704,"id":"Q2929704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$6E44BBDA-40CB-4B5C-A26F-7C8146D88302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee8dd7793f654e7d1f1e0e3be2351cb5079d9712","datavalue":{"value":{"entity-type":"item","numeric-id":5267998,"id":"Q5267998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$33A3BB0E-17C5-49C4-B10F-89BB0ADEBF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a93a6614d5675b870a2e7fc0382533f284b286","datavalue":{"value":{"entity-type":"item","numeric-id":900872,"id":"Q900872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$B137CC42-CF5A-4AD4-BF8C-E18A73D02FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"142ddd593c1bf01d3602a8628d8507af188776e9","datavalue":{"value":{"entity-type":"item","numeric-id":2171413,"id":"Q2171413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$568D1245-2945-490E-9ABB-C705B18B4D40","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":"Q6918441$700433FE-7AE3-4828-87C5-7A14DD91F17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46a8157b90326cc6f44bffa8150bb95253d14c8","datavalue":{"value":{"entity-type":"item","numeric-id":676451,"id":"Q676451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$54E69EF7-CB6D-4EBA-80EB-40CBD313F301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f673ba67ae0b39162d16f3da67f8d71ee6d9989","datavalue":{"value":{"entity-type":"item","numeric-id":1581848,"id":"Q1581848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$74FF1A86-2854-4992-9E3F-3C0C5DFAFB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28588578bb09af0b4bf0a3281ab6c8d321eb619b","datavalue":{"value":{"entity-type":"item","numeric-id":4519896,"id":"Q4519896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$DAD09302-CBBF-4F0F-85AB-AB2FB5DDF5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d05652188e444fc35e748b68b983451566933e27","datavalue":{"value":{"entity-type":"item","numeric-id":4856179,"id":"Q4856179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$8F12A017-9295-44BD-89F1-CEF33031F810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14138bd19dbcaae6e98023dd587529bd29d27579","datavalue":{"value":{"entity-type":"item","numeric-id":1916491,"id":"Q1916491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918441$6295B0A5-2E75-47C4-A4E0-894450E859B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6918441","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6918441"}}}}}