{"entities":{"Q2211872":{"pageid":2222615,"ns":120,"title":"Item:Q2211872","lastrevid":82649528,"modified":"2026-05-06T21:24:59Z","type":"item","id":"Q2211872","labels":{"en":{"language":"en","value":"Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7274585"}},"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":"Q2211872$A8927714-8AE1-46C6-9140-DD9BDC8BC7AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47352ef62572453348fcf242ac0041441e46a867","datavalue":{"value":{"text":"Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2211872$3583A4F1-5C16-4BB2-83A4-FEE8601C395B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54bc672cca1673570a0f01ddb450c63e681d791d","datavalue":{"value":"1493.68340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211872$A25AFB77-8CD3-44AF-89AD-79DB61F2A81D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6547ea2456cf7ea8c03d9dddd728f9b9295ce231","datavalue":{"value":{"entity-type":"item","numeric-id":329032,"id":"Q329032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211872$E5169CAB-FDD7-480B-AEC2-538E737F5151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b03f069ff375edfaaacca75a4dfbaef722a03abe","datavalue":{"value":{"entity-type":"item","numeric-id":2118313,"id":"Q2118313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211872$E08A2E85-766A-46F3-A839-211AAC2E0CFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211872$CE708888-A841-4D9F-BA27-C41A24284F53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f310bcec3602af10de71dee4be7d2083db46264f","datavalue":{"value":{"time":"+2020-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2211872$1E83F172-B582-41EA-9DD8-DAF873F7D94A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211872$6BF65ACA-C719-4BCB-85C1-8513D42B1B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211872$8BF10427-6FB1-468A-BE0B-1FBD92724481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d42ae7884b9335550c4d21f090798ce9c56a9bf","datavalue":{"value":"90C59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211872$9A2D124F-5E29-4F2A-9CB7-508D0915A3E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16d3dc51a70a52eca3effab8addb5ced4527f9d7","datavalue":{"value":"7274585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211872$E827C17E-D4C3-4B41-8213-B0E80429E057","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7266802113187a96c78397ed692b735dee12e876","datavalue":{"value":"maximum satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2211872$DA9D73D5-7501-4EC5-9768-B091C27095DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"640eff6795853f3ea7520f9ecf1079e290cd4621","datavalue":{"value":"industrial instances","type":"string"},"datatype":"string"},"type":"statement","id":"Q2211872$CA61DBEF-BE01-4CB4-B5F3-03E569B7B369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea1ff5a5e657abc0a392084b74b3342d23f2f4c9","datavalue":{"value":"local search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2211872$7658282A-E3D5-4417-B570-0A5043F3437C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7b874a59428a2409dc95005b982aa66f87e73b5","datavalue":{"value":"clause weighting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2211872$C07539D9-EC75-48CE-A315-78DEAD855F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55fd841e56aa22d3b4f3d5a7e5817ed86272bf5f","datavalue":{"value":"unit propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2211872$DCD1F66D-9AB9-48F1-8D38-004017A33BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10590540282427acbef99f2765cf1c0be2217e3d","datavalue":{"value":"hybridization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2211872$FD4F70CD-3F6A-4A50-B6E9-66ED12DC766D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e24672fd2b7383bea2d8e146b0851e7ba67dce1d","datavalue":{"value":{"entity-type":"item","numeric-id":51750,"id":"Q51750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211872$4B743AB8-663B-4305-93AD-E7755097B18B","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":"Q2211872$C36F6261-329E-498C-BD4B-64149383E675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af7190300cc54c5089eaf27700698f6eb274b883","datavalue":{"value":{"entity-type":"item","numeric-id":5973734,"id":"Q5973734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211872$7877E9A3-68E8-4579-AB95-394D20E13CA6","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":"Q2211872$4C645C78-24DA-4678-8338-DF43AB53DE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bd2d1f95a77da74a3a1f74809707a51d6a42d70","datavalue":{"value":{"entity-type":"item","numeric-id":22014,"id":"Q22014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211872$450EDA2A-E64F-4D9D-BBD0-863E861E7106","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":"Q2211872$F31C6483-F9A5-48A0-B979-316BCD9BEA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"214bc1a8b13ad411149a4dfc27707ade6540c08f","datavalue":{"value":{"entity-type":"item","numeric-id":51752,"id":"Q51752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211872$FB54F0F3-0141-49E0-B8DA-0EC6260054DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4e558e78bf7ae5246d1675f3a0fe05cd8c96cb94","datavalue":{"value":{"entity-type":"item","numeric-id":51751,"id":"Q51751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211872$29C50F8A-5FB1-4FAD-A54B-7B9451832E96","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":"Q2211872$20B6FEEB-D8B6-4B43-AD1B-38F22788EF01","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e75d1b70652333fc0867827d71d681ac8a18aa7","datavalue":{"value":"https://doi.org/10.1016/j.artint.2020.103354","type":"string"},"datatype":"url"},"type":"statement","id":"Q2211872$0C104A82-50E5-4688-B665-2A46F841056C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0560569c2df71d78917f018f9390990fa837583f","datavalue":{"value":"W3038094279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211872$4ACC1A25-698B-4A30-9AA4-0A53FCA1645C","rank":"normal"}],"P223":[{"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":"Q2211872$9E078003-5FA9-4790-B8F3-64167E434A40","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":"Q2211872$E6FC4CD0-3728-4298-87BE-B8538FC58D31","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":"Q2211872$80DE4E4A-B780-484D-9FC0-A445B6BD0BD0","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":"Q2211872$CB096D0D-7787-464E-935C-558DF54E55C6","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":"Q2211872$31E1FB51-D380-401C-9AF7-7214EAC89FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bef6d2427f49c9b63113649bc54ab909f5f1166a","datavalue":{"value":{"entity-type":"item","numeric-id":2348540,"id":"Q2348540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211872$9D82BBE4-952E-4FA5-84CE-2D695C476CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57937a9c956d174d89caf7fdfb1456b3ee92b049","datavalue":{"value":{"entity-type":"item","numeric-id":1680676,"id":"Q1680676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211872$B6705E4A-5F6D-4EE5-8478-C28D66D8578E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b220c103efacc58a55067a09cddd942ad07ed4","datavalue":{"value":{"entity-type":"item","numeric-id":329035,"id":"Q329035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211872$48F64476-8F6D-4CDA-BE9D-3E8E5D2893AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c4fe03594ab8b419c366e16d6cb0510a7b8b955","datavalue":{"value":{"entity-type":"item","numeric-id":502391,"id":"Q502391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211872$83B93D6A-5A2E-490A-86F6-26B09E38E2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b56eb7553d40e29ba20c401fa27988e78d6fbe80","datavalue":{"value":{"entity-type":"item","numeric-id":2982183,"id":"Q2982183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211872$5245E58E-A1B1-46A7-BCB1-D495E452489D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2309b567d0495a29611c45d4f9094a9097b74021","datavalue":{"value":{"entity-type":"item","numeric-id":4415205,"id":"Q4415205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211872$31DB2884-3A6B-46DA-9CE1-7D1BB4A746A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0802a9e9650f39ffcd90892ce28352abdc01207e","datavalue":{"value":{"entity-type":"item","numeric-id":3192090,"id":"Q3192090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211872$159A1238-181E-44AB-9FB2-CA7A9D5C644C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae4bbc93d3d0fb77ecae9bfd34a68df24e76cea4","datavalue":{"value":"10.1016/J.ARTINT.2020.103354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211872$7449D47F-7D4B-4865-AAAC-3FEA29284611","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95ae5f982dd7204e07414846ad16cac565afc42","datavalue":{"value":{"entity-type":"item","numeric-id":5282985,"id":"Q5282985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56534888788d28c2fb99ef505db67cdcc65de74d","datavalue":{"value":{"amount":"+0.86758196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2211872$A01019B2-FBFF-49FD-A6FE-F068EBE0B330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b9b008697bfcf9ccc4f6c8247f5ea52c7ea915","datavalue":{"value":{"entity-type":"item","numeric-id":2457672,"id":"Q2457672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2532afd99ae6616e98bc71245046d9cef2f0872a","datavalue":{"value":{"amount":"+0.86598027","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2211872$9F64A5AD-7AC9-4EF3-8F8E-02D3C81B3017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e35d05ea68e1553966e87beef89eb3494d1000f7","datavalue":{"value":{"entity-type":"item","numeric-id":4415201,"id":"Q4415201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf49e00ec6825d4614acb066d1b46f5068b5320f","datavalue":{"value":{"amount":"+0.86214906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2211872$3DE620EA-C183-42FD-9FE0-FE443D807F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da0cd430ca59a93f22b307b525b1ef9891eb82a","datavalue":{"value":{"entity-type":"item","numeric-id":3502710,"id":"Q3502710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bc5e384b2ed14041610ed28f3df5b6ead17e40a","datavalue":{"value":{"amount":"+0.86029863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2211872$084F8890-641B-469D-83CE-E065C9869B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aba2ab3119bb58452c460bfdecd60db831e1c7c","datavalue":{"value":{"entity-type":"item","numeric-id":5900327,"id":"Q5900327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a4882b4616fd3ff6bc9dee92873b2b0cfd2c48b","datavalue":{"value":{"amount":"+0.8552511","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2211872$9D729FB4-8584-4E18-AD73-349252516050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7474712dc4b272504b93c4509fb19c294e878f67","datavalue":{"value":{"entity-type":"item","numeric-id":2800956,"id":"Q2800956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4a47b5a464300eb29d574cf47be6123c2120a79","datavalue":{"value":{"amount":"+0.8551137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2211872$826F5E57-DC3D-4DF7-9F89-8BD08272A058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fb5d5b195358de4232e52231aec1bd44f1ea311","datavalue":{"value":{"entity-type":"item","numeric-id":2661348,"id":"Q2661348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83949f5d4d4bbc1a90cb3a0f4a5baee3e2363184","datavalue":{"value":{"amount":"+0.8532514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2211872$D67F6976-07BC-49FF-AA91-FAEB39CE2DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f288c2245991340f743fe19e47aa4c74a0434106","datavalue":{"value":{"entity-type":"item","numeric-id":3523061,"id":"Q3523061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0c8a7869e861489a4305a9558d63387bddd2f45","datavalue":{"value":{"amount":"+0.8521658","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2211872$7DFF75A2-0C1C-46DE-9B60-FADD891D9981","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Old_techniques_in_new_ways:_clause_weighting,_unit_propagation_and_hybridization_for_maximum_satisfiability"}}}}}