{"entities":{"Q1680261":{"pageid":1691002,"ns":120,"title":"Item:Q1680261","lastrevid":68124828,"modified":"2026-04-12T21:36:00Z","type":"item","id":"Q1680261","labels":{"en":{"language":"en","value":"Dependency learning for QBF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6807233"}},"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":"Q1680261$ED1A0283-CE57-423A-A14D-9C570696CC38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ca93a69c4eeeda1e6b4343334f2d92247b456a9","datavalue":{"value":{"text":"Dependency learning for QBF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1680261$CEA124AD-EBEB-416B-BC2F-DA75D1309B87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3588cf65c4189af684b0c9cfc3cfe26b3e1aae4","datavalue":{"value":"1478.68330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680261$3A57F3B5-34DA-4831-91D3-BD7A8EDD82C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18313830b399a3537fea0fbec3f10d4d36b6cf88","datavalue":{"value":"10.1007/978-3-319-66263-3_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680261$C8043650-F861-420F-97D8-B076DB680104","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":"Q1680261$561DF863-AF01-4F6D-A412-84D157D2F2E0","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":"Q1680261$E80AFC6D-B850-4D01-9914-A8D5919FFB7A","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":"Q1680261$539F70C0-4567-4FDE-B25C-B346F24B4DF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5de28599599215268e07ae07176d0509363e1642","datavalue":{"value":{"time":"+2017-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1680261$87259473-11D3-4CAE-94C9-E5E920B21FE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6373c7290946a98e5d5407226c51b6b7eb5cf96","datavalue":{"value":"http://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3440","type":"string"},"datatype":"url"},"type":"statement","id":"Q1680261$8AABB64C-555B-42EA-8013-FCEA0C4BA2F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680261$AB169F8F-8480-4B10-8D66-D6AB83EE1355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680261$856A32F2-5AFE-48A7-B60D-DB3ED0F2E66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680261$820A313E-1B22-4A76-BB6E-67DD60909027","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80280195ef7f38739fae4ab13f958513aa549c0b","datavalue":{"value":"6807233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680261$D67DA922-0187-43BB-A9AE-0AC5E2E5D1A0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1ef66678d684041b8de78c7576de4cf0ad3466f3","datavalue":{"value":{"entity-type":"item","numeric-id":21560,"id":"Q21560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680261$72C2E06D-7076-4701-9928-659483546BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36ac489b116ea9c72cdd6f5aeb7f35ddb61dc6c4","datavalue":{"value":{"entity-type":"item","numeric-id":37655,"id":"Q37655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680261$A70AA7C7-7FD9-483D-94B7-28EA427A1BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e149ed19939172255f0aea4d18edc3d8ac9a8775","datavalue":{"value":{"entity-type":"item","numeric-id":37656,"id":"Q37656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680261$3A297A2E-4909-4809-8FD7-3BF13EA49412","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":"Q1680261$3F6E21FE-3B1F-440F-B5AE-E339F00808D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56f103c8f1927c36308626963790af7c3fcfedba","datavalue":{"value":"W2742414663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680261$B62B94E2-96B7-44B6-8FF8-47EEA35423E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"396e9f05d4ad3751d8cd083836d121e6398060a0","datavalue":{"value":{"entity-type":"item","numeric-id":4968372,"id":"Q4968372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1de3b88ec7f921843e603b687bfa15471a487c55","datavalue":{"value":{"amount":"+0.9879019260406494","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":"Q1680261$4C5A2265-F797-43F6-895F-B8D1A8813FA6","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":"87c382ba993479308e914ca717edeb8fa6919302","datavalue":{"value":{"amount":"+0.8758930563926697","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":"Q1680261$8D317B11-6877-4B7A-9F1E-01A8DDD8BD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30ecc6b6949aea32936b478ec194782c98455988","datavalue":{"value":{"entity-type":"item","numeric-id":3192076,"id":"Q3192076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f71937c13e7ff6ce1ad1a71b3046bb14f19e8b8a","datavalue":{"value":{"amount":"+0.861499547958374","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":"Q1680261$A4A6DD76-0C6D-4B32-B5B6-ACA5D3F5E7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30bffcc30c6e2e82f6795bcad4268b860b395d30","datavalue":{"value":{"entity-type":"item","numeric-id":3169452,"id":"Q3169452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb1b34b0eeaed4132610b0477f8ec410c626c2f2","datavalue":{"value":{"amount":"+0.8519761562347412","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":"Q1680261$6543503D-F487-49EB-87AF-93931C8E364C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deb61ea282983acf31e37fd5a0de564b807944ee","datavalue":{"value":{"entity-type":"item","numeric-id":2818034,"id":"Q2818034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14adb63757e4e9f92a4ca43e429f7a8f86ad5aa7","datavalue":{"value":{"amount":"+0.8509817123413086","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":"Q1680261$5B0C3759-97D6-482B-B4B3-A2C1EAB9A8FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dependency learning for QBF","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dependency_learning_for_QBF"}}}}}