{"entities":{"Q3453204":{"pageid":5232604,"ns":120,"title":"Item:Q3453204","lastrevid":52400411,"modified":"2026-01-22T13:45:57Z","type":"item","id":"Q3453204","labels":{"en":{"language":"en","value":"CCAnr: a configuration checking based local search solver for non-random satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6512560"}},"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":"Q3453204$C06683B7-FB23-41F2-8D77-31BB8AE25230","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2e9b6cf61ac44d2345c7fdba049d3e3c59b54d6","datavalue":{"value":{"text":"CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3453204$AFDD8005-6427-4E82-9B6B-F5EEAEBF00A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37c6628e4f4e9cb5264e67feed9031a62569efc6","datavalue":{"value":"1471.68240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453204$52DB9035-07F0-48C4-8FF9-E32D723B8AAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ba63d7c5148493c1dabb49dfbb12b5141351ff4","datavalue":{"value":"10.1007/978-3-319-24318-4_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453204$6A9F215D-359F-49C4-B6DB-EC418B6DDDA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6547ea2456cf7ea8c03d9dddd728f9b9295ce231","datavalue":{"value":{"entity-type":"item","numeric-id":329032,"id":"Q329032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453204$4E8D05DC-58E2-4F27-895F-893C703B420F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6908858e820a6a7f4bb0d3992475e015c0a11b7f","datavalue":{"value":{"entity-type":"item","numeric-id":329033,"id":"Q329033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453204$9682159A-E1C1-4E74-BC82-CFB0B8850A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9067f8663bc4535221a064e05e63cdbfbb8b607","datavalue":{"value":{"entity-type":"item","numeric-id":238000,"id":"Q238000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453204$AB07CEDE-3D47-40D4-A0F6-46AE22EE7D98","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453204$271E4C50-61CE-40F6-BBDC-23FA87178190","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bc62645abb22752583f6909ba0e58feb505ce9c","datavalue":{"value":{"time":"+2015-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3453204$A5534C98-52A3-4778-86F9-3858B36A2E6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453204$89420AAB-86DD-4038-98D4-8F6580992214","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6229af096693f34c78e2833f2bac6775738e49dd","datavalue":{"value":"6512560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453204$D682959F-AE0E-4983-8CCD-14431758CD8C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b74b112e523f51a1104714ede452fd5d3e2928","datavalue":{"value":{"entity-type":"item","numeric-id":16794,"id":"Q16794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453204$21CEC744-77C2-4E1D-A808-3FB27E030409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5368364ce79b0e1d8db898bc5b40c9c76df5089","datavalue":{"value":{"entity-type":"item","numeric-id":4930575,"id":"Q4930575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453204$580F5594-EE5B-4499-9BFB-1FC4D5E30501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d319b1024154434406686dc35c9360c8866197c6","datavalue":{"value":{"entity-type":"item","numeric-id":490437,"id":"Q490437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453204$8D9F6401-9413-4145-9252-D5DF61D60E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d5c843166377c42a2a7c16df5c93d8199ec2f8e","datavalue":{"value":{"entity-type":"item","numeric-id":646517,"id":"Q646517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453204$41D900F5-000F-41F7-A775-E130FD33599A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19aae305028cc1270ef8b8b1b994e327a6f35f85","datavalue":{"value":{"entity-type":"item","numeric-id":5713707,"id":"Q5713707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453204$D58D55FA-242C-4F41-9286-6DC5A09AC641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"539c55f0465324185eff9ab6999f51a4b7e82ccd","datavalue":{"value":{"entity-type":"item","numeric-id":5713746,"id":"Q5713746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453204$867E7D75-D909-4010-948F-9AE348E9D0AB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3e0198bfea0d672dfdca8b50d6e5ec3506d88890","datavalue":{"value":{"entity-type":"item","numeric-id":16794,"id":"Q16794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453204$04667800-DFBE-4517-93B6-BF204D74D3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"40cc7b9b8df38bee3c4bac438cbe92ba782674b6","datavalue":{"value":{"entity-type":"item","numeric-id":55834,"id":"Q55834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453204$F71AA1CC-6CBA-400A-9176-2720074A588B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd11d74125c56df3935f08764ba12ac63750a99d","datavalue":{"value":{"entity-type":"item","numeric-id":24847,"id":"Q24847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453204$BEE02125-1325-439E-804C-EDBFA0BB3957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d26b39677feb5ad5adc62495c285200e3aeefa35","datavalue":{"value":{"entity-type":"item","numeric-id":28607,"id":"Q28607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453204$62C20D91-D39A-4BC1-A516-34056915F7E8","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":"Q3453204$771F2634-B4AB-4DAA-9A36-7EF7CF6A0016","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6e9a3a694d382ddc9333f7f43abdd8daede2020","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24318-4_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3453204$CBDDA24E-3548-4BA1-AD5E-EE3DAC4B513B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2315617388f070b1506cd50fff166bc0c266f3d","datavalue":{"value":"W2182702718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453204$2C19C673-59E6-4231-BA08-1194403EDC70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96b84916cc091d0d45fa4fee44b95ae6200abab9","datavalue":{"value":{"entity-type":"item","numeric-id":490437,"id":"Q490437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67bb77ba3653c70a698507badbff01264b3fbeda","datavalue":{"value":{"amount":"+0.8459394574165344","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":"Q3453204$6BDE919C-CD6E-4B1D-9213-8CCA9F696977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4fa694f1476dca76ee194f999822f33a7bc80d4","datavalue":{"value":{"entity-type":"item","numeric-id":3455584,"id":"Q3455584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdd69f47be057b1c6b8a8d7baefcf8039b0f78ef","datavalue":{"value":{"amount":"+0.8374795913696289","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":"Q3453204$244486AA-6DAD-46A6-9C4B-7BAB9A95AC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9614fb4889151150a3176c408ebc4b705d67bd20","datavalue":{"value":{"entity-type":"item","numeric-id":513324,"id":"Q513324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2afb547fdb869019d15f6ab52cbcbdcb6cb18a9d","datavalue":{"value":{"amount":"+0.831692636013031","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":"Q3453204$20A036C2-ABBD-43D0-BA46-E904F14654B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b2286fbea96793d363f95c5b507743d7fdf2874","datavalue":{"value":{"entity-type":"item","numeric-id":3604003,"id":"Q3604003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eed348d4200665dc16823e0fbceb45fdb6ae4d3","datavalue":{"value":{"amount":"+0.768202543258667","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":"Q3453204$185CF07D-187B-4DD2-86C1-B21A1DA455D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"678d804c4d42ff9c398f873f98cc0a64ef3c7365","datavalue":{"value":{"entity-type":"item","numeric-id":3007692,"id":"Q3007692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6af9ee881ef42340477bd4286064b4a31ee22846","datavalue":{"value":{"amount":"+0.7618178129196167","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":"Q3453204$FACD41EE-9DDF-41F8-BC2D-124CBF160645","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3453204","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3453204"}}}}}