{"entities":{"Q3177360":{"pageid":3188070,"ns":120,"title":"Item:Q3177360","lastrevid":58141923,"modified":"2026-04-03T23:44:13Z","type":"item","id":"Q3177360","labels":{"en":{"language":"en","value":"The number of satisfying assignments of random regular \\(k\\)-SAT formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6909878"}},"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":"Q3177360$57F47DAE-6C18-467B-9210-745DEED33887","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a2fb15289adebabd225aa6ca4cc845842ae1aea","datavalue":{"value":{"text":"The Number of Satisfying Assignments of Random Regular<i>k</i>-SAT Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3177360$489F1804-A804-482C-8040-DB65BAAC689F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b179e3231c6f5c5ece47e8430ad13b6dcbe99bb4","datavalue":{"value":"1393.60010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177360$E02D1EB0-F0C5-4910-B1CC-5EB6E0BFBED9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8923da8057c8d359d532d1f0c174ca7e2ff945ef","datavalue":{"value":"10.1017/S0963548318000263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177360$B58B8685-855E-48DF-981B-FBD76B3A98F1","rank":"normal"}],"P16":[{"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":"Q3177360$782EE2C2-71A9-49CB-AD7A-E337D4E7A0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c84290e2aa59f5e72197dc6c42e23718498784e5","datavalue":{"value":{"entity-type":"item","numeric-id":704840,"id":"Q704840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177360$6628B86A-02D2-4481-87F5-7E51F6588F36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3dc98aa839a361f8a72b00376d60e99225cffa57","datavalue":{"value":{"entity-type":"item","numeric-id":2703019,"id":"Q2703019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177360$F065B44C-3A02-4654-810E-93E547A5F5D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"995831e8bf08f9c5604b683515315797e006d5b7","datavalue":{"value":{"time":"+2018-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3177360$2AE2FD55-D85D-467C-9A97-DC579EF1CB69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bbc563c3ed53026b6c09278dae524d82cf825cf","datavalue":{"value":"https://arxiv.org/abs/1611.03236","type":"string"},"datatype":"url"},"type":"statement","id":"Q3177360$338375DC-8E04-47BE-B6C5-613554121E78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b7275e0d4b526075acce84a242d8537e929bb2d","datavalue":{"value":"60C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177360$49D36E45-AA0D-4CBE-92A6-4D22287AC0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd6b8847e09c706889ad9ef05dc0040f1c9f982","datavalue":{"value":"05C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177360$1EB0F798-7CEE-4698-8712-2665502C7002","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12303f5fad5826b26ea0e8931b607ce4d42772b3","datavalue":{"value":"6909878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177360$CC518EE4-49EA-4415-BAF7-A76A9A65F9EE","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":"Q3177360$D147D9ED-C903-44F3-8FC2-298783A78026","rank":"normal"}],"P223":[{"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":"Q3177360$25149E45-D6A5-42A6-A9E6-21DD3F5B25B1","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":"Q3177360$B7FC56F4-B47F-409E-810D-09479DF68D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483f9f151262e7142d57374fffeb839d158c0b72","datavalue":{"value":{"entity-type":"item","numeric-id":4636454,"id":"Q4636454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177360$707473DB-74D3-4E78-B10A-A3188CAA92D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f878f233476a2906e1851a12c3b560149c275ba","datavalue":{"value":{"entity-type":"item","numeric-id":4780288,"id":"Q4780288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177360$B0D7532A-759C-4F5C-A168-FD55FBD60053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e0a702b0ccce89a406fffba89acce423f97aa4","datavalue":{"value":{"entity-type":"item","numeric-id":4401944,"id":"Q4401944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177360$641AA759-E7DE-4E96-8494-A2F984DA3636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914c9a0ef0d5efeb0416ab2f21af6a8a3306e7ff","datavalue":{"value":{"entity-type":"item","numeric-id":3676893,"id":"Q3676893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177360$063A82E3-3955-440C-A9B5-3DBEFC196DAC","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":"Q3177360$374C72CE-FF60-4ED9-912C-75FCB61AE018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58c976b890c27db885fdde5711a706726a55ae79","datavalue":{"value":{"entity-type":"item","numeric-id":5495841,"id":"Q5495841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177360$B65F02F1-9F4B-4C95-B2B1-119F4E6B47EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3140a0e14d24a4c1aba2bf806dc625636324782d","datavalue":{"value":{"entity-type":"item","numeric-id":5743395,"id":"Q5743395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177360$C9CD66D8-7E31-490B-92BF-0D2716DC0843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec54cdd4870fbd11b80962f9d905f067b0141faf","datavalue":{"value":{"entity-type":"item","numeric-id":1900170,"id":"Q1900170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177360$0EBD2A93-4BE4-41D1-B245-8171447B743F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55a313fc435d946c5fdb4b8ab71fcebb9bc8c2ca","datavalue":{"value":{"entity-type":"item","numeric-id":5259617,"id":"Q5259617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177360$6C4AB056-A32C-4028-83ED-B1DF1014AA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7955c6e632c62fc5b965c85834c4907eadec4719","datavalue":{"value":{"entity-type":"item","numeric-id":2941489,"id":"Q2941489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177360$B3BB7CF2-365A-4555-A2B3-D867D14EC225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b17098a9a540d26e202a1aa44a8475e426927ed","datavalue":{"value":{"entity-type":"item","numeric-id":2387184,"id":"Q2387184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177360$1D9497A2-1B2A-4A7F-9704-6B1589D242D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"721b8b7bf556fe13b72ff83b9c4b2516e63b11a4","datavalue":{"value":{"entity-type":"item","numeric-id":4868737,"id":"Q4868737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177360$70E989C3-21F7-4C3E-9691-FF7F528AA1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3600a0afe71e9b9c22e19ee4b5b7bb726dd22d1","datavalue":{"value":{"entity-type":"item","numeric-id":4240602,"id":"Q4240602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177360$AC081506-953A-4CD7-BECA-586187758CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e05696b2e698b5bc81c49c8506852505dc13716","datavalue":{"value":{"entity-type":"item","numeric-id":4344223,"id":"Q4344223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177360$222611C3-7F88-4ABB-9DB4-3D2348F28B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c935915960dea910280d9a93804fb17e09fff854","datavalue":{"value":{"entity-type":"item","numeric-id":2401392,"id":"Q2401392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177360$B91447C3-DC05-49AE-86DB-ABFCA8906560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b81544cb850dc58c48b3cd3d92093893df28266f","datavalue":{"value":{"entity-type":"item","numeric-id":4930594,"id":"Q4930594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177360$E95AAD83-1D71-484A-A7A0-9D71C95727ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ea85834a995582d6f639d832e012772982e155e","datavalue":{"value":{"entity-type":"item","numeric-id":3990215,"id":"Q3990215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177360$06B7BB50-05AF-44A4-B694-3AAE52AC2B2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffc87edc12877d89881cdf34d30704c2c4694198","datavalue":{"value":{"entity-type":"item","numeric-id":2990202,"id":"Q2990202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d75ef2443a5a41e4cf1e11737bbfe33ced518a7","datavalue":{"value":{"amount":"+0.854107677936554","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":"Q3177360$A8566C3B-A1D8-4B00-B36F-49A9D38944E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42dfc997d767fecb674a5485076892f2f2f587f","datavalue":{"value":{"entity-type":"item","numeric-id":6074640,"id":"Q6074640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01bbe42fc8d916eb55a477d11602ad001cc111eb","datavalue":{"value":{"amount":"+0.8535657525062561","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":"Q3177360$D13C6FE0-7B4C-42A8-BD43-4122B95C5793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61cec5288a7a925d54126c3b778691d8b2e30526","datavalue":{"value":{"entity-type":"item","numeric-id":3546329,"id":"Q3546329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d04716084a8ffb8601d811f0461a8ce91aa7ae53","datavalue":{"value":{"amount":"+0.8422515392303467","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":"Q3177360$6524051B-7C60-4237-AFA8-32232E2FDEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40122bb5584756a450ef6748481a292e6824c759","datavalue":{"value":{"entity-type":"item","numeric-id":2930051,"id":"Q2930051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c534c15f51319d8e7d52b5a98770f6f9378d7ae","datavalue":{"value":{"amount":"+0.8393673300743103","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":"Q3177360$EEB2AF85-16E0-4F22-A004-590C7FC74A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4df546ffd8cae746a9a2888262b7434e15a8d9","datavalue":{"value":{"entity-type":"item","numeric-id":900872,"id":"Q900872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b40794ac08e3f36e76fbbd56fce185b5b5b5b2c0","datavalue":{"value":{"amount":"+0.8361074924468994","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":"Q3177360$E964A84A-67BC-4DF3-A161-6BF9A3E92B02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3177360","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3177360"}}}}}