{"entities":{"Q3499776":{"pageid":5529679,"ns":120,"title":"Item:Q3499776","lastrevid":55898791,"modified":"2026-02-20T23:20:30Z","type":"item","id":"Q3499776","labels":{"en":{"language":"en","value":"New Bounds for MAX-SAT by Clause Learning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5282059"}},"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":"Q3499776$E1D70230-A47C-41D0-A9E4-77CB69D8538F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02e587fa3b839d85a6c3185fa78d7dfc4dfba84c","datavalue":{"value":{"text":"New Bounds for MAX-SAT by Clause Learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3499776$A280660D-52B6-468F-A68A-0E877BEE9EBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc6a4d63eb05ebb0ccc432c9117afccf2ea1f6a0","datavalue":{"value":"1188.68272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499776$5D2BFD7E-37AF-486C-A2C2-81E5E8B7B48E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34da9300bab99117bd07561c3222aa15dd637ec0","datavalue":{"value":"10.1007/978-3-540-74510-5_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499776$31921830-9E57-4CEC-96A8-7C596BB64F23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6078df82a12615e728038ace37386618e2a7e688","datavalue":{"value":{"entity-type":"item","numeric-id":334945,"id":"Q334945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499776$5D5D9F99-AB1B-42F7-975A-C4CDFB712EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"063157bf65bc20e92e5fe70d62bf6e86c4c12861","datavalue":{"value":{"entity-type":"item","numeric-id":1625134,"id":"Q1625134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499776$C8754DA2-4781-4DBC-9FBE-F82565CE0DE4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"41df48044034ceb6ef08b66017467a62c3d265aa","datavalue":{"value":{"entity-type":"item","numeric-id":2907481,"id":"Q2907481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499776$908AEF54-21BA-4F37-9B95-E16763EDC3EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"88e4ba475cabd2d879ecee60d295bc12168aa5d8","datavalue":{"value":{"time":"+2008-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3499776$A1C9269C-4469-4DF9-9529-DDA4EC6AEF8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499776$98B3A0DD-8329-4A5A-8838-9B7F5AEF535F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499776$DE6000FF-47F7-4805-92D2-9C985ACFC80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499776$B50648BD-7B3B-4DE9-93AE-7328BB65A809","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc734383aa42525a32f52759a2462b09f8ad206d","datavalue":{"value":"5282059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499776$5EFBA3E9-33A0-4027-8E75-F75F689F44DC","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":"Q3499776$2FCC119D-0694-40BC-8882-C33289DC846E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499776$5A0A29B9-9FF4-4832-BA25-A891514077FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499776$02401412-971E-46CF-BE11-07BFB8F4F051","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":"Q3499776$ED55F22C-5296-4797-A1B2-BFABF5FC2080","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"412608d39ceaf5f6fd09326494d915feb7d88e63","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74510-5_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3499776$C52D9099-3989-4122-B924-AE76248F62F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"870aa5fcf12631427ace09f8638a2945236966f8","datavalue":{"value":"W2029489766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499776$7AF4A1B6-ED35-4B76-AA57-53D21C317B8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce5f4dfbe3797c59dac2a5dc4ae91689aff0bd43","datavalue":{"value":{"entity-type":"item","numeric-id":5106262,"id":"Q5106262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8686b27b1b0061895b673336bfe0bebb402e9a86","datavalue":{"value":{"amount":"+0.9061707","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":"Q3499776$B927C6B9-3B83-486B-B21F-1CCAC55A8F03","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":"ce7507eaf025b2c0ac205b234dfe3eccda07d7a9","datavalue":{"value":{"amount":"+0.8932735","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":"Q3499776$F55328D1-65DD-4DD4-9785-C877038B705B","rank":"normal"},{"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":"91f5c67664c8ee9db9977bedb32273affd5558c8","datavalue":{"value":{"amount":"+0.88949907","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":"Q3499776$874D5C5F-12AA-43CB-B6C2-EDCDA05C9EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe5996d46a69aea0faebcd39d52ae3795adae448","datavalue":{"value":{"entity-type":"item","numeric-id":3225865,"id":"Q3225865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85e5668df0620ae5f7edf3af7201ab5e5e7aaaa8","datavalue":{"value":{"amount":"+0.8860534","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":"Q3499776$67C4C8B8-1838-4BCA-A33D-87A413C3ACC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8ca329ba49bd914b2e887caf341ccd852c7040f","datavalue":{"value":{"entity-type":"item","numeric-id":5957907,"id":"Q5957907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"908968f296679a18df3080dc4e7f793666c81813","datavalue":{"value":{"amount":"+0.8814487","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":"Q3499776$03867A1C-6614-43C8-BDD2-7943C045A41A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3499776","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3499776"}}}}}