{"entities":{"Q6957138":{"pageid":21246354,"ns":120,"title":"Item:Q6957138","lastrevid":84072548,"modified":"2026-05-09T09:39:02Z","type":"item","id":"Q6957138","labels":{"en":{"language":"en","value":"Active learning for SAT solver benchmarking. Extended and revised version"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8065840"}},"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":"Q6957138$08844CA3-30A5-46D4-9DCD-37EF9A40E493","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8e2d644b29ddde6fc4794ee0b13711eedd59cfd","datavalue":{"value":{"text":"Active learning for SAT solver benchmarking. Extended and revised version","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6957138$068E0FE7-1845-41B2-BDB7-8E56C311E26F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b977c0584e49da1e90f7986967cc2115af9864e7","datavalue":{"value":"1569.681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6957138$1DC5250B-6D3C-4075-B103-1F9024BC453E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"178c361dd288224a2e26a0bb73ad478918cd7a77","datavalue":{"value":"10.1007/S10817-025-09729-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6957138$82C2AC08-F356-48BB-841D-EEF6DEBD3C79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fbf85d1b87be86187fcaeb14b54ab6c623ccce6","datavalue":{"value":{"entity-type":"item","numeric-id":6918428,"id":"Q6918428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6957138$2F87FA2F-F850-4DDC-A7A0-401BA50AF0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"759349e71cad8013caf39bef5f2b9d0620a5dd14","datavalue":{"value":{"entity-type":"item","numeric-id":6572010,"id":"Q6572010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6957138$1C2A0975-D90D-4057-8AA9-EB7875D3459D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd232b06d10036c80884b9a858c30c48129d2788","datavalue":{"value":{"entity-type":"item","numeric-id":334793,"id":"Q334793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6957138$71AFC275-3E75-435A-A31D-E0323B9E7AB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6957138$7952654E-EEF2-4656-9578-ED441AB12E75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"efad754626f161cd66c554302db22bd9c4d46e2c","datavalue":{"value":{"time":"+2025-07-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":"Q6957138$34762378-A4C7-4772-8089-147BCD184E75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6957138$7FC67FF3-CE5D-44FB-8089-9642ADE3EE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6957138$C32410D9-E2A2-4FCE-B60B-F6A0C382E802","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c5850d2ad74b84455e4ea72658406cf2370a790","datavalue":{"value":"8065840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6957138$13557443-0C54-4EF5-8602-DA9584BAFCC9","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6957138$E17BABD7-926F-4A5B-B12C-A7C54FB634BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6957138$B6CF67E4-5F4B-4912-9864-5A5BC56DD3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"857cca983a7ae60f3ab7a4914eae3e6e935b13b4","datavalue":{"value":"benchmark selection","type":"string"},"datatype":"string"},"type":"statement","id":"Q6957138$2F5E295E-04BB-4B5A-8DB4-B9A46CF9B97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdd3f5520afe65917fef71fbdb2e37f6590f2b38","datavalue":{"value":"active learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6957138$BD4F733C-88CB-4235-809A-35A26449B90D","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":"Q6957138$18A841AB-6A6D-4D15-8290-7FB64905970C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a73b7e48adb4260cb48d91e95198beb0803e94","datavalue":{"value":{"entity-type":"item","numeric-id":5952197,"id":"Q5952197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6957138$8AF543CE-C490-493F-80F8-942FBB792604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c83d7ffc8a32c952030896af3b3f4bbac57e0e73","datavalue":{"value":{"entity-type":"item","numeric-id":3327527,"id":"Q3327527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6957138$10164A42-F389-4D5B-91AF-FC5269BA2834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd91d0f75d460b40c4f5e874c6f021488cdb98e","datavalue":{"value":{"entity-type":"item","numeric-id":2060693,"id":"Q2060693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6957138$66CE440C-57F1-4095-AC8A-B12E63A9B133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a51c18a152fc4264aa7f010500496e68cdb174b9","datavalue":{"value":{"entity-type":"item","numeric-id":6572014,"id":"Q6572014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6957138$9DD70DC7-7388-42AC-B573-E08CC65644A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2a2af091e2606a6b9c328afacab0072132ea64e","datavalue":{"value":{"entity-type":"item","numeric-id":3007693,"id":"Q3007693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6957138$1007A2C6-7D6F-4315-83D5-F30325761F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fab24cfd7b4b54843ae0cb79e02438885e83483","datavalue":{"value":{"entity-type":"item","numeric-id":2490552,"id":"Q2490552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6957138$BB4534AA-2ADA-47C3-BDE3-518EBA87782D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea07b61116e983aea147d2d19eb95c72444cbb8e","datavalue":{"value":{"entity-type":"item","numeric-id":6864423,"id":"Q6864423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6957138$FCEED9C8-4DC7-48FE-A1FC-0F9210088B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff4dd1a2bd1801cd74b08681f83662750dbee3f","datavalue":{"value":{"entity-type":"item","numeric-id":511788,"id":"Q511788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6957138$376865EE-A4B6-4491-B389-540A5EDABDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed527386b6fc015efdcb1ff783f9a7f5d310407","datavalue":{"value":{"entity-type":"item","numeric-id":2299084,"id":"Q2299084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6957138$A8D8677E-9B8F-4101-AD4A-A9BE16552ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdbfb47549943b1416c0ea31be53503a2cffb8d0","datavalue":{"value":{"entity-type":"item","numeric-id":5396710,"id":"Q5396710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6957138$B76B9A0C-627B-48C4-ABB8-F3F99A3CCC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2667127ff7e04fad7bf3f88432b6dcb7791cab15","datavalue":{"value":{"entity-type":"item","numeric-id":3624141,"id":"Q3624141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6957138$C8A5A1FA-D36F-4F78-AC89-612211CDF9E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Active learning for SAT solver benchmarking. Extended and revised version","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Active_learning_for_SAT_solver_benchmarking._Extended_and_revised_version"}}}}}