{"entities":{"Q1656587":{"pageid":1667328,"ns":120,"title":"Item:Q1656587","lastrevid":68252304,"modified":"2026-04-12T22:28:06Z","type":"item","id":"Q1656587","labels":{"en":{"language":"en","value":"In between resolution and cutting planes: a study of proof systems for pseudo-Boolean SAT solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6916313"}},"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":"Q1656587$262C3257-0D9C-48FE-95A0-5089DA6B19CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d901666a1b0b198da47738d0b54659ebe06b6a2","datavalue":{"value":{"text":"In between resolution and cutting planes: a study of proof systems for pseudo-Boolean SAT solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1656587$4D44B365-4006-4F87-9EAF-A00684458600","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a911b144ff7137d9436988a3b4dc3a249b24dc54","datavalue":{"value":"10.1007/978-3-319-94144-8_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656587$C084662A-2A37-4B6C-8FBE-778EADFAAD84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5302b48d82eac44081d15b48583a3fafba169c6","datavalue":{"value":{"entity-type":"item","numeric-id":1656562,"id":"Q1656562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656587$B0C8ACA7-E700-43E7-BE91-4E95CB3F7E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"146485b52c1532f35e0a7b8572d634651bc02d91","datavalue":{"value":{"entity-type":"item","numeric-id":1656561,"id":"Q1656561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656587$2FA0AEFA-3BED-46EC-8067-546EEF0C4BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6caab071be86bf56b6394b8a5c1113ccfe265285","datavalue":{"value":{"entity-type":"item","numeric-id":309917,"id":"Q309917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656587$91877056-69EE-4E03-8854-F10B5459AC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12ad9731783106dae613b55862ece43b8cac0ef5","datavalue":{"value":{"entity-type":"item","numeric-id":1656586,"id":"Q1656586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656587$BD8BDE58-D992-42CD-ABF9-4123361466FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ade4990ab7a79bdd900e48d3fab8c751fcf8949","datavalue":{"value":{"entity-type":"item","numeric-id":989568,"id":"Q989568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656587$135081CE-16F6-4F9B-BCC3-31FCC4AF846F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dfbbfe69f220779a8f4ee2aa35287f4eb47a1e3","datavalue":{"value":{"time":"+2018-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1656587$13A439CC-854A-4F1E-9721-A8AFE01B8F59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656587$AA62C324-0B6D-48BF-937E-C6BAE6CA88AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656587$EE233673-9261-4C78-9C24-5007E90FBFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656587$697F6FC6-5154-4B33-AC0E-BBC904B2920B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6cac3d8d9c770ccf69a8c3e7030852ee489c665","datavalue":{"value":"6916313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656587$7601C7FB-2B3E-400D-8205-EAF52E3761FB","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":"Q1656587$949624A9-9FD4-4E4E-9233-9AE9BAA9A72C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53873469606a78d1833db514c267ff6d59f5a7a4","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94144-8_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q1656587$247D4EC2-B719-430E-8953-B3330DDD49A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b17840906463415febd3a6f7516e322583276ae7","datavalue":{"value":"W2810460597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656587$78769C50-1EF9-4E68-8A8E-FD78F2D8556A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"152a5588c52d6d6c721f8c32677649b12ecd0541","datavalue":{"value":{"entity-type":"item","numeric-id":1656563,"id":"Q1656563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5bbe3ddca010ee398e83580cffea4ac00fa1032","datavalue":{"value":{"amount":"+0.8566718697547913","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":"Q1656587$0A626F4D-58DC-4C4E-AF1C-3D75356AB493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20be01fbf4b31a6c572813f122c9731cf8ec03c9","datavalue":{"value":{"entity-type":"item","numeric-id":3192050,"id":"Q3192050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cb15b09f3fc619392a11a4228f0bf34b768771d","datavalue":{"value":{"amount":"+0.8131974935531616","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":"Q1656587$7E34597A-FEE1-41E1-9F32-E6DE8AB38F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead4a6ca94afd43642018021f12f24f3ff9f93a5","datavalue":{"value":{"entity-type":"item","numeric-id":3429164,"id":"Q3429164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b0cd7d2111f189615a99b004d4c2e9793ab9fca","datavalue":{"value":{"amount":"+0.773165762424469","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":"Q1656587$3BBE93A5-CACE-4DE5-8DD5-2F279B1E5234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e628192e1fd84f9e3278a662d27304b474e50b6","datavalue":{"value":{"entity-type":"item","numeric-id":3429161,"id":"Q3429161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fe74074478e0ab82cc5e3d30393da70f386e64b","datavalue":{"value":{"amount":"+0.7688621282577515","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":"Q1656587$AAF13A38-EC3C-4783-AF1D-97F98DA65BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a102b4299cdcd1142dc21044f6b7447c46cf4292","datavalue":{"value":{"entity-type":"item","numeric-id":543613,"id":"Q543613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9497efe7ecd419bac37926d7870797c79660cdf0","datavalue":{"value":{"amount":"+0.7653022408485413","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":"Q1656587$D6A4DD01-049B-4600-97C7-DC09EF60A88D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"In between resolution and cutting planes: a study of proof systems for pseudo-Boolean SAT solving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/In_between_resolution_and_cutting_planes:_a_study_of_proof_systems_for_pseudo-Boolean_SAT_solving"}}}}}