{"entities":{"Q3534664":{"pageid":5564568,"ns":120,"title":"Item:Q3534664","lastrevid":49243126,"modified":"2026-01-06T20:22:50Z","type":"item","id":"Q3534664","labels":{"en":{"language":"en","value":"Incorporating Learning in Grid-Based Randomized SAT Solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5361013"}},"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":"Q3534664$1ED1708D-531A-489D-BB36-3D30B819A16D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4fa76e7eb0db6a434570e970a4761f0bb025b69","datavalue":{"value":{"text":"Incorporating Learning in Grid-Based Randomized SAT Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3534664$8C9E348F-3BDD-4FDE-85A9-802F0FD0701C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9189e3fdd6cd7217da147a615c7fcb314f3afeb","datavalue":{"value":"1169.68603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534664$F83A87A8-0D59-4171-AA85-36F56B9F6D3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e32bd302b09caa292d5f774091225b77eb3ebec2","datavalue":{"value":"10.1007/978-3-540-85776-1_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534664$27248863-A25D-4363-96AB-239E8953CD54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ebfd430f823a6478294286ff8c6d38b91b1861a","datavalue":{"value":{"entity-type":"item","numeric-id":784138,"id":"Q784138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534664$719403F3-9222-4E42-853C-62B324B63C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"498d039033b9bc38216498eb57cb84dc2a55d72f","datavalue":{"value":{"entity-type":"item","numeric-id":436410,"id":"Q436410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534664$D7718563-5989-47CF-A2FC-20D30F97E891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84a0bf8ed8d41ff3812d01e44b824eef0aacc110","datavalue":{"value":{"entity-type":"item","numeric-id":414901,"id":"Q414901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534664$85F08776-9903-4738-BEC8-16D4467BA7F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"aee7cbccf36d5e0c46e52d4bb7450588d8f63b14","datavalue":{"value":{"entity-type":"item","numeric-id":3534655,"id":"Q3534655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534664$436304AA-C5E8-4478-8BCE-7B54976D73F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96ef292e5607cc4e0881b5cb40cb0c823b467bce","datavalue":{"value":{"time":"+2008-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3534664$4AECE0EA-D8E3-4DC1-8F3F-996D9F7953E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534664$7C20497D-79CE-495E-87F5-B0E895EA4D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534664$5D82AD09-2640-456E-BF12-FF609365456F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534664$F68BC1DE-399F-46A0-86B2-621223BD4EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534664$18F86016-3BD6-4A74-A9E4-C82462A6F87C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"157c05e2d02269dfd6db12f0156b5255151cf549","datavalue":{"value":"5361013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534664$5C9958F0-8B2D-4F5A-B4F9-DA6A59376DB6","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":"Q3534664$CCC7806A-DAD9-45FD-AFA3-9453FEE66C1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b20a0771f282dda145e23aa7103d58bcf92b88f7","datavalue":{"value":"https://doi.org/10.1007/978-3-540-85776-1_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3534664$96005523-9BA2-4AC2-AB55-A377274235EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e75f0bd85951039be54c057db9634e885937cf2","datavalue":{"value":"W1555375604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534664$482A5392-A3DD-477D-AC8D-D05663140A9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3274e50a67589976e3e9b2a36563472f58dd3351","datavalue":{"value":{"entity-type":"item","numeric-id":3639755,"id":"Q3639755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e51ed05e1190d571e2f6d2a9dbf3c363f7eaa5","datavalue":{"value":{"amount":"+0.93502194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3534664$20035FF2-277F-4663-9B45-07D238297C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9115d84d40bff5da3567c877d3bf420d8ce280ca","datavalue":{"value":{"entity-type":"item","numeric-id":5505494,"id":"Q5505494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0522bcce478070f6cf678beeadd15a05a73f131b","datavalue":{"value":{"amount":"+0.9013956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3534664$5D23E468-01C5-424A-8F60-034736186BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab352b4544a15a3279f3a48178d29c3d410c5fca","datavalue":{"value":{"entity-type":"item","numeric-id":4473048,"id":"Q4473048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ef6db6e00bbfb8a5ff8c4e601b8f4f7e6c6cada","datavalue":{"value":{"amount":"+0.900844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3534664$64FA633E-60DB-4A1E-9C96-A0E5A34F71C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d65e93e4fbb8469cde83b7ef363076e645bdaa8a","datavalue":{"value":{"entity-type":"item","numeric-id":2818006,"id":"Q2818006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ca92579625a72823f4619902dc2917145f30d17","datavalue":{"value":{"amount":"+0.867204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3534664$462983D3-9271-4ED2-8E90-38109B936E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59749457507943deea09a732bc974cc8e3df5c48","datavalue":{"value":{"entity-type":"item","numeric-id":1190510,"id":"Q1190510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"017ef70e204f066dc14069b4f82a52ed1493f898","datavalue":{"value":{"amount":"+0.8599252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3534664$A89A1418-8E18-4445-963C-BE492C76C1D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3534664","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3534664"}}}}}