{"entities":{"Q5505539":{"pageid":7535099,"ns":120,"title":"Item:Q5505539","lastrevid":41570837,"modified":"2025-05-05T23:55:39Z","type":"item","id":"Q5505539","labels":{"en":{"language":"en","value":"Symmetry Breaking for Maximum Satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498329"}},"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":"Q5505539$CFCBD188-88C0-4D7D-827A-DF1AD2482132","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fc0f29d5041453da8a57b2ec71b87874fe51be3","datavalue":{"value":{"text":"Symmetry Breaking for Maximum Satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505539$FF80FE65-452A-43A2-B646-827A38CD8092","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7cbd9bf539724d960a4f889ada38900594e0b77e","datavalue":{"value":"1182.68257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505539$4DF77A06-FB3E-4BCF-A206-BC6FBF62B735","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd4e23c09fe4c6749701fdd9561f644a0bbab701","datavalue":{"value":"10.1007/978-3-540-89439-1_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505539$C3A37B5D-200B-4158-B587-DCA518555997","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"407e41d2014cb38969f273806ce1eb535a6eb9fb","datavalue":{"value":{"entity-type":"item","numeric-id":421450,"id":"Q421450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505539$2F9956B7-84F5-4AE2-A2CE-526A6A9EE0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505539$831E9F99-12FE-432F-96BF-E3A1C49A106D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a728a400be38b20d56d906a115846d8ae94fc384","datavalue":{"value":{"entity-type":"item","numeric-id":1430294,"id":"Q1430294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505539$A3B91216-B9E4-4D60-8F6C-DD4847D282AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505539$49FD79BE-4994-419A-BED2-225CB01ECFAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-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":"Q5505539$F46CBC87-532F-4511-BF29-83173FAF56A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea47a3ce9a7e6e2973b188908e854c6e56c4f956","datavalue":{"value":"https://eprints.soton.ac.uk/266608/1/jpms-lpar08.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505539$FA1C9DEC-69FC-40B6-8730-39B5430EB119","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505539$B46A2CB3-B813-47A2-8DE4-2659AB53D3D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90692fc1edcd8e5fd03e687b1b6526cb52fdc833","datavalue":{"value":"5498329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505539$E3B628A9-C084-4927-B3F5-EA31AE3DF2C2","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":"Q5505539$18B6BDF3-FAA3-4BBF-AB96-B485649307B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c40519c1d05730291d19752fdedb1d6ea127437e","datavalue":{"value":"W1801196578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505539$D32213B7-2191-40FC-81FB-F03289BE3A37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e42cd9c04e1b24d916957db473fef1c883fe3ac","datavalue":{"value":{"entity-type":"item","numeric-id":850460,"id":"Q850460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7258733538fa1614e7ee0caed126ddd24315cca5","datavalue":{"value":{"amount":"+0.9107511","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":"Q5505539$F9EE21CE-06D9-46B8-9D9A-4CDC7148BF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a05309be87b7a3163aba3b7341b2d435f3e34925","datavalue":{"value":{"entity-type":"item","numeric-id":976993,"id":"Q976993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62584b13e618c150f98880c7d1ecfd3d4356f156","datavalue":{"value":{"amount":"+0.9060904","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":"Q5505539$6F347D44-872D-4622-9AA7-2671A1760E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31b6c4adf73c161bb3c70c7772281780ca9c3640","datavalue":{"value":{"entity-type":"item","numeric-id":3011301,"id":"Q3011301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"155bfddd1bfaeddb324ada3db6440c60b82411b6","datavalue":{"value":{"amount":"+0.9013671","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":"Q5505539$334DE7EB-DB21-4E53-B628-A561F7910FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a29ec55291410faf93fdd4b71d7fb21b68a8f39","datavalue":{"value":{"entity-type":"item","numeric-id":2009225,"id":"Q2009225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42193ef92c87230918f88c6727545e61dc8bfc60","datavalue":{"value":{"amount":"+0.8999059","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":"Q5505539$4EACDCB1-2E90-4FCF-B71A-8F1C502074E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5a5fbc8bafe19982ecefd6fb459c81bef02fa9","datavalue":{"value":{"entity-type":"item","numeric-id":2818005,"id":"Q2818005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"999f4a333a5e4bee2091d29a884a92d578e6b6d1","datavalue":{"value":{"amount":"+0.89122117","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":"Q5505539$75251BCA-D875-4348-9566-FBF683FD83F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c7dc849497054297fe302bc028de7816add81c5","datavalue":{"value":{"entity-type":"item","numeric-id":4930583,"id":"Q4930583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"211598a0fd64287cc9fdb76bdb8bc29ebbbde10d","datavalue":{"value":{"amount":"+0.8866032","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":"Q5505539$456664C3-D921-4FD8-AEC6-7B2AFCD761B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23dfa2c3caed9965842c26cb05103405880add6b","datavalue":{"value":{"entity-type":"item","numeric-id":5200027,"id":"Q5200027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec1b5bee5854741202756190e8262d24ed47eb36","datavalue":{"value":{"amount":"+0.8839097","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":"Q5505539$773484BF-E9CA-43C0-9DFD-BD305D2C2288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1139a1c30b4168351f24734f482b04acc58532f6","datavalue":{"value":{"entity-type":"item","numeric-id":1037643,"id":"Q1037643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f8d55e6a2e73e906e14cd1a26c18793ee5bf042","datavalue":{"value":{"amount":"+0.88338786","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":"Q5505539$31AB9F23-31BC-45B8-A668-C8E8F67FF094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d38b6047c5e313bc1de8fc31b0eb2448b0bfadb","datavalue":{"value":{"entity-type":"item","numeric-id":850464,"id":"Q850464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cd03802ee3e254e12636ba8f72a941b3c1666ba","datavalue":{"value":{"amount":"+0.88197714","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":"Q5505539$67766402-ECA3-4DE7-831B-A665A1E824E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f99cf62815561f8cf98cad46040b092efb7ba6db","datavalue":{"value":{"entity-type":"item","numeric-id":3524161,"id":"Q3524161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cd03802ee3e254e12636ba8f72a941b3c1666ba","datavalue":{"value":{"amount":"+0.88197714","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":"Q5505539$AD70D07D-4FBF-4579-AD32-C3CA5A323794","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5505539","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5505539"}}}}}