{"entities":{"Q2380029":{"pageid":2390772,"ns":120,"title":"Item:Q2380029","lastrevid":72650607,"modified":"2026-04-14T06:18:08Z","type":"item","id":"Q2380029","labels":{"en":{"language":"en","value":"New upper bound for the \\#3-SAT problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5686462"}},"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":"Q2380029$C4D328FE-20AB-4CA5-92A4-34E2240878EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1584d5559f5a289f05cc4f4ec1a5dcbcbb77c635","datavalue":{"value":{"text":"New upper bound for the \\#3-SAT problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2380029$D3F7E622-1F7D-404A-8A76-26C7335D34B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76b76d708bfa6e3df9c0e7dd0eff88c0543cebd8","datavalue":{"value":"1184.68473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380029$3D0FB13B-5778-477C-898E-006940A70982","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6078df82a12615e728038ace37386618e2a7e688","datavalue":{"value":{"entity-type":"item","numeric-id":334945,"id":"Q334945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380029$4F816F98-59F8-409E-AA54-363FEC680F8A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380029$F1CC5640-0844-4917-A4A2-210E6EAF54E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b2597d51ab54359972966267a61b08692759225","datavalue":{"value":{"time":"+2010-03-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":"Q2380029$E582E99C-DB01-4FAE-94C8-1956A0D173B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380029$774CFBAB-FD9A-43D3-BB59-761CBF9C844A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380029$7ECE465F-961A-4F4D-9B29-EDCC14A90EA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6d3fb2aa49f9b3dcc88aad208f9ae0f52c0a72c","datavalue":{"value":"5686462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380029$7DA50253-3EF9-4522-A7D3-B0BFCAA1D4AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90bc349d6d55eb8026148892e900ce256ffdd986","datavalue":{"value":"analysis of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380029$DE44BD02-4A2A-45F4-98C2-ADA52B57D1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380029$B5205C25-347C-4FE5-886C-1E48676426BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8a05197c5133b0924586cb9519cbf44bad357b2","datavalue":{"value":"counting solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380029$051BC605-7F70-4FF4-B8EB-4C93A51619D0","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":"Q2380029$BCA51361-4B7F-48B0-9C01-6D561EDE1308","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11daa3a9058387c8a713e1c8a1a14047bc7d4bc1","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2007.06.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q2380029$231F40B9-956D-4399-8199-2BD443B546AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3f11cebd6d2b0672f9da3e6d647eed98655600a","datavalue":{"value":"W2042764910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380029$3E9AD7A5-F408-42E4-B8BF-76BC6A39D8E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"137e514add27b29f397609391b43a6d3b040642f","datavalue":{"value":{"entity-type":"item","numeric-id":4808676,"id":"Q4808676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380029$F0E03E44-6E40-4738-A4BA-D31ACA183590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff4f5a67d2516cc8bb30d75bd9b43966daaf57fa","datavalue":{"value":{"entity-type":"item","numeric-id":1770390,"id":"Q1770390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380029$E1D30744-11AC-4D41-B086-B73842E1559B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380029$4B0DC11B-634C-4DA3-AF66-DA33E0C0B6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380029$F7EE8598-D79B-4350-BB83-CA5ACE35DF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ab077cc32b3b3dd27fea3b986d79a2d1191d3a","datavalue":{"value":{"entity-type":"item","numeric-id":2277848,"id":"Q2277848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380029$DA6B9548-D753-418B-B86D-49FF9B673B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95eae76d6fb6bbc9ffc68403c1b728f21ae14a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1960406,"id":"Q1960406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380029$1DDEE0AF-C503-498E-88EA-45B816577FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c516460706e34bfacf776c096f40a576fd2116","datavalue":{"value":{"entity-type":"item","numeric-id":600247,"id":"Q600247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380029$BD608677-6989-4A74-A7A0-336D05E071BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70536879af054717c0f3d9d913a10e93c328980d","datavalue":{"value":{"entity-type":"item","numeric-id":3853129,"id":"Q3853129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380029$79F5E6C1-9E52-47B0-819B-5D42F6B669CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4164930c80e191c797775caddd7ff2ab697a9d72","datavalue":{"value":{"entity-type":"item","numeric-id":672138,"id":"Q672138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380029$D978F3FD-C8ED-4626-B52F-A8EE320CBE00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a80d2a1535f20f294e22ee96195fddb4871034e","datavalue":{"value":"10.1016/J.IPL.2007.06.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380029$E880F7DF-47C6-4124-A25D-0D1E068911BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85307005f9aa7b14e41627295230e50fdc5b2df7","datavalue":{"value":{"entity-type":"item","numeric-id":4808676,"id":"Q4808676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2ba81f831e362aeae2e5e3ba4dc6aee6c8aabed","datavalue":{"value":{"amount":"+0.8322649598121643","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":"Q2380029$ABB9235B-9A73-4FA6-86D7-52838DEBEBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"364518d8413330694049cf3ab925de858aa2ab22","datavalue":{"value":{"entity-type":"item","numeric-id":2941085,"id":"Q2941085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40afe598d4dc52ddef56bba72cd0456f986d0201","datavalue":{"value":{"amount":"+0.8302582502365112","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":"Q2380029$4F886831-7453-4316-8095-3ECBF3F0C7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bfd952c4dbff9b05b5d1bf0775fbbbcf8fb8946","datavalue":{"value":{"entity-type":"item","numeric-id":1946835,"id":"Q1946835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e32ff92cdd1bb39418a181c3337b693691f450e8","datavalue":{"value":{"amount":"+0.8248776197433472","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":"Q2380029$D78B48CE-FD60-4D48-95A3-B0136C078A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a20780416c0a651fa8acba5636d9056cccf131","datavalue":{"value":{"entity-type":"item","numeric-id":3165956,"id":"Q3165956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72671381ccb278c50c73fa66e7bf3a40774e2541","datavalue":{"value":{"amount":"+0.8170097470283508","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":"Q2380029$987AB4A3-15BD-4116-8A92-5AC3451800D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8afd6883ea2bbb41e8bdd68b4a7fde30afcb3864","datavalue":{"value":{"entity-type":"item","numeric-id":3507036,"id":"Q3507036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e87e67a7b38510c4f8cb854df31afb557a0232b8","datavalue":{"value":{"amount":"+0.8102831244468689","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":"Q2380029$DE147D6C-05E3-463A-AF6C-EB4ACC154090","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"New upper bound for the \\3-SAT problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/New_upper_bound_for_the_%5C3-SAT_problem"}}}}}