{"entities":{"Q2009185":{"pageid":2019927,"ns":120,"title":"Item:Q2009185","lastrevid":82516649,"modified":"2026-05-06T21:05:13Z","type":"item","id":"Q2009185","labels":{"en":{"language":"en","value":"\\(N\\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7137183"}},"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":"Q2009185$6C4F80ED-E0E3-4700-A6B4-479889F9371F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d743db33386207530b225af3df2ef01a676b4971","datavalue":{"value":{"text":"\\(N\\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2009185$39353663-85D5-4407-8B66-C042686E17CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a5e19320a62a05dae998ef0ef3dc04105929220","datavalue":{"value":"1483.68244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2009185$35D44C15-A669-46B7-9749-6B00DFB72067","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6b81631ddea3d609f862ae918fdd33b73b089f6","datavalue":{"value":{"entity-type":"item","numeric-id":2009182,"id":"Q2009182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$D311D8AA-DB14-4673-9B96-3EF83EEBCFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b534986868bdf4ef4ad873a4784197d22824176","datavalue":{"value":{"entity-type":"item","numeric-id":2009183,"id":"Q2009183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$2EC81B1D-0668-42F6-A600-E3F8AB3C2FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5607f46eb5324f89d8079b77c8c7c5f3472faeb8","datavalue":{"value":{"entity-type":"item","numeric-id":2009184,"id":"Q2009184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$921E4DA2-3569-4194-856B-0AF65F995E77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a94d1d6f5ae333511fea1192115f95b08e9c8fb1","datavalue":{"value":{"entity-type":"item","numeric-id":202524,"id":"Q202524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$6A9D5C27-6A19-40FB-A94F-F28367C764F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"73f133f99b84a733411ae0ebf88482c6ff8f08b7","datavalue":{"value":{"time":"+2019-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2009185$32FAF7C8-5188-4B6D-9D40-D73828363416","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2009185$E6DD8A72-08CB-4654-8E6D-CAD098477BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2009185$D21A9300-0565-41C1-ABD0-907DB23B79C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcaf0f73b98b4de32237ce25cfdb6dbe98951e7a","datavalue":{"value":"7137183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2009185$A5CA7544-0CA8-492A-A140-27C51E24C153","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f90035379f033d8c779548ef0daf0c9417d7c5a3","datavalue":{"value":"MaxSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2009185$59CE2B15-3D53-4CC3-A0B4-A283A34B3C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d6fcec8e546d133ed330fa44a395a65aabde15d","datavalue":{"value":"pseudo-Boolean constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2009185$C15DCC1D-4E41-4D11-8C3C-667E9574135B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86858b19e06e7f53cefb9a2372bf5b13d0adff66","datavalue":{"value":"encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2009185$055C6445-9ED9-437C-8DB2-3E2AC9CC4D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f53ca57c0d6f4612bcf8319e61973a78cc37ede1","datavalue":{"value":"modular arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2009185$B4537202-DEA1-4DEC-8A0F-BBF02F7BF808","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07e8aef8e80a4e891c5ae22a330c7c1633a08a5f","datavalue":{"value":{"entity-type":"item","numeric-id":19849,"id":"Q19849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$55097862-7A5B-4A2B-B843-38C318816C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$33F4DF72-4433-488C-8869-3CB426610157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0a77065fb5b3949d0a6963ef0f140900afd8e004","datavalue":{"value":{"entity-type":"item","numeric-id":32998,"id":"Q32998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$8E0AAD5E-B4EF-4F1C-A52F-BF48A3FA0A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$17F58CE9-6170-40A1-BDA0-54ACC6C72525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b4080854e6c3efd73caa0f3157d5ed5b72457336","datavalue":{"value":{"entity-type":"item","numeric-id":21549,"id":"Q21549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$25F3E98B-2C25-4875-8D4E-8F3CFE85D6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"93f1a2914044193bb2b0e667dc339cc00e256b71","datavalue":{"value":{"entity-type":"item","numeric-id":37197,"id":"Q37197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$7EAF2BBF-1E38-48B7-813F-0BB84AF1050C","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":"Q2009185$E6CCFA76-3E7E-43EF-A5AF-6C706E881FF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd68fdb57a3ac37247c9c352bc898aca02a7534a","datavalue":{"value":"https://doi.org/10.1007/s10601-018-9299-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2009185$98CD5F16-7402-482A-982B-FE8779F8E92A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"773d5f0e485c7a18ee9876b1614b27372555c597","datavalue":{"value":"W2909188079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2009185$20235F39-7940-44B1-8429-4D3D43334F88","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25c205dabe4d2ea3c84f1f47dc03f57ce5a6c866","datavalue":{"value":{"entity-type":"item","numeric-id":3143578,"id":"Q3143578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$C8A05F3F-907D-4227-BEC5-23F0C8CBCF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0a4b36fb141a27b5b2cd7a25ac781aac1f46f0a","datavalue":{"value":{"entity-type":"item","numeric-id":5493659,"id":"Q5493659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$5F73FBF7-3B58-413E-A846-30CF5A506FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704665b56e53536dcd69ac6d4918592980b87809","datavalue":{"value":{"entity-type":"item","numeric-id":3637178,"id":"Q3637178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$8F592269-1C95-4091-BA37-7EF57325DE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22b9cccfc903cada9d8349f0c04cc790bf17473","datavalue":{"value":{"entity-type":"item","numeric-id":360042,"id":"Q360042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$76ECBDC9-6E6D-4A63-A16E-2A7CA941672A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4a3bf808aa5ef496afec981d0bd4d91c12c920","datavalue":{"value":{"entity-type":"item","numeric-id":538318,"id":"Q538318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$BBF0A588-5D72-44F4-812D-41F314C9A83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16df9ec1825759a58b697f194e42d197a411b9e1","datavalue":{"value":{"entity-type":"item","numeric-id":5326472,"id":"Q5326472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$E85AD4FC-77C0-4CD1-AC7D-BF656AA75081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c83eb0bb9c863c487d30856ad78d111fa5c91a","datavalue":{"value":{"entity-type":"item","numeric-id":5897193,"id":"Q5897193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$A383C53C-D7CE-470A-9676-F2B39BE7E316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdfdc3eaa2f6b84752ed0d70637ff5b1bc7bd9f4","datavalue":{"value":{"entity-type":"item","numeric-id":3429162,"id":"Q3429162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$9FA87939-0208-471B-BE84-DA0C085206E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed237118c4d9ee9debbdfc08007731301d82af29","datavalue":{"value":{"entity-type":"item","numeric-id":3637167,"id":"Q3637167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$1D19E3D1-E875-4DF8-B8C0-EB0963A5C3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6894bc3ca4e6a05b915af9425c4495cac6902469","datavalue":{"value":{"entity-type":"item","numeric-id":3000648,"id":"Q3000648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$AC101A8D-E235-43A6-92BC-DE7163450BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17cacec2890c36ff273013586f5d98141e41486f","datavalue":{"value":{"entity-type":"item","numeric-id":3066098,"id":"Q3066098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$73523559-8499-47CE-BA29-D09D3DAB95F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$1FE50476-5974-4A52-9490-78FBF42B7EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6621af1112e146c4efd7765447f3c25a8765a85d","datavalue":{"value":{"entity-type":"item","numeric-id":5326460,"id":"Q5326460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$14771187-11AD-4A05-B6D3-110C8ACCE518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8828146480c327d9a17971b5fa330d92b4921c90","datavalue":{"value":{"entity-type":"item","numeric-id":3429154,"id":"Q3429154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$BFBD39FE-ED0A-4008-98E2-B44CA16A2078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a01483a7950c8fdd8cb66c0c9eeaf14f8ee4aaf","datavalue":{"value":{"entity-type":"item","numeric-id":3192081,"id":"Q3192081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$08F71345-9BEF-42C4-9FCC-4C7C975CC937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e648849759be406c9eb52fea228820e1c04a6864","datavalue":{"value":{"entity-type":"item","numeric-id":5756559,"id":"Q5756559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$5A7C6B82-6E24-4667-AAB0-CB924C7D9C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9d55e35b69ae0e11cce11be9096bb9fe1235899","datavalue":{"value":{"entity-type":"item","numeric-id":2843334,"id":"Q2843334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$88F46E9A-2BA7-4E8A-9F17-E34DF2FD370F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82a4ca519b39be392d0ee14731fbdc55d307a4ab","datavalue":{"value":{"entity-type":"item","numeric-id":3392098,"id":"Q3392098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$68DC1CC2-38EC-4018-8F4C-7CF63736CCC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9409f5b7aea10c20d6f973a1e120032a5614350","datavalue":{"value":{"entity-type":"item","numeric-id":1656601,"id":"Q1656601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$D1AC87A6-604F-400D-892C-AA6009813D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a08138258210c875637e838bc3684e67f735b7a9","datavalue":{"value":{"entity-type":"item","numeric-id":2517340,"id":"Q2517340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$778E0CCE-47CB-4A5B-9CFE-F08BB8C79209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"997010fa0fe64c5416cb73d2fbd5d4d0e35de9ba","datavalue":{"value":{"entity-type":"item","numeric-id":4821303,"id":"Q4821303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$3DA57950-7C7B-4A2C-B270-ACA552F6B595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed4ece76f4ab904d4327d98033c70a14ec294ba","datavalue":{"value":{"entity-type":"item","numeric-id":2786911,"id":"Q2786911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$832E3100-4E19-4273-A71C-34EFA3E432B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee3d7c1abc412ecf1785400f7144300e07765fe7","datavalue":{"value":{"entity-type":"item","numeric-id":814626,"id":"Q814626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$01C938C9-495A-48AE-B3B0-48EBE3E54EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$5E773D47-2002-4E27-9DA9-BC306E226C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd4afa29e020ea6bb9de6f599ede133d0d89b0e","datavalue":{"value":{"entity-type":"item","numeric-id":3637182,"id":"Q3637182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$3535E8AD-9778-4F1B-96FA-C58E10414341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d48738d1586389300da381482fb72ad8f6da807","datavalue":{"value":{"entity-type":"item","numeric-id":1656559,"id":"Q1656559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$7E457543-E46C-43D1-97F7-524EB1825228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4045704bdf81dd16d250919485ee3b1ad882e36","datavalue":{"value":{"entity-type":"item","numeric-id":3523075,"id":"Q3523075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$8F3CBC1A-315E-41AA-847C-6FD7D7708E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b107d69d8ca98db7620611ee6ace5f0ce2d290cb","datavalue":{"value":{"entity-type":"item","numeric-id":3524229,"id":"Q3524229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$9472DB69-4282-48CF-8E85-6DDEFAD881CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f217d7c1a8591d173f7a390567150498d1528ee2","datavalue":{"value":{"entity-type":"item","numeric-id":293409,"id":"Q293409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$3A5F24B0-9A8A-4F19-B8AA-C01EBEF77CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4ba775501bab24db1f709667f33836377570c5","datavalue":{"value":{"entity-type":"item","numeric-id":2092498,"id":"Q2092498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2009185$26B2012B-88C0-4E14-BC8C-079A967A8327","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f2f7ddae6dd244751f736ea145c93c686dc53248","datavalue":{"value":"Q128567790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2009185$867F7B94-D6F2-4B63-9321-E4D28B0A1D0A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a4a9fa145f8223da88fc3c1c5481b33311ee36d","datavalue":{"value":"10.1007/S10601-018-9299-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2009185$F980944C-26CA-4CA1-8CCB-726D022773C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5acb1edd21c23a4caa49967f778b3c1ff2122d0","datavalue":{"value":{"entity-type":"item","numeric-id":3429162,"id":"Q3429162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c47364a16df1b76a24a8d43f54620d43e4dafa7","datavalue":{"value":{"amount":"+0.8292290568351746","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":"Q2009185$3DB15A32-38A5-461E-9D12-11F46444657E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d3e9f23a7460851b246e1eb6911475e60b8c87b","datavalue":{"value":{"entity-type":"item","numeric-id":3000648,"id":"Q3000648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d849c5f02810725385cb7b47d3ca14fd205bd6c0","datavalue":{"value":{"amount":"+0.8164374232292175","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":"Q2009185$BC0D2D37-F4B5-48A1-AEAD-2B7E135797E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e60971c7f2cbfb85bcc36fe0a3a900132157fd65","datavalue":{"value":{"entity-type":"item","numeric-id":2060735,"id":"Q2060735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cfb376db1c2eb1611605dd9fa7217184d727f3d","datavalue":{"value":{"amount":"+0.8105021715164185","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":"Q2009185$4C1853EF-CAAC-47CD-B422-C0655904DD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8478003450a18e2774cd48b1003fd2b783a02169","datavalue":{"value":{"entity-type":"item","numeric-id":3637167,"id":"Q3637167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b1347c69d30b7f4dc2017a7cec35eb5e6ad18c6","datavalue":{"value":{"amount":"+0.8047170042991638","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":"Q2009185$AFC5E3A5-D21D-47CE-A21D-6EF42E8426EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4601125705a4d0f52b78cb9ee4c303f22e04b582","datavalue":{"value":{"entity-type":"item","numeric-id":5015594,"id":"Q5015594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb36102d9112809d7992071687472dee0e4913f6","datavalue":{"value":{"amount":"+0.7881357669830322","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":"Q2009185$76E32CFC-3635-479D-B5FF-D913EEDB4516","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(N\\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(N%5C)-level_modulo-based_CNF_encodings_of_pseudo-Boolean_constraints_for_MaxSAT"}}}}}