{"entities":{"Q2941489":{"pageid":2952209,"ns":120,"title":"Item:Q2941489","lastrevid":58061652,"modified":"2026-04-03T15:56:29Z","type":"item","id":"Q2941489","labels":{"en":{"language":"en","value":"Proof of the satisfiability conjecture for large \\(k\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6474707"}},"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":"Q2941489$A7384CE5-A4EA-47B7-9D0C-C93C56A00509","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35603f8fe5dab48877c411b6cd41bde13f0c14c4","datavalue":{"value":{"text":"Proof of the Satisfiability Conjecture for Large k","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2941489$1B84CD37-51FF-4BC8-87CC-B7DBFC8A002F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97b67e9abddc3dd88701d9f79f3e481f8dcd80a1","datavalue":{"value":"1321.68304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941489$B3F6C185-3AF8-4D18-A56B-478F8C5954F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0ee76134b04465ec1db3e41aa40535b42534008","datavalue":{"value":"10.1145/2746539.2746619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941489$53317B56-C97D-4070-98CA-81380D27BA46","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":"Q2941489$A0BB53D6-B9CC-4685-A780-19BF8A547E9B","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":"Q2941489$37F2C883-0BDF-426C-8101-4E762D0F411D","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":"Q2941489$5A9BD8C6-6591-46C3-95EC-CE72086BDEE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85d346cdde70d3a1042609087e79b3009a8ef097","datavalue":{"value":{"entity-type":"item","numeric-id":2941480,"id":"Q2941480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941489$0B6B74C2-A3C9-48A3-AD99-75B575C28B06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e463a3f76b72914d69100f109f02e2f624263f82","datavalue":{"value":{"time":"+2015-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2941489$32449A48-BA8F-4C13-A893-A959EEC2657D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"283388df02ebdf9262354e32b23d23b84b19e7d4","datavalue":{"value":"https://arxiv.org/abs/1411.0650","type":"string"},"datatype":"url"},"type":"statement","id":"Q2941489$AF1A9549-6432-4BF0-BEF0-20F08A9B35C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941489$0CA29283-3240-4F06-82B1-1FF3EB51228E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c8aaa3af6ff97c7084fe07c1eb5873e5b67d9b6","datavalue":{"value":"6474707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941489$7548C1D8-5256-46B4-BC23-28B52D479DCC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0736c3a2794a43ca9b54a65436cbd71cf0796887","datavalue":{"value":"belief propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941489$5483727F-191C-487F-A2F5-2999BB52A084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8954d6f76799365dc5b870fd18e348b2083a4841","datavalue":{"value":"condensation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941489$BFA018FE-5EAD-4338-8586-B812F79B50E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a348f9efcaabdd35d491583f05dde8d8e0eb673","datavalue":{"value":"constraint satisfaction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941489$F7428AFB-448A-40C4-9658-00FED79A6FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9161657d5fba10184ab322fd0fcb2b7c61ba9274","datavalue":{"value":"random \\(k\\)-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941489$8F8C0F24-90E1-44BB-BBEF-97916EC5F532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f30c59571a76acd95940adfbf913af99455184ef","datavalue":{"value":"replica symmetry breaking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941489$365E7E8E-919B-4FD6-9E1D-E50731378AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d90950a73bceb97c14293d72b737bf18a4224b4","datavalue":{"value":"satisfiability threshold","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941489$318B4EB6-8FAC-4E2E-82AE-8A33D128B07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"617d4e67feb9bb9291538ad8ea4dac1b90209534","datavalue":{"value":"survey propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941489$894FD84D-2412-425B-A360-FBB8DF1216DF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3fb2701f07c7d6225b81753f8f4b7652ad5f931","datavalue":{"value":{"entity-type":"item","numeric-id":24208,"id":"Q24208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941489$6A3F683C-9E8C-4A09-B23E-B6BB96219428","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":"Q2941489$7F064CBE-E95A-419D-B66C-370226993E0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a9227c5924c572c394f25bef062474dac3a5a39","datavalue":{"value":"W2070702809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941489$9B418DC1-2F7A-45A4-B908-DBAA661C795E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b27d66af9a0812139ba919a8c2a94ba55f8c162","datavalue":{"value":{"entity-type":"item","numeric-id":3095345,"id":"Q3095345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941489$E16EE392-7B34-4AC7-8B85-3748E6C3064A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"611d3e7c9668bce11095cc625704a0b304d94a87","datavalue":{"value":{"entity-type":"item","numeric-id":1196368,"id":"Q1196368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941489$6C6E09A2-D7A0-45C6-8D76-343EFD008864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e0a6be99733eaeb2e2c0607e2cc442871e0104","datavalue":{"value":{"entity-type":"item","numeric-id":4210147,"id":"Q4210147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941489$EB2DC2C1-CAFD-4107-9DA4-D3B357B96A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8a6beef93c888a085e6e00d4dbfd4d6cb983614","datavalue":{"value":{"entity-type":"item","numeric-id":3521953,"id":"Q3521953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941489$A7CC7389-EB21-4BC0-8A60-0AB077BC858A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"715bece255906491939b4eb3fb90455d4770b609","datavalue":{"value":{"entity-type":"item","numeric-id":5259601,"id":"Q5259601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941489$A63339EE-8090-46E2-AE39-84A8E8B80EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9562975b659ee36323bc10f44914f734dbe22ea7","datavalue":{"value":{"entity-type":"item","numeric-id":4210144,"id":"Q4210144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941489$C5EFE60B-3380-4A27-AB3A-68D61C97A473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"897d6e7a261b274ddf28d766aaa4d79037054563","datavalue":{"value":{"entity-type":"item","numeric-id":997827,"id":"Q997827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941489$7393C269-984C-4F15-977F-A07E5EE077CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a647361e67809cabf8c312a0c65f24b224909505","datavalue":{"value":{"entity-type":"item","numeric-id":5414573,"id":"Q5414573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941489$9CDD93D1-5C3B-4AF2-B8BC-A643D323AFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa71cdf7b0f97a10b270ae9809b93535a3326aa","datavalue":{"value":{"entity-type":"item","numeric-id":1932671,"id":"Q1932671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941489$610D9667-9FA1-4793-982C-3FD7D37C1B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b5c2a2555a6adb5115824b34a87580b6889dc09","datavalue":{"value":{"entity-type":"item","numeric-id":5716780,"id":"Q5716780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941489$A715F6A7-DE0B-40E7-943B-9153CE6B666B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ca31f8e4756b924f4d0f5010622dac45acfd75","datavalue":{"value":{"entity-type":"item","numeric-id":5176178,"id":"Q5176178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941489$D434CA1A-8E1B-4383-9A6B-97C03723F77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f8a5087e5adfec5e35350c9dc4814ad45a304d","datavalue":{"value":{"entity-type":"item","numeric-id":3546311,"id":"Q3546311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941489$712EB168-CB33-4ACC-AEC6-E4C7E20C57C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceaddce235366296c48c86158fd23909d4ae9d41","datavalue":{"value":{"entity-type":"item","numeric-id":2171413,"id":"Q2171413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d5a4ff98c2690d80122f1836b3d20fd24d9bdbb","datavalue":{"value":{"amount":"+0.9687250256538392","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":"Q2941489$2B6F5C16-2F4C-43CB-AD36-212BC8D6BB70","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":"8043054ff5610300c2bebeba6b52bda648428c79","datavalue":{"value":{"amount":"+0.9272356629371644","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":"Q2941489$97CA2FBE-759D-40F3-9A61-E071358C6E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd065784386b6d160fbc130364ab5479e1cef902","datavalue":{"value":{"entity-type":"item","numeric-id":5259617,"id":"Q5259617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c8fe93f87c9de29fde2e2f9d80e6a2a6af51a48","datavalue":{"value":{"amount":"+0.9052267670631408","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":"Q2941489$E3ABDF01-5EC2-44F0-9164-525AE49BDDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aefa707b5b413fbce23c4b586e4bc1aed08fa5c6","datavalue":{"value":{"entity-type":"item","numeric-id":4821034,"id":"Q4821034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b68fb3f735101f0d9f0f4e8b1315dcf06164fb2","datavalue":{"value":{"amount":"+0.8856964707374573","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":"Q2941489$BCC58977-44FA-484D-9CA9-5E3EDDBC2A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d50a4c926fba5823993474f6f90660234ae0ffc","datavalue":{"value":{"entity-type":"item","numeric-id":3446816,"id":"Q3446816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe92a0f3f0dcfcae4a979326fe62f52e7073ee5","datavalue":{"value":{"amount":"+0.8807210326194763","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":"Q2941489$1F14BEEF-9E62-4F24-B98F-F23723D13165","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2941489","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2941489"}}}}}