{"entities":{"Q2897996":{"pageid":2908721,"ns":120,"title":"Item:Q2897996","lastrevid":84931529,"modified":"2026-06-03T05:13:24Z","type":"item","id":"Q2897996","labels":{"en":{"language":"en","value":"The worst-case upper bound for exact 3-satisfiability with the number of clauses as the parameter"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6057336"}},"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":"Q2897996$B7CDE432-D1DF-4D2A-9761-2D824A4D7BE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"207a3b0926f9efa3433b7eea79fee3edb964e9e2","datavalue":{"value":{"text":"The Worst-Case Upper Bound for Exact 3-Satisfiability with the Number of Clauses as the Parameter","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2897996$C696785B-F0FA-4049-B9E7-C8E5D460EFD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5aa86eadcab783fd27abb0fd6d98c513ccd690f2","datavalue":{"value":"1304.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897996$EB208FBC-20A2-4C12-AB3B-1F7F30F83F9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"246f6ded6fd23edace1de737e66da25335350e0d","datavalue":{"value":"10.1007/978-3-642-29700-7_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897996$603D5633-5552-4A36-863F-59FFE2B6108A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fe4085960916936e2fd7a18a6fa3560a35aed1f","datavalue":{"value":{"entity-type":"item","numeric-id":474509,"id":"Q474509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2897996$B82415C4-6038-4B26-8A82-A28D364753C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"548ee01e6e2557dd86cf6bf3cb9bb8e81c8401fd","datavalue":{"value":{"entity-type":"item","numeric-id":247886,"id":"Q247886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2897996$EBABF1DB-0857-4004-8372-D3C4D1F8CBEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87148b6b26f6b5e5442673b325db5c754d79d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":2897976,"id":"Q2897976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2897996$3A96C354-6AAD-4231-850B-120B5BF10908","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe89deaa1ca0e49e45cc01dd05640dfc255fa677","datavalue":{"value":{"time":"+2012-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2897996$B7229D15-A5B9-4793-8683-BE58BD5B2ED6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897996$CAFA0610-9A69-4830-9A0E-51C534E238FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62ee1115013b5be2301ed7782ab766e9be2de858","datavalue":{"value":"6057336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897996$AB777E43-64C2-4F7C-8D66-D873E3B5CCC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c1d297d696ae265c1a95c05ee0c1c30a286f1a","datavalue":{"value":"X3SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2897996$A42D7BFE-AC7E-41D5-9934-7D2021D83117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"817f91d754a6618dd027e0d851a1fc8b7cbc7134","datavalue":{"value":"upper bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q2897996$8C7B2614-AEEB-46D5-9B19-54300F1A986F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba48612399fee59631e9cb955dde3f5bafbd6068","datavalue":{"value":"worst case","type":"string"},"datatype":"string"},"type":"statement","id":"Q2897996$3C21A377-CF97-4195-8713-7F32A2CCAB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11b0086dfc3326de16c82f373c1b54d55b80cf1f","datavalue":{"value":"connected-clauses principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2897996$6012C50B-4D5B-4F99-9129-91045E43E328","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":"Q2897996$FF4A8D15-D591-4860-929E-A768BFF40164","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5451377b3ee2516aa516536c9b322b34f6848f3","datavalue":{"value":"https://doi.org/10.1007/978-3-642-29700-7_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2897996$A5DD1894-15A6-4616-8C86-B06C48B1BD37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27453c4b750e35668928f63ad9fe252013bae1b3","datavalue":{"value":"W160705700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897996$7F41221D-51FB-4D20-91D5-8BAB36545989","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"501efdd6431b5a19076722dc325d27a324763638","datavalue":{"value":{"entity-type":"item","numeric-id":2577590,"id":"Q2577590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b2be596c8dd431fea09f580d926bcf4ba7d10c","datavalue":{"value":{"amount":"+0.8632862567901611","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":"Q2897996$22BF567D-C297-4B2B-AFBC-989603486402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e020baa285480e1d6376d4ef1a0f52fe495bf60","datavalue":{"value":{"entity-type":"item","numeric-id":1045885,"id":"Q1045885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d8ca7e8267103e5a59b6f5827b01a34c3f185d0","datavalue":{"value":{"amount":"+0.8426005840301514","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":"Q2897996$C0EF5FA7-86F2-473E-BB67-5D65EE2D8C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9986e02c5aab6f5268df740b8a4e3c1aa1577d5","datavalue":{"value":{"entity-type":"item","numeric-id":1777401,"id":"Q1777401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7847d9c032f8332b0181e5f373aff6868888a372","datavalue":{"value":{"amount":"+0.8317195177078247","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":"Q2897996$F47DD37D-A77F-4C73-BFFA-3713E5FB83D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e69c1864d8d72ba106a26af3be9f669bbb1df736","datavalue":{"value":{"entity-type":"item","numeric-id":1770407,"id":"Q1770407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016eafa0fba60b80a467a82a67245f6ef3c819b2","datavalue":{"value":{"amount":"+0.8316229581832886","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":"Q2897996$21FCB38F-CAD6-4A69-A1CF-1136244FC27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26eb4a149e3c8ff18b73f04ba8168f179abadb43","datavalue":{"value":{"entity-type":"item","numeric-id":1960406,"id":"Q1960406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0256a3d6391abf1a0104fe36bbeda9250a9426ea","datavalue":{"value":{"amount":"+0.8209439516067505","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":"Q2897996$E24050DB-C9C1-4AE6-8CC1-28E6F1D2A949","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The worst-case upper bound for exact 3-satisfiability with the number of clauses as the parameter","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_worst-case_upper_bound_for_exact_3-satisfiability_with_the_number_of_clauses_as_the_parameter"}}}}}