{"entities":{"Q3637180":{"pageid":5667086,"ns":120,"title":"Item:Q3637180","lastrevid":87537191,"modified":"2026-06-04T11:55:50Z","type":"item","id":"Q3637180","labels":{"en":{"language":"en","value":"Exploiting Cycle Structures in Max-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576309"}},"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":"Q3637180$D8FBDB75-1910-481C-A4AE-CF1B1F72ECE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60ce62744294305d0cc792e722efa19f1dc3e577","datavalue":{"value":{"text":"Exploiting Cycle Structures in Max-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637180$7DAEE033-79BD-4877-8756-5692BC520E07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93253d441906787e128672ab3c94167448c933f3","datavalue":{"value":"1247.68256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637180$6182274D-B01D-496B-BC9E-DA7D720BD57C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9e31662537010e0001fb65da5ba4eb3e010c078","datavalue":{"value":"10.1007/978-3-642-02777-2_43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637180$B947A3B9-835B-4714-B7FD-94F3F207BAC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7986c1376ee4e29177d07fbf4a702c20a602731c","datavalue":{"value":{"entity-type":"item","numeric-id":337151,"id":"Q337151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637180$7C02BE9E-E5B6-4442-B2C2-06661BB83768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"625e9c8b1a752241c65bb5aab85211ac194e9690","datavalue":{"value":{"entity-type":"item","numeric-id":606911,"id":"Q606911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637180$1693310A-CC9A-4BC7-80C1-25E115E4176F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff458770d9b596c807ce5cdc55af95dd28a08877","datavalue":{"value":{"entity-type":"item","numeric-id":606912,"id":"Q606912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637180$0DE2E3B8-D81C-46D9-9E0E-226212BD8DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1386759083fa06706fff167aac6c7a385c25af60","datavalue":{"value":{"entity-type":"item","numeric-id":505971,"id":"Q505971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637180$5B0638BA-ECE7-4AC9-BC46-4F6FB9B5C19C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637180$03952A7F-9D37-47C6-B513-B9988812CF94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94035e3f051d88ae4ad052aa0269faba85e94c5a","datavalue":{"value":{"time":"+2009-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3637180$2FE20CC0-4F4F-4743-8B10-02218A2FBEB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637180$DB1D1CE5-03F2-4BF5-AA94-B0976325A366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637180$9078FB0E-68B6-4CD7-BEB6-A076380B3516","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a209b7a4fbc1fd167ca9a1844c4a8babd9cc22be","datavalue":{"value":"5576309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637180$2B9D4BB0-BFFF-4593-AAF7-F1E7031F9289","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"46bcd62f451878e06535242e19e6d27106dd0716","datavalue":{"value":{"entity-type":"item","numeric-id":21711,"id":"Q21711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637180$0CAFF3D2-65B1-444B-AB9B-D2EF12092CFD","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":"Q3637180$313A98EA-B14D-4DC1-9C1D-268B279C0315","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"754b5258132d134cbd8ba71e73da41aef1549d01","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02777-2_43","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637180$F4C2CB8D-E8AD-4DF0-BDC5-33F1934FD2C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2445aacd99da62a130e6b6d8fabcc4b9e6d7cf0","datavalue":{"value":"W1607011516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637180$BBE4179C-8B3E-4113-8CD9-427D94B2C695","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"195e255bdeaf4bf846130abcc4540de6bcf13af0","datavalue":{"value":{"entity-type":"item","numeric-id":1028942,"id":"Q1028942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637180$B095C2D6-FFF1-45F8-A5AC-DC588C5A4356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdff66a949bf878c168f94d05d31187fd6209bb1","datavalue":{"value":{"entity-type":"item","numeric-id":3523061,"id":"Q3523061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637180$CABA5249-000B-45FF-B0D3-4FFBDEB9C2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc77cfa9c1b3e7984bfb9903c5906469bb7f0445","datavalue":{"value":{"entity-type":"item","numeric-id":3524230,"id":"Q3524230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637180$B027C6B1-EB6B-4F49-83E9-B0846C7F9BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d9185421849e56243989a0374734d81cc0501e","datavalue":{"value":{"entity-type":"item","numeric-id":2389619,"id":"Q2389619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637180$FB5A0D86-ED6E-41C9-AD14-8EB213030F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443cd473ebce78c7ad31f34ee6d5d983cef28bd0","datavalue":{"value":{"entity-type":"item","numeric-id":3524192,"id":"Q3524192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637180$0687AD5F-3DA7-4628-B9BC-76C8F8FFB187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6aaa89ed985707f250206a8821c212cd2e6e5dd","datavalue":{"value":{"entity-type":"item","numeric-id":3624095,"id":"Q3624095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637180$89ECBA4F-39DD-4803-AF5D-58F7AADD1F68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f2927f16985dd2c74662cffbdbad6781b22464e","datavalue":{"value":{"entity-type":"item","numeric-id":4632177,"id":"Q4632177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a01f542c409eb7e6a0d63c52f75c2a417effe978","datavalue":{"value":{"amount":"+0.8735641241073608","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":"Q3637180$1E975F62-5387-407F-9429-4B94A2CC9508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c8309502e54e970688f066cc50c761a383407f8","datavalue":{"value":{"entity-type":"item","numeric-id":606913,"id":"Q606913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"044c7b52773e850c0a58de013f1485d49b260f73","datavalue":{"value":{"amount":"+0.8607140183448792","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":"Q3637180$8D069CBB-EFDD-46FB-9F7D-F79C877376D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab6b9734cc3d42c614089db151b583c27a3a712","datavalue":{"value":{"entity-type":"item","numeric-id":3624109,"id":"Q3624109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"617a7eb9f7e5fd33f6841900954a851fce48dd99","datavalue":{"value":{"amount":"+0.7963091731071472","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":"Q3637180$0A330996-2F05-444B-8BFC-C5D55D3D3590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c526ce332ca4cdb81e3ee9f9a097b27647501976","datavalue":{"value":{"entity-type":"item","numeric-id":5015596,"id":"Q5015596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62d1265b6e452b4f5b1dc8091dfa5d2574fd189b","datavalue":{"value":{"amount":"+0.7955493330955505","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":"Q3637180$0E355CB5-83DD-44D1-9135-D4E30E438379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad85ccb96b4a36ede34393235d7c8933b5815ffe","datavalue":{"value":{"entity-type":"item","numeric-id":3624095,"id":"Q3624095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2545c82485e5634724bc06054e31381832499aa9","datavalue":{"value":{"amount":"+0.7936528325080872","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":"Q3637180$FDBD5FA0-1BE5-4101-BEBC-7001B0518DC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exploiting Cycle Structures in Max-SAT","badges":[]}}}}}