{"entities":{"Q5111870":{"pageid":7141444,"ns":120,"title":"Item:Q5111870","lastrevid":58421313,"modified":"2026-04-05T03:48:59Z","type":"item","id":"Q5111870","labels":{"en":{"language":"en","value":"Solving and sampling with many solutions: satisfiability and other hard problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7205195"}},"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":"Q5111870$176FFA0F-BBEB-4BD7-B7D2-688BC79BB2BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad59d848a27954c1d3623d7afb5075c616ffabdf","datavalue":{"value":"1443.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111870$2F436F36-F4A8-462A-997A-08DFF40E670E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8726a15dc299cd4173f24acc61812735416bfa6","datavalue":{"value":{"entity-type":"item","numeric-id":364845,"id":"Q364845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111870$44E5803B-5AF2-412C-8C22-70AC21B255A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"beff2ca8faf32db09c471f040e3197e5327f6045","datavalue":{"value":{"entity-type":"item","numeric-id":2309468,"id":"Q2309468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111870$DF24AB8C-76AB-417A-A036-450A6F3A5BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebde143434d63bb91413660f73ab09b4563fd56f","datavalue":{"value":{"entity-type":"item","numeric-id":1262764,"id":"Q1262764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111870$B65158D2-C9A3-4F99-B3E5-8126C73DB9D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-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":"Q5111870$415BF8C8-42B5-4F7B-8278-FDE61DFFDFF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2aadbe4d791c8432912dfe2ab595f0b3f33ccc7","datavalue":{"value":"https://arxiv.org/abs/1708.01122","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111870$67CDC33B-D2A6-490B-BE77-9FC079494973","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111870$7928E339-A974-4080-939E-562D72C1BCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca84c0a1de3e8c9074706ad5adbc0b1d28c30279","datavalue":{"value":"68Q27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111870$DB20BAC5-58A8-4B47-A357-2A2778C0C1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111870$B7E1FABE-AB87-4399-A122-D67AD8D4AD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111870$DEB488C7-3B44-4389-BDEF-ED4FA244A9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111870$46284304-34F1-4C3F-A4EB-978290FD21AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc76fd09ab1031079cac1064dbaa0673e2aeeede","datavalue":{"value":"7205195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111870$EE0AFB3B-15CB-4DC1-AA13-E2A522FDA6A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111870$D9A5F91E-45A9-4462-989B-0182CFA4807A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b75d02aa96eefe42964c24b2e52964b9dd69149a","datavalue":{"value":"sampling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111870$8A661748-07F8-4032-887C-08B7A01B0AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111870$B1640098-469A-4286-9B6D-0DB615AEB1E2","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":"Q5111870$CCC5307D-7E98-4D27-8F25-49DA6CDAE58D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"39c73645f52af419e837c72fea85a831242b7b72","datavalue":{"value":{"entity-type":"item","numeric-id":5111870,"id":"Q5111870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111870$00DDDD0F-A00B-415E-82A7-0840BFF5AC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d44d594158b46d7626257750a29857255d94a89","datavalue":{"value":{"entity-type":"item","numeric-id":3588430,"id":"Q3588430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111870$D95C74F8-8454-4843-8FF5-3DE78FA5C6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a2891c8fd562696cdc4ac359a901687c15a922","datavalue":{"value":{"entity-type":"item","numeric-id":1162510,"id":"Q1162510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111870$B16B7CDD-B5AA-461F-B9B5-B38CAD2D5F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9fe66741ca0469a69ca1972085b25c76ed3ea79","datavalue":{"value":{"entity-type":"item","numeric-id":5494936,"id":"Q5494936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111870$82F1D334-A2CA-409E-B288-7373D80097D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29468871e34a4fe2bd19bedb1b1bd4542771e2d2","datavalue":{"value":{"entity-type":"item","numeric-id":4380447,"id":"Q4380447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111870$E2BCA95F-7ACD-415E-9EC2-4461BB21AE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c3eb320d4b98114e1bab22bcaf8058810629bf3","datavalue":{"value":{"entity-type":"item","numeric-id":4798347,"id":"Q4798347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111870$EB50DBDD-62A6-42FD-9015-EB792D8DD478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7678cadff422dc18fb5c6f9d2c4055e1ab7c4be8","datavalue":{"value":{"entity-type":"item","numeric-id":1079379,"id":"Q1079379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111870$6496D651-A54B-49EC-8FDB-AE2827186EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9595fc06d1af48f3afdd93c3131d57cb96404a35","datavalue":{"value":{"entity-type":"item","numeric-id":727982,"id":"Q727982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111870$13453436-1FB9-455C-B661-529A06807B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633481678a0836b3846b49aa8db13fb38104e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111870$EC9B34CF-55AB-4E47-B945-830EC7412BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d75d3a49bdccbda045af07abb7b72f3249deadc","datavalue":{"value":{"entity-type":"item","numeric-id":5713713,"id":"Q5713713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111870$ED2D692F-4445-4A6D-A933-BF8022F72942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3165fe7f2b0e30badc947787c9f3143fbed264","datavalue":{"value":{"entity-type":"item","numeric-id":2450932,"id":"Q2450932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111870$BF58C020-4F55-4444-BF8C-D810A5895176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2077fad0f8784e4f01900be189b1e93f8a2ad005","datavalue":{"value":{"entity-type":"item","numeric-id":1348911,"id":"Q1348911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111870$903BF794-D331-4C8B-A975-7992DDF079D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62efad9a25ffc5f0c9b9289515aeda1a27b4f77a","datavalue":{"value":{"entity-type":"item","numeric-id":5313044,"id":"Q5313044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111870$D44C6BAC-AC4F-40C2-91CE-230707CA0FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33090222b63f2f3dfa053cbf4113126d2f075511","datavalue":{"value":{"entity-type":"item","numeric-id":3503590,"id":"Q3503590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111870$DE87525D-AB4D-431B-9F1C-BD85E6827A70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a722572aba778fe28c9e49366eaef9cee1568ffb","datavalue":{"value":"W2745221522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111870$368D45C7-44A7-4749-B380-D7720C7C7B4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d505806d65d84a40a3cd5d93be9b4f4777a55d5","datavalue":{"value":{"text":"Solving and sampling with many solutions: Satisfiability and other hard problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111870$604B745F-5500-49B8-B437-2FE6C0231329","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a792066f947ab5b0f626121281ca58ed76cef88","datavalue":{"value":"10.4230/LIPICS.IPEC.2017.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111870$CE1E0F13-5D50-45B1-8259-5052C642A265","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e764e3d1332b136924b1d17cbe317eb3813977a","datavalue":{"value":{"entity-type":"item","numeric-id":2309479,"id":"Q2309479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d16dbc5aaf9e2df88219226373d66fec4732e33d","datavalue":{"value":{"amount":"+0.9558032751083374","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":"Q5111870$1DE9E5FD-7BDA-4C89-A842-8EE60E983D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85307005f9aa7b14e41627295230e50fdc5b2df7","datavalue":{"value":{"entity-type":"item","numeric-id":4808676,"id":"Q4808676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e5949020ba736a9c441826f3713e57049d237ab","datavalue":{"value":{"amount":"+0.824367880821228","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":"Q5111870$2D970F66-CD2D-49C2-8D7C-D35689363028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd08f01c3bdf045dbbec1b7c18e466dbdc16ce0c","datavalue":{"value":{"entity-type":"item","numeric-id":5056428,"id":"Q5056428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2e89a024e65d9e15cbbe9da40de3a3ea25b3584","datavalue":{"value":{"amount":"+0.8065348267555237","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":"Q5111870$233735D7-A0EA-417F-87F4-61EFDBDD0B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d19e6cfc0843016bc5ade6d6a373115730b50e76","datavalue":{"value":{"entity-type":"item","numeric-id":2904751,"id":"Q2904751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f038f6481d45604ad6f2aebeff70dce8ce6bdb5","datavalue":{"value":{"amount":"+0.8063452243804932","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":"Q5111870$EFE19BF7-DAE2-47BE-83E4-21965F6FB807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce923eacc97dcf52d2ee2c6ad6cb58dbda7f936","datavalue":{"value":{"entity-type":"item","numeric-id":3576756,"id":"Q3576756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7628ebea7a8ab408f00367539565ae78d548e8c7","datavalue":{"value":{"amount":"+0.7891731858253479","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":"Q5111870$BF91E9A1-12CB-4BE0-90B5-F49B8DBD58E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111870","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111870"}}}}}