{"entities":{"Q6633135":{"pageid":14244287,"ns":120,"title":"Item:Q6633135","lastrevid":42392982,"modified":"2025-06-14T14:51:20Z","type":"item","id":"Q6633135","labels":{"en":{"language":"en","value":"Fast sampling of satisfying assignments from random \\(k\\)-SAT with applications to connectivity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7939052"}},"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":"Q6633135$CC67A64A-3E8A-418B-BDF0-AD231F3DE97D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0d5d6a5ff8569eb40f4f93460564278d214ef5a","datavalue":{"value":{"text":"Fast sampling of satisfying assignments from random \\(k\\)-SAT with applications to connectivity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6633135$7A9EDDB0-FE9F-45F0-BA9D-7694F8D49B21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd8b22fca9f4c9dde3587cfb845adf5690e30362","datavalue":{"value":{"entity-type":"item","numeric-id":1675280,"id":"Q1675280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$DC05DAE7-B823-4DD2-8E5D-E0FDB30F4BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"869b64586746bc9c5e38e65e9a475270918e7848","datavalue":{"value":{"entity-type":"item","numeric-id":269465,"id":"Q269465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$3BE32FAD-9F32-4F0C-A139-2DA0D9DDAEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad508c4cfc8fff336ea19a6d0a5b336b7e224f18","datavalue":{"value":{"entity-type":"item","numeric-id":242858,"id":"Q242858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$524CEA4D-C671-4DAB-8CA1-9DEB3C76C93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ede3f94fd83feddb4b6b73a54b6ebbb7e149adb","datavalue":{"value":{"entity-type":"item","numeric-id":269466,"id":"Q269466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$D3DC0211-D0A4-4C8F-A274-EF68AB78DB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa99899b6c2b244a6182bb7ad6801c03df8d7742","datavalue":{"value":{"entity-type":"item","numeric-id":2124612,"id":"Q2124612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$C166ADB7-7443-472C-A60D-A35C27E991B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b13236772c21a4c19b8fcf125104f2d95232843c","datavalue":{"value":{"entity-type":"item","numeric-id":726605,"id":"Q726605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$5EF65E9C-88B4-456C-BACC-93BAB6ADECB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d1dced074b3922eb38fd404369e7f4aebf5a317","datavalue":{"value":{"entity-type":"item","numeric-id":363227,"id":"Q363227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$E31C96CA-9F50-4FC2-BD0E-381418ACACE8","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":"Q6633135$56804720-094F-491B-8DE2-A7C255B39230","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23896036e049cfba7d288b528f462eaf3fe1187d","datavalue":{"value":{"time":"+2024-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6633135$003AACBC-4AB8-41EE-BA31-A8D6C61B0283","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6633135$E86FD491-F5D9-4A77-B49C-CCAEFBC9A5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4228d21095b3348e9ea20aa0b63610107aad8cc","datavalue":{"value":"68W25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6633135$5EF058B0-E386-4A51-9C9D-EEAA62A077DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6633135$F1AF6CA3-14B2-4C15-AFB5-B28805DBEE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6633135$AD1F0974-7F86-4F2D-B7DD-9B0F73E5E862","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6dfed2961759bbac46ad20c0273ca9559b199920","datavalue":{"value":"7939052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6633135$01A0D2A7-7611-48B9-AB82-A7C091FD57BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9161657d5fba10184ab322fd0fcb2b7c61ba9274","datavalue":{"value":"random \\(k\\)-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6633135$C6EDBA3A-3BA2-48E8-915F-7CF2EEA636D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"217b694ebf345894c5f1ee51b9b43003b0a462db","datavalue":{"value":"sampling solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6633135$A4CF14F5-E7F1-43FD-B70B-7C62367DD403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1983c14e284723a8d3d4f95a0f7c10cebb9657e1","datavalue":{"value":"spectral independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6633135$09466E6F-E736-45C9-B0F7-368968D8EFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a37cc65bc18e7d9be5826690cdf7ea7aedead02","datavalue":{"value":"Glauber dynamics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6633135$45259420-954F-4ABC-B07E-EE1F3DEA833F","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":"Q6633135$A0A4EA6A-A92E-42FF-A9D6-EEA99F24213A","rank":"normal"}],"P223":[{"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":"Q6633135$13A1F6FE-B227-42DA-9DC4-0C140822DC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c836eb4369965b5c2a52954a497a079b720dcdc8","datavalue":{"value":{"entity-type":"item","numeric-id":5892482,"id":"Q5892482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$A31D88D1-EA94-49A9-812A-70D1D56F3BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49a823869a9b522b852ce4782986a96ba9b9c78","datavalue":{"value":{"entity-type":"item","numeric-id":5145004,"id":"Q5145004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$06E3E997-AE10-43A3-98AB-9E770C201368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50946bc1e654e2d7662186db5e0de136b3a76fd3","datavalue":{"value":{"entity-type":"item","numeric-id":5096108,"id":"Q5096108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$DB902977-506E-4865-895F-709CB7AE3B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a2bc159f48d0d74aa597a35dd90314f8d4832e4","datavalue":{"value":{"entity-type":"item","numeric-id":6560807,"id":"Q6560807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$B9DE1B10-FA6A-42A4-B9EA-6B5085BFBEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ffbcf04483dda4a832e503ab60cd65ebc4b23e","datavalue":{"value":{"entity-type":"item","numeric-id":6575227,"id":"Q6575227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$3DFCCA86-6719-4AE3-A82A-2C352B16DA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53fb4d70a1c50285328cc4398f155ef5e1943fb","datavalue":{"value":{"entity-type":"item","numeric-id":6065273,"id":"Q6065273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$874C66B5-7933-4A25-99C5-C59ED0A513B2","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":"Q6633135$A22DAC8E-8642-4987-A1D1-1AF13F568E2E","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":"Q6633135$18466D77-D122-4884-9213-5468E342EB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89bcd385dcb90b32e4b5fc49cd68a28f66bfcb1d","datavalue":{"value":{"entity-type":"item","numeric-id":2090606,"id":"Q2090606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$BC90D0F2-CF6D-4051-9A0C-B45F943FD615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0288cf9803839b8dc8730845e5f13845f861c706","datavalue":{"value":{"entity-type":"item","numeric-id":4915183,"id":"Q4915183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$721B1C7C-2BC9-4110-A9D2-C201CBAB078A","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":"Q6633135$E3FAA7A8-E9CE-4942-8B00-4CF0C6216CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd959ff4cc074ce44d862dbf395b94c17ac81a2f","datavalue":{"value":{"entity-type":"item","numeric-id":3177360,"id":"Q3177360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$3B245C9A-8A2D-4C4A-9CE7-79C54461A0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3829aa81804c145e23d73f4471cc5400d7560c0d","datavalue":{"value":{"entity-type":"item","numeric-id":2481970,"id":"Q2481970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$E10BC6C7-0AD1-4CF3-AF24-686726E6070A","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":"Q6633135$E221FD5A-80E1-436E-A7A0-A773FC887586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a59347f73363b99fbc0fc253b8806d6552a0453","datavalue":{"value":{"entity-type":"item","numeric-id":4074927,"id":"Q4074927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$103D3937-5A7A-43DA-9F84-07602E3D6A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7bdff28fc309251a80960adb10ed2bb91aeb4cf","datavalue":{"value":{"entity-type":"item","numeric-id":5056428,"id":"Q5056428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$C6AE5321-950D-42C2-9B70-BFAD41C7F83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5809ec604a951260218a1e645480e7b116e64de5","datavalue":{"value":{"entity-type":"item","numeric-id":6065275,"id":"Q6065275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$D9FC46B8-6C3F-4CC9-9B4D-D4C811581BD5","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":"Q6633135$BAA69676-8CDC-459C-8247-4BAE367516D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9744b263d82329a98b179aab0121b029e61317f","datavalue":{"value":{"entity-type":"item","numeric-id":5096442,"id":"Q5096442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$5FAFE016-6DD4-4CC1-8396-58408B36EFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f81c1e8a524ed772b40aa4b869f849b9d2b1058","datavalue":{"value":{"entity-type":"item","numeric-id":5395672,"id":"Q5395672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$392468AB-23B3-4053-9217-49460D47F974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a3d8bbab6b827bd8e2312577d42de764318d742","datavalue":{"value":{"entity-type":"item","numeric-id":6422133,"id":"Q6422133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$00FC0C96-BA1B-4510-9DF4-4F7E0C57E260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff4aaab522cdd31b12dfc38c85cd549deb0a961","datavalue":{"value":{"entity-type":"item","numeric-id":6405895,"id":"Q6405895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$D6019950-4F84-46BC-9B95-0D644BA33D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85a72c167539525e4b15419062647895c2fedee9","datavalue":{"value":{"entity-type":"item","numeric-id":5229340,"id":"Q5229340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$06C5FF9F-7866-40F9-9C68-BD5E58B1F70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38acd4f92e33519dea38a52fcfaf7085f5088d29","datavalue":{"value":{"entity-type":"item","numeric-id":2341636,"id":"Q2341636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$3F237D04-CDBE-47A7-A14B-22AA5AAAE4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7678cadff422dc18fb5c6f9d2c4055e1ab7c4be8","datavalue":{"value":{"entity-type":"item","numeric-id":1079379,"id":"Q1079379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$64A4DE7D-3CC3-4A62-85E7-6B5E9C39A7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74c7dd61c7a66b751a69f5fe7379336eb659267d","datavalue":{"value":{"entity-type":"item","numeric-id":2003767,"id":"Q2003767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$4296EF47-901F-46B5-9D2A-A9F3CFD10515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468f57a6eed89c0b8fd32facdc625747adf460b1","datavalue":{"value":{"entity-type":"item","numeric-id":5385913,"id":"Q5385913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$6660587B-7CB0-4B22-960C-BBDE206A8FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ba3bd74ef41e0757015be3b53bca7ad9cb71ba","datavalue":{"value":{"entity-type":"item","numeric-id":5463630,"id":"Q5463630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$13343382-E251-4519-9788-6CD6E1D96548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"234e72809b91ac582a2154fff9e13ed28de32dcd","datavalue":{"value":{"entity-type":"item","numeric-id":5244383,"id":"Q5244383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$D735C783-B193-4C00-AFB9-E328FC537E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c45b31afb0758d31ea421f28810bdcbd5a786933","datavalue":{"value":{"entity-type":"item","numeric-id":2934721,"id":"Q2934721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$2962B50F-B635-4C07-9E5D-3B050CE5CBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d06f971812093fe6317243e078dd346e71338f6","datavalue":{"value":{"entity-type":"item","numeric-id":3578191,"id":"Q3578191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$3AD7E1DC-2E71-4644-918B-2E8E29AFF3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04d28aa7732bf487318a538e41866d31630cdfac","datavalue":{"value":{"entity-type":"item","numeric-id":4967245,"id":"Q4967245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$C1DB8D2B-8EE4-4837-B95E-D073427E0223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"856710ed2fcf5bf6ae45b1db81ea9cbc6bbc540c","datavalue":{"value":{"entity-type":"item","numeric-id":2073174,"id":"Q2073174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$27946B79-820B-4459-A496-F771E6F0C8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42f21add934df3a015e9680036d952c5d644de27","datavalue":{"value":{"entity-type":"item","numeric-id":1245976,"id":"Q1245976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$C3113B68-DE34-4D70-897C-1FB5D44EAF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706db8b37aa2d9f7d04b66a8f34a76a51360f5ba","datavalue":{"value":{"entity-type":"item","numeric-id":3452215,"id":"Q3452215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6633135$76E54ECE-4B2B-452E-AA21-F70E058D04C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c6d0f2a1f5ae27e4bace313af316b871e647594","datavalue":{"value":"10.1137/23M1595722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6633135$08766F6E-9D59-4999-BD7D-C04219D61455","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6633135","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6633135"}}}}}