{"entities":{"Q1656563":{"pageid":1667304,"ns":120,"title":"Item:Q1656563","lastrevid":53165054,"modified":"2026-01-24T08:57:44Z","type":"item","id":"Q1656563","labels":{"en":{"language":"en","value":"Using combinatorial benchmarks to probe the reasoning power of pseudo-Boolean solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6916300"}},"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":"Q1656563$A4E79167-7ACD-407D-8F1B-44174FD34B1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b7cef51ef8b365724bbb43fda2e35a01b01a3d2","datavalue":{"value":{"text":"Using combinatorial benchmarks to probe the reasoning power of pseudo-Boolean solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1656563$234E294B-68C1-4B2F-9B0B-B7F43F504E9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c533daf509c1d4977fcf00d9a6fde11afd975a7b","datavalue":{"value":"10.1007/978-3-319-94144-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656563$DE2AB14B-7998-4F1E-96F2-25B217194ED0","rank":"normal"}],"P16":[{"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":"Q1656563$63C94480-8B5C-4F06-AF46-3A21656D8116","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":"Q1656563$92BEF7ED-914F-4860-B3D2-4508267E6F5A","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":"Q1656563$4A2D5A7F-142D-46E1-90BC-AFF069ABA5C5","rank":"normal"},{"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":"Q1656563$CDD3AA57-1D79-4D6A-B012-6A678F088A98","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":"Q1656563$5AEE1D5F-868B-48F8-B729-FF2E4C9DDD6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656563$9FD9E24C-12E0-4226-BC47-74C72E70D28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656563$8DF8C8FE-6FFD-4936-990D-B532B3B5D52F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00f7861c47dae719f69321ce6cc4dc0d38fb01c1","datavalue":{"value":"6916300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656563$D7C57E17-A1EB-4954-A0ED-99058BA309E1","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":"Q1656563$50B0023A-9807-4206-B178-004B877D50A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"132b2189ddfc17e6f2b8cc89ad655460fe48f723","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94144-8_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1656563$B26C60C1-A03C-44AC-9D69-C07E735895D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c93776d8cea6087ed2e41cb5fa2a1568c8c99f1e","datavalue":{"value":"W2811247337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656563$7A4D7746-1DEB-40B2-9C41-957606C735D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ea15bfdda2dddb41eb73544c4bb00e60e8037f8","datavalue":{"value":{"entity-type":"item","numeric-id":1656587,"id":"Q1656587"},"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":"Q1656563$B8AF2313-4BA4-472C-B82A-BE592D8AD5DC","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":"40ee774c160cf317052eecea3ba141f5287e93e4","datavalue":{"value":{"amount":"+0.779013454914093","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":"Q1656563$93A5B3B9-8954-4AF0-802B-0DA06A28F116","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":"8b11eb58bc63d1020cd61165c0c4579a17404bd3","datavalue":{"value":{"amount":"+0.7680679559707642","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":"Q1656563$845D3F71-FFBD-42AC-9738-6714039B8B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad40105f936cb5ef210541082116c6a560942455","datavalue":{"value":{"entity-type":"item","numeric-id":3429158,"id":"Q3429158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ed3d85940040d2e30739765f34eb4dc8995e5bd","datavalue":{"value":{"amount":"+0.762578010559082","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":"Q1656563$6AFCE37A-3206-4A9D-AC14-A59841076E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40d9bf2e3abc1c55712737a3c20210155cde66fc","datavalue":{"value":{"entity-type":"item","numeric-id":2385178,"id":"Q2385178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd76f7f87988cb29138f564044e95cf335914f7d","datavalue":{"value":{"amount":"+0.7454674243927002","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":"Q1656563$9751AB5A-ACEC-433F-AB85-7BC4041B93DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1656563","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1656563"}}}}}