{"entities":{"Q2446872":{"pageid":2457615,"ns":120,"title":"Item:Q2446872","lastrevid":51982649,"modified":"2026-01-20T16:41:58Z","type":"item","id":"Q2446872","labels":{"en":{"language":"en","value":"Semidefinite resolution and exactness of semidefinite relaxations for satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6287281"}},"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":"Q2446872$790E06AF-1D64-4170-87C3-3D770D95E528","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34c86e13ec271de59bf326905cce8bf360969e48","datavalue":{"value":{"text":"Semidefinite resolution and exactness of semidefinite relaxations for satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2446872$A6DEB45D-C5B2-4EF8-8272-BD562F511CDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a722159495bc481e707b25acb8c62339b8df9fa","datavalue":{"value":"1288.90059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2446872$4F188CDA-C595-443B-AB74-A2D0929B8E85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e235960f182004a599c9a7f79ea86e93cb5c943","datavalue":{"value":{"entity-type":"item","numeric-id":263183,"id":"Q263183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446872$3ACA0278-D17B-451D-B1C5-A96B77FBD58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c45d9d74036f5aa021c0af194127594fe3c1064b","datavalue":{"value":{"entity-type":"item","numeric-id":516797,"id":"Q516797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446872$9ABA5359-8738-4B21-A731-3FFDD0FEC2A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446872$61113F4F-7708-4ED6-A0CF-7DAB9BCA4086","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3041a7bd5c74727d19353b43fab84bf78332b1f","datavalue":{"value":{"time":"+2014-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2446872$98CC3142-F03B-42AE-A182-340DB1B69E32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"747ca2a29edc80ef77db4b4376cee27cb80d39e3","datavalue":{"value":"90C22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2446872$306CCB47-7553-4766-8F3B-E12AD5EBDFBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd27b9b7d802dcae0bbdff1e51677285a48d2c87","datavalue":{"value":"6287281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2446872$080EE304-12D4-4734-BA19-76D5CA4694FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2446872$E99ABB5F-C3C7-40ED-88AA-B70574585292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2446872$774F5E77-3781-4564-833E-8D7EFFFEE178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99ab07e683eeffa3b9bbc0e140df8e1ac146ced9","datavalue":{"value":"semidefinite relaxation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2446872$1A935ECD-D1C2-4902-BBDE-6D8986081861","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":"Q2446872$6859DD4B-CA82-4916-A838-B84376F4D92F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0bf23106d8760ffc5ed8a534dd210ed7145d576f","datavalue":{"value":"https://doi.org/10.1016/j.dam.2013.06.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q2446872$C5BDE29A-B951-4F4E-8E4E-09D800A04FFF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70c7a077004e36dd00057f54cab3d989c932e6e6","datavalue":{"value":"W2012205236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2446872$FD37DC60-EE7A-40CC-AF3C-B22C89256E6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af81d15ef1e065b302f38acf2cd39aa0759ed8a0","datavalue":{"value":{"entity-type":"item","numeric-id":2386349,"id":"Q2386349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446872$0D1EA8B6-17F1-44DB-8A8D-026AF88F295E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d926f1e4518301a2329a801d53d66cfb22f611ce","datavalue":{"value":{"entity-type":"item","numeric-id":4667097,"id":"Q4667097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446872$ACF4877A-D7E9-4DD4-BDC5-F3A8E04BB9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a8fac4076a061ecc2b568772aa12a70aa16d2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1774165,"id":"Q1774165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446872$FE82AEEF-F798-4124-A626-72B54370BC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21e203edc702663b3788eced6faacf64ae19b2b3","datavalue":{"value":{"entity-type":"item","numeric-id":3429015,"id":"Q3429015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446872$1AA8025A-5430-43C6-BAB5-63F87AF004F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d62969a053f5e4a3192f390e13acb76ed8a8ae3","datavalue":{"value":{"entity-type":"item","numeric-id":2643148,"id":"Q2643148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446872$9191CA13-2E1C-4240-A641-27A480C0479D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bddacd4c2d6ff1b013c28b7fdafa69d7664ae41d","datavalue":{"value":{"entity-type":"item","numeric-id":3515551,"id":"Q3515551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446872$0BF34D3F-B05D-4F8F-BC73-E8A027519703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab68c2d20da87a3d192241d21e343ae3abd73506","datavalue":{"value":{"entity-type":"item","numeric-id":636044,"id":"Q636044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446872$4255A0EF-7F50-4187-B34D-E2AEADB0C94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446872$5BA09ACC-C44B-49BF-9297-8A4521532C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446872$8A26BA1F-5A4A-4632-8E2A-4604DE4BDE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f53683ef323d99def8db920b583feaf053fe0f","datavalue":{"value":{"entity-type":"item","numeric-id":1100931,"id":"Q1100931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446872$C247F5F9-3610-404B-B1F6-91CFBF30B393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd2d94005cf638be560bebea9f4aaaa8555421d","datavalue":{"value":{"entity-type":"item","numeric-id":4255462,"id":"Q4255462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446872$192C657A-DBC6-4D54-810B-15C142ACA3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"049f3bf27b205c974ea9970372e009d2036b79da","datavalue":{"value":{"entity-type":"item","numeric-id":1861907,"id":"Q1861907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446872$8EF2CA4C-AB06-432B-8785-1CDDD925E9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e700d20747298473b2452ba08c9b1f21a7c2a70","datavalue":{"value":{"entity-type":"item","numeric-id":1977751,"id":"Q1977751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446872$466D376A-2B28-4F17-A7AB-E57D9FC39296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bcd39d4d572ce00371c8bcc7e5ce715cd1a257","datavalue":{"value":{"entity-type":"item","numeric-id":4807964,"id":"Q4807964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446872$CD41FD61-0FC2-4376-B0A3-BDC88E459A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446872$AD5ED949-35B9-42CF-8AE2-A9CD635D9CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a20079c242949be9c89a84db7394eb646f443f1","datavalue":{"value":{"entity-type":"item","numeric-id":2784435,"id":"Q2784435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446872$FBBD407C-1E46-4445-8FB3-3C07CBCF980E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9cdd6fd418713cba212ef574eac4b09e717cd04","datavalue":{"value":{"entity-type":"item","numeric-id":5292090,"id":"Q5292090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446872$26B708E9-82E3-46F8-A000-2253754785A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f37d6fb50852bfe397f1c73e9678e22558cfe9b","datavalue":{"value":{"entity-type":"item","numeric-id":3399426,"id":"Q3399426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446872$1CDDF985-4629-4DCC-A452-75589E429D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98bea2faf0f1e7139247049b725eb54de257627","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446872$E8F48E69-6E6F-47A1-96CF-1443A60EC2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446872$55000BFE-C4DA-40CD-A5BD-A107CD2A1902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b9e3022395949324b21e65a8d53700b77533ff5","datavalue":{"value":{"entity-type":"item","numeric-id":5713720,"id":"Q5713720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446872$1FDA2E21-727D-47B1-AAF0-C8B94987AD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216c74f932f8f24872134eb7306b34c00b8a7d7c","datavalue":{"value":{"entity-type":"item","numeric-id":944728,"id":"Q944728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446872$8445DC7E-1A4D-44E2-B756-0A5BBC8C17D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"057564209ace097ce1f9390f8e8e48e18dc9c821","datavalue":{"value":{"entity-type":"item","numeric-id":5896753,"id":"Q5896753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446872$E2B3B871-BD28-40D1-8194-02EFB096651F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d290c708eff18d223f56667ac779e707a4113a66","datavalue":{"value":"10.1016/J.DAM.2013.06.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2446872$BA2F8216-A108-47D2-9272-4FAAC25B756F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987d16dbfd0e9834cf827268a554315944942526","datavalue":{"value":{"entity-type":"item","numeric-id":3515551,"id":"Q3515551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c3365b5ef6a73fdbf601b6ce217b5eb2d34cdf8","datavalue":{"value":{"amount":"+0.8219534158706665","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":"Q2446872$CA69B891-9A4B-489C-B6D9-A5D6E92A7599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf919922dcd0e8cbc58b95e8474439f3e1ae44c6","datavalue":{"value":{"entity-type":"item","numeric-id":2386349,"id":"Q2386349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"435d9300c9a28fb558c439b414c1d0c805430b04","datavalue":{"value":{"amount":"+0.8125808835029602","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":"Q2446872$BFD33D17-EBA7-4315-8766-E3B161FDDB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f98fffcd84dbf671ba0e249d63dda9b2d4aa18b1","datavalue":{"value":{"entity-type":"item","numeric-id":4667097,"id":"Q4667097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b48237b9be50de926c7db6cd1d3204a03b055e","datavalue":{"value":{"amount":"+0.8100883364677429","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":"Q2446872$A62CF828-753C-4C87-B1A1-11C62EF90ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c27740857f4367b539b947207f0e80486878be2","datavalue":{"value":{"entity-type":"item","numeric-id":1774165,"id":"Q1774165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3778ce960b91a54229fb7af786b6e9f5bd99c5bc","datavalue":{"value":{"amount":"+0.8096268177032471","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":"Q2446872$A6F636B3-4DB2-4605-9F4B-A80AA583C3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30e0bc418ba2f91e7adcaa060eba1455423e194d","datavalue":{"value":{"entity-type":"item","numeric-id":1977751,"id":"Q1977751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c03be7a702069ab927d62bb421acee110b55eb17","datavalue":{"value":{"amount":"+0.8034947514533997","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":"Q2446872$FD34BC15-1F93-4D1A-88B2-789887913C0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2446872","badges":[]}}}}}