{"entities":{"Q5259617":{"pageid":7289185,"ns":120,"title":"Item:Q5259617","lastrevid":58508211,"modified":"2026-04-05T12:50:22Z","type":"item","id":"Q5259617","labels":{"en":{"language":"en","value":"Satisfiability threshold for random regular NAE-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6451611"}},"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":"Q5259617$CE3599DF-DE81-4E4D-BE96-B26F6770BD31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"afd652fc9ce60b4bff93c0c980c95f43532bc634","datavalue":{"value":{"text":"Satisfiability threshold for random regular NAE-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5259617$1E987009-1440-4258-8CE8-EBCE10966EAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ff871e0accb7be69fe7a26483fbaa557337c74b","datavalue":{"value":"1315.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259617$8052FB58-3FE5-4EEF-A7D4-701D93C1A2AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"faee09fe3df3e477f424e74a59c4b75f04198424","datavalue":{"value":"10.1145/2591796.2591862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259617$1005A4AC-68B7-41E7-9FFF-EC57DECC408F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a953ee1b3a75e95d50c958fd0d24d99944e7051","datavalue":{"value":{"entity-type":"item","numeric-id":245006,"id":"Q245006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259617$3EFC47D4-BEB8-416D-AF68-F5384EA2D101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7da1c7aaa9c434b0782de58361705d7f238eecc1","datavalue":{"value":{"entity-type":"item","numeric-id":243556,"id":"Q243556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259617$DF70F7D7-84D0-4E22-B98F-D00B0ACEA34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"415a1ac4a8f6f65541d417101f2f242deafe8e33","datavalue":{"value":{"entity-type":"item","numeric-id":248232,"id":"Q248232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259617$E2570906-821A-4D24-AFCD-694BB3ABA767","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"90ec4024f317cae195318ef8c101c050662582f1","datavalue":{"value":{"entity-type":"item","numeric-id":5259532,"id":"Q5259532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259617$83DDDB68-A16A-4E36-B267-B364A8324016","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4795efe26ace72ea33e5b50072c8db0e5047722","datavalue":{"value":{"time":"+2015-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5259617$C705646E-FF2A-4C4C-8782-E83A3BF41F36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf0f1046406eaa7c0b3814c9bdea7c54c872360b","datavalue":{"value":"https://arxiv.org/abs/1310.4784","type":"string"},"datatype":"url"},"type":"statement","id":"Q5259617$B373AE2D-8395-4079-BAE9-F0393FAA1EE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259617$94D53A08-4064-4082-8225-08FA70445803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259617$A622EF22-39F3-4693-BCB1-E84647C6FF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259617$51E5FF71-74BB-4C16-83F8-D4676367B330","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82b9520676c927ab4ba5cd23380d9582f9b85e79","datavalue":{"value":"6451611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259617$627E750D-F98E-45A3-93A3-672B1A0E8DD6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8954d6f76799365dc5b870fd18e348b2083a4841","datavalue":{"value":"condensation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259617$2BF0ACA9-873B-4A7D-A34F-AFF502E06D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a348f9efcaabdd35d491583f05dde8d8e0eb673","datavalue":{"value":"constraint satisfaction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259617$542A8153-2A9D-44EC-AD77-44C6618995EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f30c59571a76acd95940adfbf913af99455184ef","datavalue":{"value":"replica symmetry breaking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259617$441855FD-AE83-41A1-9E34-EEF3426ABD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d90950a73bceb97c14293d72b737bf18a4224b4","datavalue":{"value":"satisfiability threshold","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259617$0BEFBBB3-D115-45BF-B60D-EDCF473F9FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"617d4e67feb9bb9291538ad8ea4dac1b90209534","datavalue":{"value":"survey propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259617$03EF853A-D5B7-4598-8C01-0E6EF316FAFC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ac11abb31a94cc34ffe427dd7cc4ed6ccb35125b","datavalue":{"value":{"entity-type":"item","numeric-id":23301,"id":"Q23301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259617$1D3B084E-31D7-4320-8EF2-F2199DF841CA","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":"Q5259617$C1639344-543C-419E-800B-AB6DAB07B83D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0609d4a7986d30d5646210bcc6d29a8c44e4a2a5","datavalue":{"value":"W2072579822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259617$C3CAB544-C2A7-4172-84A3-445A9BCDA33E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62d963f0e5317025f26d2cf3089731ff50e17d74","datavalue":{"value":{"entity-type":"item","numeric-id":3408209,"id":"Q3408209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259617$8FD20D1D-4550-4B41-BCC0-49CAC62D09F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ada705c08a3fa5a51391df4f8d77c71c153f971b","datavalue":{"value":{"entity-type":"item","numeric-id":2986862,"id":"Q2986862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259617$D30B600D-E124-43F9-B3BE-37AC0F6915BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"491cda9c0671ed616fe70b0edf66ca0bacdde71d","datavalue":{"value":{"entity-type":"item","numeric-id":2851871,"id":"Q2851871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259617$432CB648-E666-4798-8B43-48945D829FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce9cba4f0b4fcc70d22185545065b59abaf868b3","datavalue":{"value":{"entity-type":"item","numeric-id":5302085,"id":"Q5302085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259617$36D4185B-BB38-41D7-BD36-61D605E4E191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228878105b70cfacb6a3afffc96e8ff989c04b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4701165,"id":"Q4701165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259617$73A531DD-3860-4D21-8161-8F86B40786EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20ec0cda573a901188aa8569ecffdb06e009c619","datavalue":{"value":{"entity-type":"item","numeric-id":2988893,"id":"Q2988893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259617$B97C618A-F7C0-4638-8C8F-A87F4E858953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"552e00532019a3a63d5af7d7d1ba10428a8f735d","datavalue":{"value":{"entity-type":"item","numeric-id":2891492,"id":"Q2891492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259617$1B0F505B-581C-4A27-9CF6-A4BD6A786670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b538ad7d160116191a54fdb0b3613382cb850b1b","datavalue":{"value":{"entity-type":"item","numeric-id":3593113,"id":"Q3593113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259617$75F4CF46-D2C2-4BB8-9D14-0596BED719DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ab1725ca7222c1bc65b4c38cdca79c82a13ad4","datavalue":{"value":{"entity-type":"item","numeric-id":5898359,"id":"Q5898359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259617$83ACA852-7DD4-4A35-B6A8-A5F80DAEBD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e588221360407e02d64eb6b8828323e9051e12","datavalue":{"value":{"entity-type":"item","numeric-id":3549600,"id":"Q3549600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259617$E7D77A84-18B3-43E1-95D6-656D50128D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f946ef4e894b14c54ff5556ade27d4e0111c6fd9","datavalue":{"value":{"entity-type":"item","numeric-id":5172732,"id":"Q5172732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259617$5E7B36B3-3E0A-4216-9E4A-122FFFE9F640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"935f753c8fac39879c25a19a939ceba64c2a87ba","datavalue":{"value":{"entity-type":"item","numeric-id":2349860,"id":"Q2349860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259617$3E0AF5AD-DAA4-42F8-8724-E76BBD063649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0a60dfc5eb94c8c088435a529f20b12f86d2ba5","datavalue":{"value":{"entity-type":"item","numeric-id":5311555,"id":"Q5311555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259617$A88CCFA8-00DC-4AE0-8052-F621E57814F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f50511cf7df799e52cf3f2dfd473f304d686a5da","datavalue":{"value":{"entity-type":"item","numeric-id":3600235,"id":"Q3600235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259617$6DDDE801-B2E4-47B0-8354-F210ED19C221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfc7afff12be8b22b52baebca68c46ae8d153304","datavalue":{"value":{"entity-type":"item","numeric-id":2891493,"id":"Q2891493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259617$AE1674B4-5394-4EA9-B2F7-27276B1444DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6009d13ccab93a32fb7dc30554b8235a8f4537b","datavalue":{"value":{"entity-type":"item","numeric-id":2875197,"id":"Q2875197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259617$C1C3F65D-5C1F-42FD-BA8B-AD48D905CD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05edaff69da6df33930894531798642a9f3bd404","datavalue":{"value":{"entity-type":"item","numeric-id":2875204,"id":"Q2875204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259617$82F654C7-8889-46E5-BC46-B487EC18A4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ac876866ff56d7c0168eaebbe9bf546e225835f","datavalue":{"value":{"entity-type":"item","numeric-id":3588444,"id":"Q3588444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259617$32F5AF10-6CDC-4F57-9923-242C92AD2AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"170258b8ba2c951eb4a87c91342e9aca8b7a5c4f","datavalue":{"value":{"entity-type":"item","numeric-id":2875203,"id":"Q2875203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259617$7CFB571A-2429-46B8-87C6-A1DFEAA13F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ab2df91fcd2aa7b5a233d14c243500abf3bbbd","datavalue":{"value":{"entity-type":"item","numeric-id":2843303,"id":"Q2843303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259617$8A081CF4-5745-4203-86D2-CCCDA24E0CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b84c8f55a9968333bb6b1c9563711a564201389e","datavalue":{"value":{"entity-type":"item","numeric-id":5495806,"id":"Q5495806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259617$88AD3880-BCD3-4919-AB22-1B12C4D84F05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"755b56368b4cd9e9590dfe9c1728526bfbd56ede","datavalue":{"value":{"entity-type":"item","numeric-id":5963757,"id":"Q5963757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cf4347ab0e907ba66dd1fecfc35eeafb24fb4a1","datavalue":{"value":{"amount":"+0.9965022206306458","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":"Q5259617$6D2312C0-9BB7-4F8A-A44F-E8EC4ACD51C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"803619180b17da109ca8ef2713552ff4cde4fc99","datavalue":{"value":{"entity-type":"item","numeric-id":2073174,"id":"Q2073174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb25c747093d3044b02c13a0aa67f9703bd89c34","datavalue":{"value":{"amount":"+0.8877465128898621","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":"Q5259617$449145BA-736F-4410-9D24-E99456955031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b43fe54455e7ffcfbc86f9e8c865af19bc518d56","datavalue":{"value":{"entity-type":"item","numeric-id":5415523,"id":"Q5415523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"792e85b206624293488b66a1ab01e75dc706a4aa","datavalue":{"value":{"amount":"+0.8675777912139893","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":"Q5259617$0A997A39-059C-4A04-BF94-A4B3EEBE6161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"169aa400b3c883801226c3b7200fca4852e23e96","datavalue":{"value":{"entity-type":"item","numeric-id":2941489,"id":"Q2941489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c2ca28f81e0db3dfa015e60027404ef8f389b8c","datavalue":{"value":{"amount":"+0.8631317615509033","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":"Q5259617$F5843067-DF29-456C-9838-2F97B0B9D3E9","rank":"normal"},{"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":"8fc4ba9acb93b07505d26543a2994e533c849d26","datavalue":{"value":{"amount":"+0.8562568426132202","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":"Q5259617$ECF7DCD3-DF0F-4967-A3FD-2E5252649076","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5259617","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5259617"}}}}}