{"entities":{"Q4916231":{"pageid":6945812,"ns":120,"title":"Item:Q4916231","lastrevid":51698471,"modified":"2026-01-19T13:20:28Z","type":"item","id":"Q4916231","labels":{"en":{"language":"en","value":"Exact algorithms for MAX-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6156040"}},"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":"Q4916231$0778E84C-557E-499B-BF75-65D7D6E26EAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b1e552d8fa40cf2ab264210ae9c5671f414637d","datavalue":{"value":{"text":"Exact Algorithms for MAX-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916231$30841778-DD3E-40B5-BBB0-E5DDD04C754E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81055d08f878118b44a62d534cb9ac56810fbe41","datavalue":{"value":"1261.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916231$A9A8310B-D696-4B8E-B579-AE265DB274FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"562e1f727aec9550d8849b2c81a4e9c7b29f6029","datavalue":{"value":"10.1016/S1571-0661(04)80663-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916231$141447E7-A3EF-41F8-B097-439750883B74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e700489602a8ed4aef857bd8ec7795b49b68f1a4","datavalue":{"value":{"entity-type":"item","numeric-id":812397,"id":"Q812397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916231$20206226-0B76-4F7E-8B4A-8C3664F4F4B9","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":"Q4916231$76FAC4AB-8A4D-424B-9966-EF0569626F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19b168abea7db04055f6cf4c99009d9572497bb1","datavalue":{"value":{"entity-type":"item","numeric-id":1617008,"id":"Q1617008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916231$3F88B7CC-B0C5-4AF6-8684-99B8ACAE8B4E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916231$4B980616-3EEB-40C8-905D-16D694D78B45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916231$BDF5AF0C-6F97-4EB9-8C87-208D9A4CB817","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916231$51D257EE-1C7A-4A8F-9CF6-D6DFCF656F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916231$437B11CC-8B36-4E3A-9839-2743CD1D3994","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb5bdbce2e83fb247e8599e504ef1305c64eb771","datavalue":{"value":"6156040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916231$D6AFE9C7-714B-46F9-80F5-1318C247EC32","rank":"normal"}],"P1463":[{"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":"Q4916231$9493246A-7C22-45C7-82F4-1F85A2ADDEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8159bf0a919a0b8aef1e30e19d8f9c6cbe3ba79","datavalue":{"value":{"entity-type":"item","numeric-id":16793,"id":"Q16793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916231$A1D1D66C-E448-4FE3-A531-AC14BECF1553","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":"Q4916231$F72BB135-F118-4382-AA1B-F31009235BE3","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":"Q4916231$06804681-126C-461A-BAC9-B53D6BBF5886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a2828087f78007f73cfacbaff90bfd2fa5160e","datavalue":{"value":{"entity-type":"item","numeric-id":5713725,"id":"Q5713725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916231$95B699DD-E528-4C82-B2B2-575E1DACFC40","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":"Q4916231$231E2F17-D860-4E24-89A8-BF153866F8EF","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":"Q4916231$29892EAC-702B-4420-B9C2-776590BF895B","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":"Q4916231$AF63D891-1760-47F5-B68D-38F0B1C35CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be6989157e41c18f8557462896243611dc2b1c55","datavalue":{"value":{"entity-type":"item","numeric-id":1853552,"id":"Q1853552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916231$FC4C3486-2198-45B9-AC2A-4991860F27CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916231$F7D124F4-601E-4011-942B-A400B4CC154A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916231$77169649-C435-451D-9A60-F08235632465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd9dca378e2837fcc1caf4cfda7d5448dbdf8b8","datavalue":{"value":{"entity-type":"item","numeric-id":1408377,"id":"Q1408377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916231$02FBBC87-83CD-4EC5-87D8-7AD3D3DB4266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c473de4a003041033a704960e70418f4ff64d5","datavalue":{"value":{"entity-type":"item","numeric-id":753502,"id":"Q753502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916231$6A063219-C55D-4D90-9E94-C6A869B8FC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a46e11264b888323b8f511c53cbbfccda455c3","datavalue":{"value":{"entity-type":"item","numeric-id":4501522,"id":"Q4501522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916231$1A7302DA-8C87-4F06-A269-C20DBBA261C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999d4bb2b62b8aa43b4cfd703130090b24b20a1d","datavalue":{"value":{"entity-type":"item","numeric-id":1581847,"id":"Q1581847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916231$2B6BD1A6-310C-4944-B5ED-5418A2586B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3cf7cbf24f5ad1e6d8cb76fb93a3b15d7aa5c2","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916231$B6722246-4627-4560-A4D2-22041641E7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"660a2fb6d6e604b7e9682fe686b930c6f89648aa","datavalue":{"value":{"entity-type":"item","numeric-id":4242660,"id":"Q4242660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916231$F5C0CA18-3843-47DA-88E2-BEA7776C609E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"671a4409a2433a335f15aa4e2d3714ed06fd49d4","datavalue":{"value":{"entity-type":"item","numeric-id":4500858,"id":"Q4500858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916231$40107F6F-87D7-498C-8EAF-35F116A4C42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579e0d6bf52c031700c63266c0f54762a85454d3","datavalue":{"value":{"entity-type":"item","numeric-id":3439118,"id":"Q3439118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916231$3A9E3033-0466-4DC1-B44E-84099B25774F","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":"Q4916231$1FFE87AB-A915-4925-8535-DE1505BA17C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d006bf47160aebc375e6e941838eea95601e27b3","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80663-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916231$AB1012F3-205A-4B58-A908-CD070D3643DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3238767c1ac5bccc05c113df626480506c276197","datavalue":{"value":"W1993837454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916231$FEAA3AD7-2175-4504-AA08-0976C3038B8E","rank":"normal"}],"P1643":[{"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":"a3662a5543a53d9294bee51ea0ee4a37b337a0b5","datavalue":{"value":{"amount":"+0.9038976430892944","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":"Q4916231$4F59E64F-9633-4993-A671-BEB5E7313227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"806658dd27887f5afd7665a0d7e1085365cc49e0","datavalue":{"value":{"entity-type":"item","numeric-id":3044338,"id":"Q3044338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ce5197a4bda73b9f991d38221069bb00b7d5600","datavalue":{"value":{"amount":"+0.8994327783584595","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":"Q4916231$CE9E02C1-253E-48CC-92FF-6F555A2B0734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d117cc0e5847f3353c25b42295fbb040d2cd09b","datavalue":{"value":{"entity-type":"item","numeric-id":4938646,"id":"Q4938646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63e33c8f857be8ed20fe33ae010a1e888fcf888a","datavalue":{"value":{"amount":"+0.8988250494003296","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":"Q4916231$D2534F12-BE0A-4A09-B12E-FA4B5C8FE1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6d2df80563fa92976ace146e641f9bedd43eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1878397,"id":"Q1878397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7ae487a415e185af9b02a7d3406adcd86a3c08b","datavalue":{"value":{"amount":"+0.897223711013794","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":"Q4916231$E6A59C0F-80EC-4439-8B02-104F5109DCBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d2cf31863a65248b4191a73901a238100674069","datavalue":{"value":{"entity-type":"item","numeric-id":1408377,"id":"Q1408377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9dd03a17c67ee67ac1554298e975ec5583985f7","datavalue":{"value":{"amount":"+0.8937996625900269","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":"Q4916231$5FC58D54-702F-4016-942C-8688C3C31D8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4916231","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4916231"}}}}}