{"entities":{"Q734870":{"pageid":736719,"ns":120,"title":"Item:Q734870","lastrevid":50785421,"modified":"2026-01-15T04:17:21Z","type":"item","id":"Q734870","labels":{"en":{"language":"en","value":"A new bounding procedure and an improved exact algorithm for the Max-2-SAT problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5614848"}},"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":"Q734870$F696C60E-89ED-4382-8192-DD68E88B64F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8f71b7a68241559d326e11ec7df9d3e97491a72","datavalue":{"value":{"text":"A new bounding procedure and an improved exact algorithm for the Max-2-SAT problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q734870$EEC98A8B-7FBB-49AE-A783-C55D278AFA1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50a3b6f3bbd6ce49e81b56fc32e831017d02d1f9","datavalue":{"value":"1179.90234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q734870$A42FF802-7B44-4561-8069-698EFB3092A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6d4c4ee662a66037f9db99ed3a9226399541c9b","datavalue":{"value":{"entity-type":"item","numeric-id":319871,"id":"Q319871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734870$3265EDD0-3493-4007-B4C1-BCCAB3294B9C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"add6fb6b993c46c88f8cbd1c0026e2e785c9381d","datavalue":{"value":{"entity-type":"item","numeric-id":70476,"id":"Q70476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734870$0E3B3FAC-7C26-4E72-9915-8D753C6D2C60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e9e9116570582aa7a438cfc412256eeb856027c","datavalue":{"value":{"time":"+2009-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q734870$F6B4DF19-36AC-4DE4-8FD9-E240CD7A8EB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6958ea3363ca9244e0da0201efd237a8410f9a0c","datavalue":{"value":"90C09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q734870$CB545888-D4DD-41FF-B526-68FDF7579C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"955a6ac68db8c67c1772255c707ed5eb1d2bad2b","datavalue":{"value":"90C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q734870$CB8BA44D-90CA-487F-8C3E-59A5C54FA1EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8e7bd7e51d5497fdb36d9faf243b6509008af46","datavalue":{"value":"5614848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q734870$83C24945-69C0-457A-96AE-268CD5D7BC75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c823b56192bce445b4b9ec3d99d959d2bc7a655","datavalue":{"value":"artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q734870$1090E447-4089-4815-86C2-797B62C4E72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q734870$FAA6E588-69F2-412D-A67D-F7D031C8F925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a333935da086cb77becd7a5a0c09ca5ece4acc85","datavalue":{"value":"Max-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q734870$799E0E9A-E44F-45C3-B5A2-DDF5FC604C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32b70193b15cfa9820eaa83513ddb2267d9b694a","datavalue":{"value":"branch-and-bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q734870$29FEE147-7EB6-4296-B21A-D255C5947E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8e00475554cb95f00d16db197d5817dede1318d","datavalue":{"value":"tabu search","type":"string"},"datatype":"string"},"type":"statement","id":"Q734870$EE283FDB-D25C-44C8-B744-210B62ADD5D7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"054bdc753160250e7a128ccbc7a9e886c58a34e4","datavalue":{"value":{"entity-type":"item","numeric-id":14538,"id":"Q14538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734870$7BB0950D-58A2-4EAC-B8C8-D8131F61D89E","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":"Q734870$CA2047E0-1906-4954-8D28-2A5319FD504B","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":"Q734870$D8093EB5-6E7F-4E0E-8BD3-4514182F2709","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1674a41cc4078ee93b782ec1e992c78576899ee8","datavalue":{"value":"https://doi.org/10.1016/j.amc.2009.06.043","type":"string"},"datatype":"url"},"type":"statement","id":"Q734870$FDCB9D8A-8285-4135-B6C7-D0BA6B5EBEE2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44b2d4ef0ef1efd386033a378781dfb87ebb6642","datavalue":{"value":"W1987470888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q734870$7C0B54EE-0AF3-4CD4-B351-F1919DF8B290","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9913c3d6332b578d806d53613cd3aa7349227e1b","datavalue":{"value":{"entity-type":"item","numeric-id":5931443,"id":"Q5931443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734870$2616B12E-D651-45A1-81DF-2E449252C72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cafda450208859e00ab0afd9f4ecf849dc9ea3f5","datavalue":{"value":{"entity-type":"item","numeric-id":933784,"id":"Q933784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734870$E19E8599-8A8B-4687-B98E-D10445CF39DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47614eb02f0bf4af90ccdbaabb6abfe86e3de0e9","datavalue":{"value":{"entity-type":"item","numeric-id":4511230,"id":"Q4511230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734870$792A1D52-B62A-4360-A9E4-3E5441B92F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafca812d9e4c7ca1ddc3a0fcf890183aad4d322","datavalue":{"value":{"entity-type":"item","numeric-id":1288467,"id":"Q1288467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734870$34D8A71A-54C6-4D1E-975C-6BE5CD7D4149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f702e63241ae3cec44129c54af92e0c696c2d13e","datavalue":{"value":{"entity-type":"item","numeric-id":5687265,"id":"Q5687265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734870$E42844E1-6E5D-4F61-9CBB-4432B219BB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd5ea09f62833227a24f79b59dd689805476109","datavalue":{"value":{"entity-type":"item","numeric-id":5897208,"id":"Q5897208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734870$072A6677-34FA-4CFE-BA91-0DC17D68BE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da69d408d134f58fe13d3ba2cb4e61fd8b8e5d8d","datavalue":{"value":{"entity-type":"item","numeric-id":4550772,"id":"Q4550772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734870$AFA98017-DF02-461B-AF24-567A04AAEB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ebcc88d0c1dd0a096a44e4885c667484a90257","datavalue":{"value":{"entity-type":"item","numeric-id":5710011,"id":"Q5710011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734870$342318F6-D019-482E-BF49-E1E3D55F56EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372062ab71daaf29e9e9d082cc69fa4e57387087","datavalue":{"value":{"entity-type":"item","numeric-id":4018159,"id":"Q4018159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734870$BEBE9658-B14D-4612-B115-6B7E37C9D6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f992e855d8b9b42f253fc7f7d98a5e06e39cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4369893,"id":"Q4369893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734870$41ECC25B-1141-41A1-BB1E-E84C6EE4845E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1fdd70152afb753231c7e4c51989421be2dcf0c","datavalue":{"value":{"entity-type":"item","numeric-id":5898782,"id":"Q5898782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734870$9147A098-49BC-4014-8E6E-CA7B2DF4E48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba42c04c0c9370c4835f24d6b91fe6aa0b99c412","datavalue":{"value":{"entity-type":"item","numeric-id":2426417,"id":"Q2426417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734870$126A53DE-1894-4104-9C9B-E4D8505FBEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e1d7890ae80069bd45cb528aa31476d56501dc","datavalue":{"value":{"entity-type":"item","numeric-id":4375770,"id":"Q4375770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734870$808781FF-E4D1-42B2-89CB-C9530C439D7A","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":"Q734870$BC4DE533-1227-4B92-9230-4F8106939E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e4f083b9b8c3cefd59525749074259a09a0360","datavalue":{"value":{"entity-type":"item","numeric-id":4737518,"id":"Q4737518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734870$0A23AA44-D3D3-439F-84D2-F6B46895F7E9","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":"Q734870$91F39EDF-FC57-47ED-9FFB-C13433093A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bff7146c4e88a23d48a2ab0f803f1877245e0a5","datavalue":{"value":{"entity-type":"item","numeric-id":2583777,"id":"Q2583777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734870$5A299D7E-DAB6-4BC5-882F-F74803F5B5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d05f8d70c4f55d406c248c1ed2ab022c781b88","datavalue":{"value":{"entity-type":"item","numeric-id":5491984,"id":"Q5491984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734870$76CE7A7A-7277-4775-AA80-676BCFC29BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ad1a47164deb3622cb0b530cbfee4eba10f69e","datavalue":{"value":{"entity-type":"item","numeric-id":2381330,"id":"Q2381330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734870$C94836F0-DFE6-434A-94B4-275A1FA21E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b0180e92e9be4b73b888efcbc0f3d739b5397aa","datavalue":{"value":{"entity-type":"item","numeric-id":5451459,"id":"Q5451459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734870$924ACA1A-8802-472C-AA29-B153DE1ABAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4f1e6ace06d9fb688766bacef86bd431bbb16b1","datavalue":{"value":{"entity-type":"item","numeric-id":812398,"id":"Q812398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734870$35BB03B5-FC7A-4912-8BB5-D3309E643ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17f914b3b2e5ce6f47adfd6df08658cc31687545","datavalue":{"value":{"entity-type":"item","numeric-id":5687275,"id":"Q5687275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734870$0C7DCE8A-EEFF-4E77-B789-4B2BA9D3A71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96b4c5384a2aa0d3275972f212ec4ca1824440f","datavalue":{"value":{"entity-type":"item","numeric-id":2457672,"id":"Q2457672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734870$1F2A5C52-2324-48D8-8CC6-39FA68E57173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9efabf5eacf4d67f1a521b551df0250faae68f89","datavalue":{"value":{"entity-type":"item","numeric-id":4314502,"id":"Q4314502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734870$772D82FA-A64B-481E-B54F-5F0031105B37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9bba2664cf95e31fa20312917e4747f67dc4c45c","datavalue":{"value":"10.1016/J.AMC.2009.06.043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q734870$E3C84FE7-552E-45D5-9EDE-F1B076B74E56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21b64cef7661e45ef48301978e45203d85ab3409","datavalue":{"value":{"entity-type":"item","numeric-id":4916231,"id":"Q4916231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ba1664fe068a4dcd80ece5b5c09eb17dd1c935","datavalue":{"value":{"amount":"+0.8632103800773621","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":"Q734870$B68FE386-8351-4841-A039-F1BDA0EAE91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e70bd23226c1d4b321d18bb5c88f82d0994eb3b9","datavalue":{"value":{"entity-type":"item","numeric-id":812398,"id":"Q812398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32ee938c4c9f553e70b3bb4befad180cf1e01f94","datavalue":{"value":{"amount":"+0.850348174571991","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":"Q734870$F3E0D050-E16B-4696-AECB-FB5DCC503E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77570455ac3c31bca24025c62ea37cb517c063bb","datavalue":{"value":{"entity-type":"item","numeric-id":3599157,"id":"Q3599157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b807b652ed03eecfb9081088398f4a7f5494c25","datavalue":{"value":{"amount":"+0.841099739074707","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":"Q734870$C2A9EB00-8DCD-4A04-9C4F-CD803ABCC03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27857379913b459266a370a37d4f3c45322e9093","datavalue":{"value":{"entity-type":"item","numeric-id":616992,"id":"Q616992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c83413704a5314de51844fa0d826720ba4e2c508","datavalue":{"value":{"amount":"+0.839593768119812","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":"Q734870$7D6C75BC-6F85-4DF2-9D0E-59BD04BC1906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118268bcb2efb9dcfffebdca687687ef3d23e906","datavalue":{"value":{"entity-type":"item","numeric-id":4500858,"id":"Q4500858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2418aa951b6977b06afd94e003655d51fce214a4","datavalue":{"value":{"amount":"+0.8315808773040771","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":"Q734870$761F8CAB-16A7-4E8E-9370-C37F24D54481","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:734870","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:734870"}}}}}