{"entities":{"Q2741533":{"pageid":2752272,"ns":120,"title":"Item:Q2741533","lastrevid":47667637,"modified":"2026-01-02T09:26:12Z","type":"item","id":"Q2741533","labels":{"en":{"language":"en","value":"Towards an efficient library for SAT: A manifesto"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1642929"}},"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":"Q2741533$1C6B0502-5EF2-48DF-A942-98D8578EA945","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf7b385cd4676f8b68820cb309151e6d1f3ad8aa","datavalue":{"value":"0990.90559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741533$C1EB758D-1222-41C4-9BBE-B59321832785","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fbf1d9c0b0e83239511c911eb40c1e2a2b73d12","datavalue":{"value":{"entity-type":"item","numeric-id":414854,"id":"Q414854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$846E685A-AE39-4C3A-BACD-7AF09370DAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50a184f8e1810a1ef5255b0ff0f33bfd71675e2a","datavalue":{"value":{"entity-type":"item","numeric-id":814444,"id":"Q814444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$FD952440-323A-45C0-8E2F-7B70BD55E81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b27fb2de17ba7f26cc1dc0d940e72cb82218af6","datavalue":{"value":{"entity-type":"item","numeric-id":421445,"id":"Q421445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$B7EB54C9-2594-4018-9CAA-F9DBEF27DC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$537225E6-8507-43D0-8141-33A15DB10D2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b975fb917d02ff3cd909fbcf7490582affd2f02","datavalue":{"value":{"time":"+2001-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2741533$918A254C-2FA4-4EA6-A8B2-DEB8DB0A2904","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741533$14A5DEA7-5E5A-41BF-AE2A-09352AE7A2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d42ae7884b9335550c4d21f090798ce9c56a9bf","datavalue":{"value":"90C59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741533$B21D57A8-22D6-45AA-879E-40050FE87D9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0cab5a20a1159b3e04fb1f0b2e90c8e1d4e46e0","datavalue":{"value":"1642929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741533$91B4A248-2CC3-4ABF-A0E3-C99AE8B2A2BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741533$4413E9E6-295C-41E6-865E-86902C35AEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ffcc3545bd7b0f94969c35c641231860a38c51","datavalue":{"value":"heuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741533$B00C0193-E9E4-4EA8-93C2-F384F3501525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddb4ba9d60c408b7748bf297f3e5679cd4a95aa4","datavalue":{"value":"optimizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741533$7D97DE58-055B-4538-A3F6-DEF6C4480716","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$8350EFFD-F97D-4A2A-8177-5D89366A68C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56a9ecaca2ef35efc3f134af231037d82db08c02","datavalue":{"value":{"entity-type":"item","numeric-id":21683,"id":"Q21683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$A2626002-5B6B-4D2E-937B-D6EF0D761D3A","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":"Q2741533$B08A3166-6270-4CC9-A47C-957D7B59AD7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"140707a542a9d45a6f78619413d8c06c89d7576f","datavalue":{"value":{"entity-type":"item","numeric-id":2729082,"id":"Q2729082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$97CB1C61-743E-4A92-82C5-2AB7FEB5FCF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$91B16E90-7655-4A42-AB75-577DFCD9280F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e423a48114b9ba3f78c28da27fc1574568aa776d","datavalue":{"value":{"entity-type":"item","numeric-id":1894662,"id":"Q1894662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$87A5DE2D-0600-4F6B-9AED-343875637CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0618ab971b1402c4c34251dffc850ea86689a4","datavalue":{"value":{"entity-type":"item","numeric-id":1856168,"id":"Q1856168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$3433E833-B872-46DD-8692-9DD2F280A56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a179078c9a9f8b24e5164f170dbd1be09ede2650","datavalue":{"value":{"entity-type":"item","numeric-id":4551177,"id":"Q4551177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$5E479A13-F8D4-4758-BD9D-91EDC00A1A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0850fea071eeb746de213743329a7ceeda8fd6de","datavalue":{"value":{"entity-type":"item","numeric-id":814472,"id":"Q814472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$42A42189-174F-4451-AB05-2020A88DE881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$80B0FD32-102F-4139-BFDE-81AFF26B15F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f51283f1777725f2aa3a5276be84e22e26033567","datavalue":{"value":{"entity-type":"item","numeric-id":2751045,"id":"Q2751045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$3B04EBE6-5AA3-474C-B67B-AAF940A2BFF6","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":"Q2741533$0D1E2B35-CAD9-4F28-AB19-5FC831BFAB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df187726859ece35c574e3b46ed4b70c4952623","datavalue":{"value":{"entity-type":"item","numeric-id":1402749,"id":"Q1402749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$7B591D44-2010-40C1-92EC-C980C5916EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$68B1BA74-1047-4E94-96A7-A32018F79304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d47402a18255121e8b4c37559d3eb99d007b27","datavalue":{"value":{"entity-type":"item","numeric-id":1170883,"id":"Q1170883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$08686EDF-B46D-4B9E-B2C1-3254B5924834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b47b4c9526fb4b5aff0e914b6727194910e061","datavalue":{"value":{"entity-type":"item","numeric-id":4443408,"id":"Q4443408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$DA2CDC1C-0B4F-4E2F-B32C-E449A061CE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7706117494e751d1c2737ba8d46bbeb3bfad1e1","datavalue":{"value":{"entity-type":"item","numeric-id":2751042,"id":"Q2751042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$66488C94-891E-44B2-927F-74CC35744BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53cb64b0528c98205216ec932060ad7398d2f289","datavalue":{"value":{"entity-type":"item","numeric-id":4539619,"id":"Q4539619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$A151D74F-2488-4B47-947D-75358E2176F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fcfb988ef10885eb0a5a746c562e10876fedf0","datavalue":{"value":{"entity-type":"item","numeric-id":814445,"id":"Q814445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$6947E0F7-F662-4D53-9384-0B3FF56715FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e0f775bee1e935d1a6ba69120c0f3b760100e6c","datavalue":{"value":{"entity-type":"item","numeric-id":4799252,"id":"Q4799252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$F3D2EED5-6AB2-4AE4-BF46-1E91BBDC7930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153ff2c071bc5db7ed2a4a4864b90953ca620982","datavalue":{"value":{"entity-type":"item","numeric-id":1854375,"id":"Q1854375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$978B185F-55A4-4AA7-8567-4FCD6634A6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99293e32a910041c76f1d451ee4b6ce8648f048b","datavalue":{"value":{"entity-type":"item","numeric-id":1977752,"id":"Q1977752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$65574F20-0A70-4B15-936B-FC135353D322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9d83bc4f3bb7cf6419ff0e9982fb2b29da54111","datavalue":{"value":{"entity-type":"item","numeric-id":2721199,"id":"Q2721199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$84EC7AD5-950C-49C7-AE1E-42A12A8FE2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5599c727c68e4936c0ccf354ebed0f80ea71a399","datavalue":{"value":{"entity-type":"item","numeric-id":1977753,"id":"Q1977753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$1388C6A5-0375-4B30-AB51-DA998B0FFEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d2913ea9b1da0eff271d8ee3902caa554bd412","datavalue":{"value":{"entity-type":"item","numeric-id":1922626,"id":"Q1922626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$DA7EFF1E-9C59-4654-8BC1-5AD8BD59F964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9154c32fa843c03056a552cc1f20e4aa017d7cdd","datavalue":{"value":{"entity-type":"item","numeric-id":1267775,"id":"Q1267775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$FF74BB6B-DB29-4402-9778-C2A77D6E55A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3936030d19ec0ecb3f32ce07e84be8e6d35a86f","datavalue":{"value":{"entity-type":"item","numeric-id":2723427,"id":"Q2723427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$68BA9F0E-332F-4220-8DF1-48EE7D206A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$62E89129-2B97-45D5-9892-0550570CDC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb6b44d3ab57341d3a87da9b9124773b1ca70df9","datavalue":{"value":{"entity-type":"item","numeric-id":1977761,"id":"Q1977761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741533$0B60DF75-0545-43A8-8728-1F639453C986","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a975e845af7c2054f5f9a717527abf48222976db","datavalue":{"value":{"text":"Towards an efficient library for SAT: A manifesto","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2741533$FDDC9F1B-06A8-4691-AF95-099DE41401AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcbeeb5ebf247252bd252f2b9b4f1bdf64d126d","datavalue":{"value":{"entity-type":"item","numeric-id":4809068,"id":"Q4809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e49f888b2d35133b59b69393c32b1a47c2ecd6f","datavalue":{"value":{"amount":"+0.8098971247673035","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":"Q2741533$5C094FEE-534F-4198-B7CE-D48D752D13D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c7c95240e207c0d8b24c33c19beb8f00c024a9","datavalue":{"value":{"entity-type":"item","numeric-id":4804883,"id":"Q4804883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2c2b5a8b91f5e62f84a8f520b02422f7e4f64c4","datavalue":{"value":{"amount":"+0.80989670753479","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":"Q2741533$6FCB08DB-41BA-4195-B9CD-4CBFAB9A651F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875fa20a403e3086793eeefa974c2d02108a4d71","datavalue":{"value":{"entity-type":"item","numeric-id":3396552,"id":"Q3396552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5999b6e1b4cab2a0b545178e12e0167939379356","datavalue":{"value":{"amount":"+0.7916836738586426","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":"Q2741533$9C56F272-879C-4486-9603-3C95E4AB3C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313862bf8c9f4fc6d70623982b9ceff5538d0978","datavalue":{"value":{"entity-type":"item","numeric-id":2749862,"id":"Q2749862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cb01a6a6c7a9e4c68943f9c11d3089a771c03e2","datavalue":{"value":{"amount":"+0.7914223074913025","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":"Q2741533$FCB68731-17B4-46C8-8433-78BA5954C832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6db7f63855891cc6d180fca0c5fe57c12c56447","datavalue":{"value":{"entity-type":"item","numeric-id":4904223,"id":"Q4904223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d285cc477b8af51f547f66b3a13ca60796dabfea","datavalue":{"value":{"amount":"+0.7906462550163269","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":"Q2741533$5737168A-8CA9-439B-AFCA-EF26557C0DC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2741533","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2741533"}}}}}