{"entities":{"Q3165956":{"pageid":3176672,"ns":120,"title":"Item:Q3165956","lastrevid":79998962,"modified":"2026-05-06T15:12:26Z","type":"item","id":"Q3165956","labels":{"en":{"language":"en","value":"A new upper bound for 3-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6096486"}},"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":"Q3165956$6EB8D1E6-27EF-4637-BAA7-4ED5E1875D77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79746d6c29adc2aa4d2db7768078a80d1177a4bb","datavalue":{"value":"1248.68242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165956$4BCC3C74-3707-46A4-95FE-FFCA8C86C7EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3114a9e7c18fd9d37962020c44023cd148b8085d","datavalue":{"value":{"entity-type":"item","numeric-id":215098,"id":"Q215098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165956$E728B77E-0AED-46A9-8FF9-401AE73DB5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bd2ccad443c7abc989928f6e000b315d9b1786e","datavalue":{"value":{"entity-type":"item","numeric-id":268259,"id":"Q268259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165956$8E96E2AB-B0F4-42E0-80B8-AD8FA8E35B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac2c2a227d28a236f9023d4aef4cfb5c991709ef","datavalue":{"value":{"entity-type":"item","numeric-id":281603,"id":"Q281603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165956$BFDEB2FB-7DA1-4D9D-8421-EF29BC7A8D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2dca00cf5e3506d17c2986004891f80ecd82aa0","datavalue":{"value":{"entity-type":"item","numeric-id":314817,"id":"Q314817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165956$96000309-5129-4FD1-9C85-EE071117417A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab32e99fedf2a409351a0b6b4a08c5ad35e44985","datavalue":{"value":{"time":"+2012-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3165956$79645CB2-2E7E-47EE-A3A8-17D3BB8CDF5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3702f4e3668b4a61156b885cf5bdbb190be0d073","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_58d1.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3165956$4BE7D05F-6D6B-4E70-AB63-8AC62D30B907","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165956$E158E67E-1697-41EC-853D-5DEF79E981F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165956$C9BC74E0-BDA4-4E94-9753-218BFE8AD0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165956$53DF6361-2A93-4191-ABCA-065DF4F59EC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e63054122f2d90abc7869a949979e60cf786e0f","datavalue":{"value":"6096486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165956$068D2B88-5D69-4063-B36C-AA2F4D382E90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3165956$3A5707D7-A2E4-4166-9228-F4F242AE0549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2348752ed9ac41037aee58c1d70ac8d0decfe670","datavalue":{"value":"3-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3165956$BB8BDCA3-87D4-4AD7-BF24-7324EBB9E8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cacdabb3919d933795f90447bedf4f52b681855","datavalue":{"value":"random","type":"string"},"datatype":"string"},"type":"statement","id":"Q3165956$D0DEA1BB-D00A-40C3-B967-885A1DBE94F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e9df5f6f5000b0a9065b89a898b5d7f1ccfbfe","datavalue":{"value":"threshold","type":"string"},"datatype":"string"},"type":"statement","id":"Q3165956$16081486-9DD2-45DE-9BE4-8CCF24446D33","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":"Q3165956$B13EEC19-9ED3-45AE-A9BF-477A2A8C3FF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9d93c5b0922560664d8f970b403ca6934738091","datavalue":{"value":"W1937525114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165956$92C847C8-B427-4D65-BB00-41DCF248E1C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f837fd96b1f34a777ac9897c466a0886cc97877","datavalue":{"value":{"text":"A new upper bound for 3-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3165956$A9CA8F19-5737-42EC-A85F-35AC1514CF57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f86ce9d974d9b769a6c223bbf4083cac0e634197","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2008.1750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165956$714EFC23-F752-4A68-8E24-E96C9CBDED27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838fcd644262926d232c9086f8a836aa80f273e9","datavalue":{"value":{"entity-type":"item","numeric-id":2271431,"id":"Q2271431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14614723883c1c538d4b5abcbd8ff9b9714c9397","datavalue":{"value":{"amount":"+0.9418929815292358","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":"Q3165956$89074D94-DFDE-4056-A817-21D05DB22010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"031e6c39e115bfd1a95644f717cd6b98469f9bac","datavalue":{"value":{"entity-type":"item","numeric-id":4375776,"id":"Q4375776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c082d8ffb451c773773812fbabd4537fea1796b6","datavalue":{"value":{"amount":"+0.9057381749153136","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":"Q3165956$206F34AD-FD61-4598-A211-7AB329583076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71c098662167eb9d951535cc3eedbf0aeb2faa5b","datavalue":{"value":{"entity-type":"item","numeric-id":4511484,"id":"Q4511484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a119d7c6746e1fe905de7936903bb5fe9a9ee87","datavalue":{"value":{"amount":"+0.8942875266075134","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":"Q3165956$32412654-6142-4B43-BC2B-2294BDA80BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcbd397a9539527abb83715591f0f68c9062dcf5","datavalue":{"value":{"entity-type":"item","numeric-id":4862742,"id":"Q4862742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"894a403b56ce9fdfe57b35e9d401d70a0ebdc894","datavalue":{"value":{"amount":"+0.887212872505188","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":"Q3165956$BA053C2C-062F-4F98-BE7F-E09547338330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f2540bc8b97f56c253aa9435064a9560409aaf2","datavalue":{"value":{"entity-type":"item","numeric-id":2741515,"id":"Q2741515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3de3876ac4182d51d7bb4216680d56a3172f090","datavalue":{"value":{"amount":"+0.8848894834518433","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":"Q3165956$E73517F0-95F7-4F85-80DE-734F2444362C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new upper bound for 3-SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_upper_bound_for_3-SAT"}}}}}