{"entities":{"Q3549613":{"pageid":5579517,"ns":120,"title":"Item:Q3549613","lastrevid":50532125,"modified":"2026-01-14T07:47:45Z","type":"item","id":"Q3549613","labels":{"en":{"language":"en","value":"Balanced max 2-sat might not be the hardest"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5485451"}},"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":"Q3549613$B8644374-8095-4B81-9645-399A375038D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5c2e8f3ee210b2bdf00091830d0ee49fbab91b2","datavalue":{"value":"1232.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549613$6257046E-8027-4CC8-B875-ACEDB92C9431","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbd0b695fb6fcafddaf81878c9443c3ab8191ffa","datavalue":{"value":{"entity-type":"item","numeric-id":626618,"id":"Q626618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3549613$162C9AFD-BD2F-48A8-9437-A69907194268","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77484ced932a8d47c9f27bcaa78dbdddfabe5abc","datavalue":{"value":{"time":"+2009-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3549613$8A2601DA-5BED-4CB5-AB9B-FC267600D107","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549613$73142D45-C64E-4B8E-A3F9-30895779D53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2d4f4e28fa9ca38421c473fcb6ba728a44de59a","datavalue":{"value":"90C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549613$A892C45C-C5B4-41A8-86EB-10A3C2629A4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38abe32c6da1c7e33e42ed2c82e655c81487ebdf","datavalue":{"value":"5485451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549613$2FA04DBC-F945-40C5-9BE0-4C6381FCB0A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d70d6a244cfa03235e49997be37131edf10c2248","datavalue":{"value":"MAX2SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3549613$47F45B64-1A39-4A6E-A8D3-D918BE16C5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc058f54aac0023b7543c366366b86bc4e72c56b","datavalue":{"value":"approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3549613$0FDBBA40-862B-4A51-86F7-404457D9D40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28e87839cad415e7f048972fae6717ad81b30e82","datavalue":{"value":"balanced instances","type":"string"},"datatype":"string"},"type":"statement","id":"Q3549613$8E39E7BF-0286-41AC-81DF-268C67B4E3E4","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":"Q3549613$C6D6C761-2126-496D-8820-0DDD0A7590AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"744d0704294660bcb5d94eb705cd7009c3114995","datavalue":{"value":{"entity-type":"item","numeric-id":1742374,"id":"Q1742374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fe36b0913f49a5ed2b0684abcac5008f5246420","datavalue":{"value":{"amount":"+0.8445613384246826","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":"Q3549613$05E24919-5079-4DF6-80DB-84E26B90E4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2622c2e55e82217f9a822d1233fdb294d1bffd31","datavalue":{"value":{"entity-type":"item","numeric-id":2802976,"id":"Q2802976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e1091c8f3b09f3568362ccf4ecf0671e441b243","datavalue":{"value":{"amount":"+0.8442214727401733","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":"Q3549613$8F35530F-9EBC-4D70-9532-18BB8C01CDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8e4990a61a87a039f0b743892159b68e1e88dcf","datavalue":{"value":{"entity-type":"item","numeric-id":4962636,"id":"Q4962636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a73ccd2349b91777d38b04772ef806b73cd0f30","datavalue":{"value":{"amount":"+0.7990534901618958","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":"Q3549613$876FA56C-D707-440A-AAB5-23D59B181C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bca183457030bd38418b6e21b77228816197eafc","datavalue":{"value":{"entity-type":"item","numeric-id":315529,"id":"Q315529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d650ea8024efd2dd93c0f8403ddcbb824331b61","datavalue":{"value":{"amount":"+0.7913607358932495","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":"Q3549613$DABFD78F-9CA0-4DDD-A1C6-C4CDB2690A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"414b093dbf7167bf328d30908db35c8b7e06a23a","datavalue":{"value":{"entity-type":"item","numeric-id":2988897,"id":"Q2988897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"039746149126201499817e65ebd4e812085d61ea","datavalue":{"value":{"amount":"+0.7912917733192444","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":"Q3549613$5586CFC0-D0DD-4E8E-A627-A8E315C5DC92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3549613","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3549613"}}}}}