{"entities":{"Q2887073":{"pageid":2897798,"ns":120,"title":"Item:Q2887073","lastrevid":58039491,"modified":"2026-04-03T13:46:44Z","type":"item","id":"Q2887073","labels":{"en":{"language":"en","value":"Local consistency and SAT-solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6035678"}},"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":"Q2887073$99C5DC7C-966F-43E2-B24C-6652CA0475C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08c053c405604cb84eb08cdc33e1ae2cfa0088be","datavalue":{"value":"1237.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887073$9F5CACFF-3CB7-461C-B205-82BD0BC55956","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c6dd1e92ce65549be4e5bdc022a3c4981b4ec03","datavalue":{"value":{"time":"+2012-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2887073$99564BD8-C142-4B92-AF69-FD413A3E2FB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6a5caa9f13e81850a4d6644f92b3af693b18371","datavalue":{"value":"https://arxiv.org/abs/1401.4613","type":"string"},"datatype":"url"},"type":"statement","id":"Q2887073$B006FD15-F7EC-4332-9025-783234EE6950","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887073$4E917AA2-B9BF-4462-9FD8-3E0883E6CD9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04dbd73dc8da1f28429b58eba1915a9e131b4068","datavalue":{"value":"6035678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887073$F5214654-4D7B-44B1-A2C6-97BE900E0851","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3553d808ecb3af63a2267a3f7263cd0f75ab1bf3","datavalue":{"value":"local consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887073$C0BBF603-1C7B-4440-81FA-142410DF07B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52dc796e2ba0f28a459a1f626e102e916cb3e243","datavalue":{"value":"\\(k\\)-consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887073$B561C25F-9DAE-4C0B-A676-F4FB39F54411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df25359605a7bacf8d12705a29fce2b79e2bb8b0","datavalue":{"value":"constraint satisfaction problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887073$52C98466-E38C-4954-94CD-200D91D2B1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baeaf27c29b44a613ac26700723ca8323310e938","datavalue":{"value":"problem solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887073$7EB720F3-FD37-4E87-BD56-57A6BA2206BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887073$9FE17F38-3253-45A2-9E83-648760DCFF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b7d44f0de695575c764995c4524ab59aa021450","datavalue":{"value":"clause-learning SAT-solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887073$243EF644-EB47-4084-92AF-FFD43AC07B27","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d03efbad9799f7eb17253cbf3517b0327b961fe8","datavalue":{"value":{"entity-type":"item","numeric-id":18394,"id":"Q18394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887073$EC66F717-F40D-474E-9105-D00121BAD62B","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":"Q2887073$2509BD27-A4D1-4A53-8D65-C27486FD6048","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab417ed6f64e4e8e65b0433179e058e268129b6d","datavalue":{"value":"W2950058198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887073$8151C316-137D-479F-B9C3-FBEA8E23824A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"90562089898d435149e0932d968215e5f4dd5219","datavalue":{"value":"Q129489138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887073$94B6082B-7B4B-4B5F-BC75-E2DEA12BD52E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"984a04cd7008071a4fc1ae131d5f0bca589b208e","datavalue":{"value":"10.1613/JAIR.3531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887073$2E750C1C-2DFB-4338-A718-12279AEAFEBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a1499169c235743a5cc2bf547f225ec53630fb5","datavalue":{"value":{"text":"Local consistency and SAT-solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2887073$048E33F9-C610-40B7-BE1B-17D37F298562","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b8a215d385f75fb3e358378de413ed23462bf46d","datavalue":{"value":{"entity-type":"item","numeric-id":6488778,"id":"Q6488778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887073$B3F597C6-49E2-4FDA-829C-C4A804E4C597","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f27b7dd7bcb86f32451ffaf4f8ff1978836ff91","datavalue":{"value":{"entity-type":"item","numeric-id":991005,"id":"Q991005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887073$6E9E0E25-3A0B-4B74-A652-B582971CF71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c46661e18e3da4d47d5c296562120e6d9d3384a","datavalue":{"value":{"entity-type":"item","numeric-id":2634499,"id":"Q2634499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887073$F0AB9F17-4C21-4E08-BBA2-D41E8AA002FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e774777e125d8ea335060d4b88c191990242cc88","datavalue":{"value":{"entity-type":"item","numeric-id":5325869,"id":"Q5325869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9195d23983e8ebbbc33fc5ec61b4445b38fe15f8","datavalue":{"value":{"amount":"+0.8410599827766418","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":"Q2887073$8B10DF55-9B2A-4D30-8610-300267B866D8","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":"2b3c501384e26323d6b65e511ed7066d2fe59e4e","datavalue":{"value":{"amount":"+0.7881580591201782","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":"Q2887073$1E40D711-60DA-4F80-B728-AA6746A02E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e050f30d7185276802f36abdec5347610a74e3d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61b94635697827f8c678b525c53177e24e2c6aaa","datavalue":{"value":{"amount":"+0.7843013405799866","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":"Q2887073$EAA7FFB7-7139-4EEF-B71E-BDB61966DAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa30fadd254130cb63cbfed3945653303aa1ba6","datavalue":{"value":{"entity-type":"item","numeric-id":1035707,"id":"Q1035707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cb4291129961f4576811ee1619b464532855610","datavalue":{"value":{"amount":"+0.7722548842430115","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":"Q2887073$9822296C-3519-4440-AB01-FA25A3601B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5c32464e12104d7abe5ec041bc0d7ce8081ffd2","datavalue":{"value":{"entity-type":"item","numeric-id":3524230,"id":"Q3524230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6b06b819050280f9d5d7503aa3399e064ce85b","datavalue":{"value":{"amount":"+0.7717688083648682","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":"Q2887073$3744458A-3E01-47ED-B31E-2F939B6C5345","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2887073","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2887073"}}}}}