{"entities":{"Q3191968":{"pageid":3202676,"ns":120,"title":"Item:Q3191968","lastrevid":52096091,"modified":"2026-01-20T22:32:53Z","type":"item","id":"Q3191968","labels":{"en":{"language":"en","value":"Setting 2 variables at a time yields a new lower bound for random 3-SAT (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6347967"}},"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":"Q3191968$ED1F3D05-EA9D-403C-96E0-36DE049644B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0597cc9800d719de3413d3fa07c6488d26eeeeb","datavalue":{"value":{"text":"Setting 2 variables at a time yields a new lower bound for random 3-SAT (extended abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3191968$E93C122A-6B87-45EA-9534-C760DB0021DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7974d2ef12f1b56862c024b34b1a1689896041c3","datavalue":{"value":"1296.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3191968$DFBD166B-CC3D-4A28-B721-DE522196A98E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d28bcc9548b6ec8a0f26de74c9c9c6648faf860d","datavalue":{"value":"10.1145/335305.335309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3191968$6770E1DE-8AB5-4291-ADC8-C7ECFCE728ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e3dfcee4101e736ec6b1a49bc9bfd39d26caa5f2","datavalue":{"value":{"entity-type":"item","numeric-id":3191964,"id":"Q3191964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3191968$18D4BBE2-6F09-4106-AD33-96C072C89085","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-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":"Q3191968$CB45B7CD-7C1A-4BCB-9CB7-351D4C78384E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3191968$CA9ADB0E-692C-43B9-945B-6D26A98B7B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3191968$736671F3-D7F8-4100-B5B3-E1DF931C4B61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f2ba950c5c35e41a99d4710712de266db18f083","datavalue":{"value":"6347967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3191968$2BC6C46C-C13A-46C5-917D-BBCB7C285A8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"811c6e48c8527aad0374f54e7524c11ed95f7784","datavalue":{"value":{"entity-type":"item","numeric-id":1356725,"id":"Q1356725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3191968$2AE23FA2-931B-4965-BE7C-E54B06F0E4C9","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":"Q3191968$F8C92DF9-81B1-4AEA-9C18-F9D9B72ED5BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7923eb6449459be566a653ccd0dd94f78c48d6cd","datavalue":{"value":"https://doi.org/10.1145/335305.335309","type":"string"},"datatype":"url"},"type":"statement","id":"Q3191968$5D6FC28D-EB36-4F9D-B464-23E08ED92305","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a33acb71f196adb28d766a68b6364c0ac88595d","datavalue":{"value":"W2128782263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3191968$6FBB9D5A-759B-414C-9F8D-C145896238E6","rank":"normal"}],"P1643":[{"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":"7fac463598105a531618f04aac4ca2265946b24c","datavalue":{"value":{"amount":"+0.8758682012557983","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":"Q3191968$5E25BC75-631B-46FA-BA9D-389D8BAA7B4E","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":"ea6ef2c2a179e500562a9a267ed852a62da3ee7b","datavalue":{"value":{"amount":"+0.8684423565864563","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":"Q3191968$7F6ED0A1-251D-4883-BBDC-3DA44945D46F","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":"81386b741d25f93fd038184b7c0f9ad8071c3685","datavalue":{"value":{"amount":"+0.8681758642196655","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":"Q3191968$6E9BE14A-E30D-4D81-B2D3-0A1083DFAA3C","rank":"normal"},{"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":"e2b9a4a5d09085fc81bca81b69861aa37319b69b","datavalue":{"value":{"amount":"+0.8667868971824646","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":"Q3191968$8BA96520-1470-48E5-AE11-0280DCFB3B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab6960da7e50f78b8d3505d37f4c632463913d8","datavalue":{"value":{"entity-type":"item","numeric-id":5958806,"id":"Q5958806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"300392b7a826674376b3aae2deddfe371a051535","datavalue":{"value":{"amount":"+0.8645161390304565","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":"Q3191968$A0ADD2BE-C814-41BE-A4AE-2D7AB43EC5C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3191968","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3191968"}}}}}