{"entities":{"Q5026334":{"pageid":7055911,"ns":120,"title":"Item:Q5026334","lastrevid":41757221,"modified":"2025-05-08T00:39:35Z","type":"item","id":"Q5026334","labels":{"en":{"language":"en","value":"Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7470496"}},"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":"Q5026334$DC9CAE62-E831-4643-9F0B-9096ADBE2D40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f5400de9a3ea489bba6838188b2107cc5db9cf5","datavalue":{"value":{"text":"Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5026334$47C85844-D820-490A-B2A2-B54F0BADE37B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"093ad6c72816da40475dbd7feba382fc36143150","datavalue":{"value":"10.1561/2200000081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5026334$43441867-60C7-4145-A22E-760EA7CC5971","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"690670cd824a93a16fd51ff8498444f40436681c","datavalue":{"value":{"entity-type":"item","numeric-id":2104544,"id":"Q2104544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5026334$2491A940-045E-4A0E-9927-F8ED281A3923","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6fda26bf3ac5159f06f54c532972dd80b603c0cc","datavalue":{"value":{"entity-type":"item","numeric-id":65939,"id":"Q65939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5026334$D720F356-A6E1-4F91-95D5-76F9FA8A86D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7aa11683cd15ce5a964ad11892ef1d2e6a1089b7","datavalue":{"value":{"time":"+2022-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5026334$9CCBCA50-9665-4F2C-AC09-033DDED63849","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5026334$A17EB7BD-2F94-4C18-9362-303190541F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5026334$7C1A7777-BDC1-4CA6-8042-BB17DB06D484","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61ec771838f3133b0c20d81ce1217761ea9b9906","datavalue":{"value":"7470496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5026334$C2350E33-3FF1-4AF2-B56F-D508A5858A63","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":"Q5026334$F909FC59-D8A8-4E57-808E-BDEC4E5CA361","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"657ccc9bd511ce19016f3389114ff4b0684d389c","datavalue":{"value":"https://doi.org/10.1561/2200000081","type":"string"},"datatype":"url"},"type":"statement","id":"Q5026334$7F7FFACB-8F2B-4C04-A6D0-E94C912B226F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71fb211725eee8aeb7578c52cdb1e9b4396ea95e","datavalue":{"value":"W3210841499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5026334$C12ECBBA-EA8A-4FBD-9851-9BC5C3884016","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"733045d4bdb6ac84e39d437da15db86acd1c641d","datavalue":{"value":{"entity-type":"item","numeric-id":6108816,"id":"Q6108816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c2562913894c1b1c07bae01b6a838dc33f05537","datavalue":{"value":{"amount":"+0.90348595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5026334$A57C739F-E059-4652-8C6C-166F41A322C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eab127e20c4e479e5e30e398294a19c06fe4cca4","datavalue":{"value":{"entity-type":"item","numeric-id":2351414,"id":"Q2351414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b4e881ec426e79f3399888f4ab5b4da9ba08d56","datavalue":{"value":{"amount":"+0.89594537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5026334$F89CD784-AFAC-4627-AFCA-1521E6602F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e6e726c1ccf3d48bbd9191c4571af0a1046a6a6","datavalue":{"value":{"entity-type":"item","numeric-id":485842,"id":"Q485842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"204b8e5f2f7581384b7275fa4431c5509c03446c","datavalue":{"value":{"amount":"+0.86156166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5026334$8E0418DA-9130-4932-ADA3-CF83FD01A388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"830c74650cf68ba8aada8da8395ac7839eee95bd","datavalue":{"value":{"entity-type":"item","numeric-id":2066955,"id":"Q2066955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae1f2fe6fc0434160912dc6283833674460a0063","datavalue":{"value":{"amount":"+0.8476415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5026334$6900FE99-5AE0-432E-B9FC-CF1DA7E78E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96c1b94eaf00f419592c0db5550312cdb39e980b","datavalue":{"value":{"entity-type":"item","numeric-id":6166153,"id":"Q6166153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"837cec1640edcde5c18bd55787b3b90b78cad87c","datavalue":{"value":{"amount":"+0.8460157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5026334$62E2970D-F4F3-475B-9DF7-83772C05B4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e6913043492ae567a50f78cbe3de589d12453a","datavalue":{"value":{"entity-type":"item","numeric-id":4530367,"id":"Q4530367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dea51aa726f6f17648283fc00564515475767f24","datavalue":{"value":{"amount":"+0.84449875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5026334$67941180-A4EA-4557-AE02-30B8F849BD42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5026334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5026334"}}}}}