{"entities":{"Q4968372":{"pageid":6997951,"ns":120,"title":"Item:Q4968372","lastrevid":41630650,"modified":"2025-05-06T14:13:24Z","type":"item","id":"Q4968372","labels":{"en":{"language":"en","value":"Dependency Learning for QBF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7080121"}},"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":"Q4968372$86750477-8A0A-4108-B371-13FE1E208568","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c95855045f2490c3322dede9f847e985cdc3d606","datavalue":{"value":{"text":"Dependency Learning for QBF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4968372$D5CCF055-1014-477F-8672-E4335FD2F284","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92d832ab6d6c8601387a3d3c1ecdcd26c847a58c","datavalue":{"value":"1477.68293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968372$A2651CEB-F323-4FB6-9B9A-23BF89C2698F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44a7661dcb421346e6d54a3423b58fd3896ae0e7","datavalue":{"value":{"entity-type":"item","numeric-id":1656582,"id":"Q1656582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968372$15E8590B-C593-4BD4-B679-848D321B6F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea7245a8985e7729dbb2100021fb8a2a32efed15","datavalue":{"value":{"entity-type":"item","numeric-id":287385,"id":"Q287385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968372$B2294CDB-6E98-4B7A-B0C3-A1BF1E23D2DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968372$3FFB5A0A-5150-49F5-8B7F-7223F880DFFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb469f8c3341c58b96368431d3c87cbee3d3281e","datavalue":{"value":{"entity-type":"item","numeric-id":110835,"id":"Q110835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968372$15AC2B11-9C3F-4662-9399-FC77A7E5ACFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0eaf95e77ca1b4130000107923cf17e957ee1827","datavalue":{"value":{"time":"+2019-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4968372$A89E2019-B00B-42C6-B9B6-1D9361F7E5B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968372$7332AEFB-868F-4B4C-8B0A-EE9DA53CB1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968372$0D8CA3DF-D479-467E-BBFC-DC763D2B1128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968372$9B8887AA-0F96-441A-ADF0-D95CE2B575BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db4ac65c9671319059f70388b46eb0728a97a863","datavalue":{"value":"7080121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968372$4A32A570-4CAD-483E-B7DE-2D2A97636969","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69e13163a931905612d902e8a688f59d2c022612","datavalue":{"value":"quantified Boolean formulas (QBFs)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4968372$F867738D-AFF6-4C0C-8E5C-36568692986E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0fb5bd46b449d253c16116ae9e9c60bc357d3","datavalue":{"value":"quantified conflict-driven clause learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4968372$88753A61-90C5-4866-B93B-144CA8691C99","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":"Q4968372$B6B57352-FF6F-467C-B0C2-607B5DDBDFCF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27fab4cf5657f03fe6166568582080ee7fd660f7","datavalue":{"value":"https://doi.org/10.1613/jair.1.11529","type":"string"},"datatype":"url"},"type":"statement","id":"Q4968372$38F66E2C-785F-4F10-BBF0-67D47540DF99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ec9e6bf3c840c3382f99e4b54a84c2faf6156c4","datavalue":{"value":"W2952988220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968372$D0E269DF-7660-4793-BECA-07F1F1AB57CD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cd72e829314b1822b402d3292bb3eff309ea695a","datavalue":{"value":"Q127639457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968372$378E0DF1-BCEC-4BB3-BEDE-4CF39D94184E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e957fb8eea3d07dc4c15a79da405a85622bd1a6d","datavalue":{"value":"10.1613/JAIR.1.11529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968372$578C79D3-0519-4940-B49A-F720A4071F29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef9e04a5281dad58360fba33cee7ce694420be2f","datavalue":{"value":{"entity-type":"item","numeric-id":1680261,"id":"Q1680261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","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":"Q4968372$2DEC35F2-58D8-4333-AD62-5FAA496FF58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"018a88b6a5578f55afb9c1596198bff89ffce652","datavalue":{"value":{"entity-type":"item","numeric-id":264983,"id":"Q264983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9fe379c09806c698516abd859d98f6c9e0b217c","datavalue":{"value":{"amount":"+0.87042725","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":"Q4968372$E7DF3E8E-0008-4523-8E9E-FC30FE7B105B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d06a54f9f58d70b750796b92f3947935b7f23d6b","datavalue":{"value":{"entity-type":"item","numeric-id":4930586,"id":"Q4930586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feed41bb04facbd8b4cfd731455df2f38eb21222","datavalue":{"value":{"amount":"+0.86870193","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":"Q4968372$4A545A2C-7533-4203-B231-0FFA2C44573F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc51c91a5e47a3b20ee19539a297cbb42ce11e6","datavalue":{"value":{"entity-type":"item","numeric-id":1680263,"id":"Q1680263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d41b57f9150a7dc630b28cb0f4f8da3756eb18a8","datavalue":{"value":{"amount":"+0.86035264","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":"Q4968372$68E115EE-E292-4B6A-A6D1-2A66B1B57D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df6e515178c765c14331c2e028e85afa819ba47f","datavalue":{"value":{"entity-type":"item","numeric-id":3637175,"id":"Q3637175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2750095e2f1187981571337fabecbc100cbf60","datavalue":{"value":{"amount":"+0.85213447","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":"Q4968372$E0F39CFF-F5E1-4E2B-973C-B6132C695691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e31b3868b35c8adfea7f296c098db6a941e819fc","datavalue":{"value":{"entity-type":"item","numeric-id":2879140,"id":"Q2879140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a1674e68cfd75f8897e40e49df8b05ec5d50a0e","datavalue":{"value":{"amount":"+0.8504718","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":"Q4968372$CB96D3CF-A644-49F2-BE87-40F793D1B64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"181ccc27ed8705e5b141dc42c44e7d972c387712","datavalue":{"value":{"entity-type":"item","numeric-id":1704556,"id":"Q1704556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56a0f301354b58fbec4e5e8ee64b8e7a54e7e1fb","datavalue":{"value":{"amount":"+0.8494529","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":"Q4968372$A81D05A5-D003-45E6-A327-8144BA69B04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24e9700dffada038dc1ace3da1c0dd29f0403c82","datavalue":{"value":{"entity-type":"item","numeric-id":533874,"id":"Q533874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b7f45ebc0ddf6102a8997d3c05964afe2feff8f","datavalue":{"value":{"amount":"+0.8489176","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":"Q4968372$BB3601AC-DCF6-48B9-B911-0C32E4C66512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5fbf79c7cef7b43d8c2871e490a5b7d3d7beafa","datavalue":{"value":{"entity-type":"item","numeric-id":5170277,"id":"Q5170277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60b6f5403f76d6eb788c0a8e37184a3e8b68e9eb","datavalue":{"value":{"amount":"+0.84764457","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":"Q4968372$04A1A745-4893-4475-8E30-220FB2638CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c302174dc4413764cc10741d23a3d5bfa4a52115","datavalue":{"value":{"entity-type":"item","numeric-id":2148900,"id":"Q2148900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fb87ad11c438c41717450f57a34b71a449f3783","datavalue":{"value":{"amount":"+0.8416177","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":"Q4968372$ED16C186-FC66-4194-9120-AE7EC64DD28D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4968372","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4968372"}}}}}