{"entities":{"Q3429015":{"pageid":3439718,"ns":120,"title":"Item:Q3429015","lastrevid":50065099,"modified":"2026-01-12T20:53:06Z","type":"item","id":"Q3429015","labels":{"en":{"language":"en","value":"Semidefinite optimization approaches for satisfiability and maximum-satisfiability problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5139035"}},"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":"Q3429015$F4C84446-3904-4D2F-8220-19C2C461C29D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2aa93768d3be3b40d0049c84b915248a01c0797","datavalue":{"value":"1194.90064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3429015$F7B48264-B42E-42D3-A07D-E2C989B3E239","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":"Q3429015$074716B1-01A8-4A6E-B437-BD31DDB3B5DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"999c06250c45be6695060c162af57ec5d0c04ef8","datavalue":{"value":{"time":"+2007-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3429015$EF8043BB-A45D-4020-8234-BBF2451B8415","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"747ca2a29edc80ef77db4b4376cee27cb80d39e3","datavalue":{"value":"90C22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3429015$D91C91E5-28FA-4A63-8D05-D827F684CACD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90b0270fca50d3dba0e22d1319d0111041f6ff15","datavalue":{"value":"5139035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3429015$6EB720AB-69E4-483F-A4FE-889169F12BA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc4837877785b4675d8ac1c6d4c911bcaf794e13","datavalue":{"value":"approximation algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3429015$F82535D2-8746-47B4-92BC-718BC1B23FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40a3b08a0713dda4edf5ce5a2ab364df3fd1ae9e","datavalue":{"value":"semidefinite relaxations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3429015$C2C28290-7E32-4182-B1FC-52D2D67E6277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61a2d48fb541f21ab630f52bde5d9eee09316db6","datavalue":{"value":"lifting procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3429015$8267855A-7F6D-4CCB-A671-19E69CC54776","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aba38666b847b4b6791ef188ff5703b737cb3f61","datavalue":{"value":{"entity-type":"item","numeric-id":16199,"id":"Q16199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3429015$5506FF5B-0B8E-4836-A1F3-BF66D5545942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f5c1fbd593c30b23585084ed7dc0b38aba15b71","datavalue":{"value":{"entity-type":"item","numeric-id":14651,"id":"Q14651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3429015$2222F17B-85F8-4DF3-AE72-8F18629009A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e07ac258d59c8e1ba77c20daae1bd8c4b666c30","datavalue":{"value":{"entity-type":"item","numeric-id":15887,"id":"Q15887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3429015$5C07A00C-A688-48C8-92EE-7B396E68B59B","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":"Q3429015$42DDE165-C963-4618-B474-C9CB84F9ADD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a94d23daa3b8845191a6e10205468f833b3a80e","datavalue":{"value":{"entity-type":"item","numeric-id":3109951,"id":"Q3109951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d1d6e61f548f40ab2d45a52b738222f3cf91a4b","datavalue":{"value":{"amount":"+0.8804346919059753","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":"Q3429015$D851FEB6-26C5-4AEE-8598-B3BD3829B4DE","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":"b0cc0b157a6b1a0ce57d16376434b4605f0ef8eb","datavalue":{"value":{"amount":"+0.8802189230918884","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":"Q3429015$CBD5C6E5-0657-46E2-B0C3-C54E7857B939","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":"11a9c71ef6e2f01cc58766b0ac77c4894bf5eed8","datavalue":{"value":{"amount":"+0.8785904049873352","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":"Q3429015$C4A75225-3896-44FF-ACC4-CF3CD9FA1903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d57392356f88b07d9d3675767879e0aff36ee8d2","datavalue":{"value":{"entity-type":"item","numeric-id":4550772,"id":"Q4550772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f22cd6ca01a5613f0bc4d05acb634809c343c1fa","datavalue":{"value":{"amount":"+0.8731855154037476","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":"Q3429015$5654838A-AD86-4171-AA68-84319009BF8F","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":"675d76ec3471d283ed5ce3b1ccc81b079698639f","datavalue":{"value":{"amount":"+0.8582592010498047","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":"Q3429015$7E60498B-E237-4B90-B6C7-250E2C64073A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3429015","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3429015"}}}}}