{"entities":{"Q3507036":{"pageid":5536940,"ns":120,"title":"Item:Q3507036","lastrevid":50385386,"modified":"2026-01-13T22:52:01Z","type":"item","id":"Q3507036","labels":{"en":{"language":"en","value":"Improved bound for the PPSZ/Sch\u00f6ning-algorithm for 3-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5289359"}},"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":"Q3507036$CD828494-0A23-4A79-976C-4717AB5652C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a87930effe4f8778784183b5f340e44a70ecb4a9","datavalue":{"value":"1148.68474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507036$4B16C755-16CB-4329-904D-73626713008B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbce5e5fe01c6916b420949c487a1fd30acf1530","datavalue":{"value":{"entity-type":"item","numeric-id":3507035,"id":"Q3507035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507036$FD247C11-18C2-4E07-8724-0E3AD69DD6A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"356eea10e764deb786aa3952f426bffa667794bd","datavalue":{"value":{"time":"+2008-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3507036$1E25488B-9DF2-4097-B98D-1D27118FDAB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507036$21B18294-A145-4C0E-9917-DEBED85EC622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507036$FB5AE8E7-3370-4F47-9D90-0AB3B733721E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14423a2088451a18baa0714af1a31560fe574ee5","datavalue":{"value":"5289359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507036$5DEE822E-89E4-47A3-8C1D-D5E2EAEE8033","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b97a638f8dad0b3aff12533a4bff25a3a527d4a6","datavalue":{"value":"worst case bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507036$AD0F4E19-FFC0-4A02-AB37-BB4D0FEFBC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcbd25594f2e9531abadb5d4244db874fa247ba2","datavalue":{"value":"bounded resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507036$111AC899-21F3-4BEE-BD86-B0E119017218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3a3c9dda458cbde7f06311cdc571ed2ee0efc53","datavalue":{"value":"randomized local search","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507036$E22893D3-6165-4FE7-86C2-3140266C6DFF","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":"Q3507036$57DB2D77-43A4-4088-972E-49B7AE0852AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81b18cb622a4a775c0b99c238803070ba4c4c9d6","datavalue":{"value":{"entity-type":"item","numeric-id":5494936,"id":"Q5494936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c1ec90cca627433bb51109d1dd20a9273332d2b","datavalue":{"value":{"amount":"+0.9114990234375","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":"Q3507036$C633A32F-CCDF-47E6-BA0F-98828C0E65A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b20fdfdc2c368e5297429f50c2b835c9e83caade","datavalue":{"value":{"entity-type":"item","numeric-id":5167776,"id":"Q5167776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"049e1bc25be4a450d608c21f45765d5934ff52a4","datavalue":{"value":{"amount":"+0.8771435022354126","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":"Q3507036$ED4CFCB8-C38E-4CA2-A5AB-B9C5DBECC679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8835c75a3353a41a8a8393df3e88f7e8a3d44e2f","datavalue":{"value":{"entity-type":"item","numeric-id":5111139,"id":"Q5111139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3162fc9ca24c670dc2da92b9377feee999395d25","datavalue":{"value":{"amount":"+0.8752357959747314","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":"Q3507036$3B067950-6163-465E-B899-EF946318976D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae55f03e91faa89c1513c51814ace5855e4afc1","datavalue":{"value":{"entity-type":"item","numeric-id":4736839,"id":"Q4736839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8c08498f227b673e9b237293b43438fcfd207fc","datavalue":{"value":{"amount":"+0.8641119003295898","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":"Q3507036$731FDFDF-9932-45A0-8D75-4B38FE80DE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6394bae7d039a9946024a1021329482503113774","datavalue":{"value":{"entity-type":"item","numeric-id":5212800,"id":"Q5212800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e67f5ec36d9c5894d590dc0fda3b4e1c206299d","datavalue":{"value":{"amount":"+0.8462278246879578","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":"Q3507036$AC76BFA3-8FE8-4610-B473-8A9BD561420D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3507036","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3507036"}}}}}