{"entities":{"Q2843342":{"pageid":2854062,"ns":120,"title":"Item:Q2843342","lastrevid":79615667,"modified":"2026-05-06T14:19:53Z","type":"item","id":"Q2843342","labels":{"en":{"language":"en","value":"Conflict-driven XOR-clause learning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6197768"}},"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":"Q2843342$16965B8F-B46F-44C7-A136-1E3D838BFFA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5706dda348cf9b4ca29471a8652e8c6816c8cefa","datavalue":{"value":{"text":"Conflict-Driven XOR-Clause Learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2843342$98EFB4DC-0509-4ED2-A2B0-F8D51FF23FA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"869f89e408e19fe05ba5d7f8ae4a0271986d2a73","datavalue":{"value":"1273.68322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843342$4126D016-12B6-4B39-82C1-183EFA2C8EE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"118fc84e50875f79ef1c0be9b9c080f3063508ff","datavalue":{"value":"10.1007/978-3-642-31612-8_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843342$E28188D1-F491-43F2-95B0-325279C9DEB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac900aaa1369022bb7a5ece6e8d2c5a8703c03d7","datavalue":{"value":{"entity-type":"item","numeric-id":2843341,"id":"Q2843341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843342$44F63599-42AD-44ED-999E-29E1D1D76986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"498d039033b9bc38216498eb57cb84dc2a55d72f","datavalue":{"value":{"entity-type":"item","numeric-id":436410,"id":"Q436410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843342$75CDBAAA-AB4D-4066-8298-BD161276C494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84a0bf8ed8d41ff3812d01e44b824eef0aacc110","datavalue":{"value":{"entity-type":"item","numeric-id":414901,"id":"Q414901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843342$B105407C-C873-4BD2-A425-7232A6791B40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"99d453d9b3b27bd3cc6141a9b9e45331f29a9235","datavalue":{"value":{"entity-type":"item","numeric-id":2843316,"id":"Q2843316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843342$929F568B-62B0-4BD4-AEB0-F0926F5D52AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f821b5a4e1b97d333daa587d84e241971425051f","datavalue":{"value":{"time":"+2013-08-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":"Q2843342$37D08626-FA0D-4941-B4A0-E251E38BDECA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b42967eb0ae1473c062b9052770565f16656b8fa","datavalue":{"value":"https://arxiv.org/abs/1407.6571","type":"string"},"datatype":"url"},"type":"statement","id":"Q2843342$0E0F74EF-1345-4FD8-95D3-1705AF92824E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843342$41C1AA70-D3F9-4B28-A27D-67E90B715236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843342$EB10C8BC-DEC1-489B-BF1D-804CAB1752BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843342$EEE8DC86-F557-40BF-8A8A-1EEB5BE35781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843342$219AC090-861F-433E-8CF0-3A8C4E174785","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df6765c6aa77c04e1945f4089b7b2bba579f4a2a","datavalue":{"value":"6197768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843342$5CF0D264-E57E-4908-A7FE-43AD4485FB13","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":"Q2843342$0B037843-262E-402A-980C-C302F41511EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed31600efd19569e1b55267b9bf946b113adf7da","datavalue":{"value":"W136158981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843342$A4225845-3C53-4ECA-9597-4ACCBEFDE45A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b87ae5ababc453776964d493b63623673a48c1fb","datavalue":{"value":{"entity-type":"item","numeric-id":2999100,"id":"Q2999100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f77d702370f9dae3557a6e6b0dbb8942458c97f","datavalue":{"value":{"amount":"+0.8207669854164124","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":"Q2843342$DFA48875-01D9-40B0-9D34-D2F45BE3E5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4fd319d3f3d0549dc990cb8bdf00c9505d81eda","datavalue":{"value":{"entity-type":"item","numeric-id":2835888,"id":"Q2835888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc1642842be1878f054d3556a57f9e93804c35f9","datavalue":{"value":{"amount":"+0.8007180094718933","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":"Q2843342$3E89F2E7-0291-4876-A317-40BB1EA11DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a102b4299cdcd1142dc21044f6b7447c46cf4292","datavalue":{"value":{"entity-type":"item","numeric-id":543613,"id":"Q543613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b0f5e0dce77dd01fd92a0d83433b2ce331c1402","datavalue":{"value":{"amount":"+0.7963191866874695","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":"Q2843342$6C96948C-5091-49D2-B000-D81FE4087927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a4c5d1b7ff4af78a4c65e8e9cd5545ab4b18bb2","datavalue":{"value":{"entity-type":"item","numeric-id":427560,"id":"Q427560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66916abafa0dc3b85282928afcc47ff4034bc06f","datavalue":{"value":{"amount":"+0.7955619692802429","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":"Q2843342$5B151ED4-29AB-4F00-98AC-6E0481C8824A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adbd40e4696f0fd5ddfba1637da940af21d4683c","datavalue":{"value":{"entity-type":"item","numeric-id":2630816,"id":"Q2630816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e27dbb3809cd0e2b2901f55cbff012e9df0aeeb2","datavalue":{"value":{"amount":"+0.7909460663795471","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":"Q2843342$90CBBEE2-2329-42FA-B487-CB7B8AA9BD2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conflict-driven XOR-clause learning","badges":[]}}}}}