{"entities":{"Q3453209":{"pageid":5232609,"ns":120,"title":"Item:Q3453209","lastrevid":88352867,"modified":"2026-06-04T14:18:15Z","type":"item","id":"Q3453209","labels":{"en":{"language":"en","value":"Laissez-faire caching for parallel \\#SAT solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6512564"}},"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":"Q3453209$730BC1B6-358D-4CB6-AF54-9314E95E8377","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2af9f119397e97b7a46ef0c07847f6d6d49ea923","datavalue":{"value":{"text":"Laissez-Faire Caching for Parallel #SAT Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3453209$DFE519D6-DC80-45BD-A769-1D67C0DB2527","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84b902dab8c8da8962ab94fbf9dc7d38cf43138f","datavalue":{"value":"1471.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453209$791ED657-089E-4DA5-88FE-E9F705A8F82E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fd43ec4b884299e9e17b32f50d9ad9bb555977c","datavalue":{"value":"10.1007/978-3-319-24318-4_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453209$069EE828-8955-418D-8E49-BCD1AB2A7305","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1a66d42aa9bab688fc189296c8198eb5d830d2f","datavalue":{"value":{"entity-type":"item","numeric-id":3453208,"id":"Q3453208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453209$BAB62728-4338-405B-A423-1D333A4E674F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99cfc7b60e7d4aa9e2822bc8bbedca020651b4de","datavalue":{"value":{"entity-type":"item","numeric-id":453487,"id":"Q453487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453209$EEF274D1-E527-46AF-ACD2-8EEB19937722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0db1c1d4758cc84ba91e5181bfa794ba378ebc68","datavalue":{"value":{"entity-type":"item","numeric-id":402124,"id":"Q402124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453209$83C664E5-A28C-4F13-A0E8-23F4C62021CE","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":"Q3453209$CBE6BD45-F593-4497-B7F6-D8691599E02F","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":"Q3453209$D21FC615-2A69-4693-AE7C-023657A3D611","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453209$D1350745-2AAA-4907-B427-B3DAB9774BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453209$779B551C-FC9E-4CD9-AF69-50F24AB2E380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453209$27AF5E96-1263-4B57-99C6-BFCF6C6809E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453209$E15E6C2C-47B4-4340-A346-13D06677887D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b60ef9767d88c36577c8eec64a790401956375a3","datavalue":{"value":"6512564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453209$2BC92F97-3B92-430D-8125-F491ABA7281D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb98959f668eb01cbe58577bf16b7fabdd875b88","datavalue":{"value":{"entity-type":"item","numeric-id":19060,"id":"Q19060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453209$8074F2DD-2B63-4F27-9449-E8E9BA08633D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bc5b42e5d20ec8103a8b770091eb70baaf5a20d9","datavalue":{"value":{"entity-type":"item","numeric-id":23399,"id":"Q23399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453209$142311D3-4451-47AA-939E-35DC9E04BE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4471d74dba0f082d6eb87b9d0e3918e9ef420175","datavalue":{"value":{"entity-type":"item","numeric-id":13299,"id":"Q13299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453209$4BF22D93-52F1-4028-A587-2CB5FBDBAAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce0f23a1450b88166e84d8a844a22644577f2bd2","datavalue":{"value":{"entity-type":"item","numeric-id":16271,"id":"Q16271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453209$1A3D5648-0E37-4A49-B53B-F6DFFCF115A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0ef7aed5e557965de3f0d4aab5d60887968bacb","datavalue":{"value":{"entity-type":"item","numeric-id":19149,"id":"Q19149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453209$4FE1DEE7-EB30-43D4-818C-AF46B1986C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbe2b9a97ce0ea3098b4e4971345da27fad3d33e","datavalue":{"value":{"entity-type":"item","numeric-id":39735,"id":"Q39735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453209$F18D2B61-1811-4936-A7BD-3FEA9A4411C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3810c7bf221b43532b3d15bc5d7a1106ebd12ec7","datavalue":{"value":{"entity-type":"item","numeric-id":25229,"id":"Q25229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453209$8126A677-1E56-4B47-8D41-421DDF5E7E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce9cbcc0fc2b6a78318bde796c3568f4cac70749","datavalue":{"value":{"entity-type":"item","numeric-id":28582,"id":"Q28582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453209$3A2098E7-AE9C-4BA8-BFE6-550C7F44986C","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":"Q3453209$A13EBAB4-FBF5-468C-B43B-78058842E27A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5ba3b49ac42407e6e62ce5f1cb0d73c99d2d797","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24318-4_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3453209$480FEE7C-506B-4EF8-AB6C-04C68432DA9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dadfa19e9777a57ad1633713387bfc49e0131ee1","datavalue":{"value":"W2232506718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453209$79EF4D28-2D44-4BFC-8F64-A4A958C4F3E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453209$EA88C7C9-350B-43C9-9D3E-FDB7DFC5F843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c8d5eddf468fb9caaf115078e71237f2f3f1a8","datavalue":{"value":{"entity-type":"item","numeric-id":3639754,"id":"Q3639754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453209$17EC1A2A-A2ED-4992-930B-B26FF5CC63FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7822b32c270c4bed5a3c343d0bc07d27a793e5a","datavalue":{"value":{"entity-type":"item","numeric-id":3639756,"id":"Q3639756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453209$28FE86A4-306B-4F4F-BC8D-000A46761C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453209$E1CCE0F3-9F54-4DDA-98DF-28F50818A911","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":"Q3453209$FBAC7825-6AEE-438B-A1C4-FDE176CAD889","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a643294d0d533be82043cb2510bcf3e584ae9fc3","datavalue":{"value":{"entity-type":"item","numeric-id":5713713,"id":"Q5713713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c88abee4908bfd2821723a28bc0d15699f133366","datavalue":{"value":{"amount":"+0.7448473572731018","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":"Q3453209$496C9AEB-CB8B-4CAF-9D88-7FF3675BDA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"625a27eb172927f94786dd34b96bd201b46dd874","datavalue":{"value":{"entity-type":"item","numeric-id":3181647,"id":"Q3181647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d18d4fe0e4264c9e687f67364c2867b46af78101","datavalue":{"value":{"amount":"+0.7295396327972412","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":"Q3453209$14AF63E7-00C2-4207-808D-41B64E090B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13df1c526b1c317938277e04d92af8f7fcbf9e60","datavalue":{"value":{"entity-type":"item","numeric-id":3639756,"id":"Q3639756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f7c5e43c86e02f454c1006aba5c3fb5ac8bbf9","datavalue":{"value":{"amount":"+0.7169423699378967","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":"Q3453209$4775AA05-AAE9-4422-8703-44C285D5E85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb80b282a0e61a87fb275ee18765834afdc4d96a","datavalue":{"value":{"entity-type":"item","numeric-id":3604001,"id":"Q3604001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3cd5585f31971c59f434d656e3bbf8aba15675f","datavalue":{"value":{"amount":"+0.7167194485664368","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":"Q3453209$31278A20-9CFB-46D4-83FE-FE46B47DF419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e27ff0b1b081ce4c0de994a3ba60a78067aeed1a","datavalue":{"value":{"entity-type":"item","numeric-id":1656574,"id":"Q1656574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39d64ae91cf673a3e66b9e40f0e9f5909c96981b","datavalue":{"value":{"amount":"+0.7106158137321472","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":"Q3453209$B440B77E-F48C-4494-A2D6-8555F78443FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Laissez-faire caching for parallel \\SAT solving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Laissez-faire_caching_for_parallel_%5CSAT_solving"}}}}}