{"entities":{"Q2843321":{"pageid":2854041,"ns":120,"title":"Item:Q2843321","lastrevid":79615487,"modified":"2026-05-06T14:19:52Z","type":"item","id":"Q2843321","labels":{"en":{"language":"en","value":"An improved separation of regular resolution from pool resolution and clause learning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6197744"}},"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":"Q2843321$DC08952B-47D2-4928-9EF2-959984ECBB86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2201565cc1fa0fa49731c0624f532b15edce268","datavalue":{"value":{"text":"An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2843321$19B86A13-1E06-4F9F-A7E3-87307122C212","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9a7bd970a3dae07299a72ddafc2cf1ded81da6c","datavalue":{"value":"1273.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843321$22F364D5-7A9B-4602-BE42-B763C56C92CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"004ec4ba6e65b2c042a65819290e2afebc215f87","datavalue":{"value":"10.1007/978-3-642-31612-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843321$D553902C-F0A2-463B-9566-2C87B601AE04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e092db0e8dd3eb069452d08315b921747f610dc1","datavalue":{"value":{"entity-type":"item","numeric-id":360041,"id":"Q360041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843321$72447BEE-79E2-4E91-9488-D84154A4B4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843321$B20F5FB4-3C34-4461-9F05-94E069C1F6C3","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":"Q2843321$DFA1DF40-CC9D-47EC-A723-4CB1CB584E82","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":"Q2843321$7CA2B073-8EDC-4919-ACC9-32356103D416","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3de58b9aff81de965636f346296a41642a6a10e5","datavalue":{"value":"https://arxiv.org/abs/1202.2296","type":"string"},"datatype":"url"},"type":"statement","id":"Q2843321$DE42F633-3AAB-46E2-B86A-B492EF3A9E6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843321$028C9B83-57CA-43DD-B655-568E2B332817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843321$88400D6F-6A17-46D6-839F-F0A04660D7AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b37f5eb6591a508e7a61ad4704044ef14019c578","datavalue":{"value":"6197744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843321$87E59ED9-97CC-47F9-8B0C-8D3F68D61E67","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"22ed6fa1073182030c7461d44a26514224e368fe","datavalue":{"value":"Q60512095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843321$9D2E38E3-860C-4D82-B38D-F04CC5733AD0","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":"Q2843321$AEF3CED4-7075-4F21-A3B4-F306B456BA1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"baec62f68967927ba508498dfe8688aea77802e2","datavalue":{"value":"W2124685959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843321$22714171-517A-43CF-B345-CE885EE63C19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00cb9494be1c0a53bbff2931f066e0b4a9c90b0d","datavalue":{"value":{"entity-type":"item","numeric-id":5415765,"id":"Q5415765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e45286d805df8abc491cb16f3903c7c62b53ada7","datavalue":{"value":{"amount":"+0.8711757659912109","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":"Q2843321$B00788A9-60B7-461C-ABF8-0BABE333F689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d5631a66c138bd30c397a56cd215b19b523f26a","datavalue":{"value":{"entity-type":"item","numeric-id":5387867,"id":"Q5387867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93d99f2796d29013ca9dedf62fc49523b2de74f6","datavalue":{"value":{"amount":"+0.8133827447891235","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":"Q2843321$C5057A5D-51B5-42EB-8D6B-5F22585F7112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c40a4290f7fd589225b19850d06e92baf84a36e8","datavalue":{"value":{"entity-type":"item","numeric-id":3502715,"id":"Q3502715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"651b43e36d05e2a7c47861c05c09909fe737b981","datavalue":{"value":{"amount":"+0.7962758541107178","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":"Q2843321$4B933467-AFAE-405D-94CA-B33D1A48FFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f51c19e621ee68c6d666e8b213dfbb6feeffa8e7","datavalue":{"value":{"entity-type":"item","numeric-id":5495109,"id":"Q5495109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd22f12f942a2d37f810398269e2b32360bce899","datavalue":{"value":{"amount":"+0.7871180772781372","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":"Q2843321$D080BEC1-36D5-49B8-AA08-E145736DA84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb8d6091d5f586e490554292f74103b1712848e2","datavalue":{"value":{"entity-type":"item","numeric-id":3623009,"id":"Q3623009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"628999684df7faef1f576a8b7ea0b8328ef5e24d","datavalue":{"value":{"amount":"+0.7832908034324646","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":"Q2843321$0407AC2C-E93C-4958-83C1-C612C2E8B9F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An improved separation of regular resolution from pool resolution and clause learning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_improved_separation_of_regular_resolution_from_pool_resolution_and_clause_learning"}}}}}