{"entities":{"Q5387867":{"pageid":7417441,"ns":120,"title":"Item:Q5387867","lastrevid":101151479,"modified":"2026-06-06T00:00:25Z","type":"item","id":"Q5387867","labels":{"en":{"language":"en","value":"Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279550"}},"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":"Q5387867$3C44197A-0A09-40A4-9919-C35E03C21005","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6820c407400d3bd839c270b65ed8f5b43057fef9","datavalue":{"value":{"text":"Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387867$0E74F6AA-52CF-497E-AB0A-9CB037BFBBC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28cd6d2265f4f17df570df675325d7a7019cee33","datavalue":{"value":"1143.68582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387867$1BAD09A0-13A9-447F-B70D-A8BAB30E2C5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"285ce2918881859e8b23f2326b38e31033af7737","datavalue":{"value":"10.1007/11591191_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387867$E332744F-2E8F-4014-828D-AB32AECBA924","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387867$654E2FD9-B0BD-4992-B02C-FAE5268E0C5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5387867$A74EBA32-C054-4F2D-9896-DF45008FAF25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387867$E7F33A08-BD10-4F65-B584-0AEBA1E35BE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10b31fc7175d3dd6e5112e72a702bd8b0b2ec8aa","datavalue":{"value":"5279550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387867$C4562A53-0B14-431E-990C-D98047BDCDC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efe49c25650dcd4febba639d323fee3054738fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1104094,"id":"Q1104094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387867$A188FA37-0D91-412B-9F99-B60E48DE742E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387867$8D2C7C32-440A-4D9E-9127-9ACFC116D032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387867$62BE5B7A-F4B0-42E7-A75A-8464B0CC443C","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":"Q5387867$A03749A0-B804-4381-85F0-D34F675A9B8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fab991d54b78ad8c6d1315eb3fb5523cc4750366","datavalue":{"value":"https://doi.org/10.1007/11591191_40","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387867$FC06711B-7566-44F9-A267-D0891B3BB15F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94af36052ef9ccf667bae5442b8080761a9121bf","datavalue":{"value":"W1583139177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387867$8C41F423-9344-41C0-8273-016C0CCD9766","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5f5f27f02d3b5104773d27b9241c883f2c030c3","datavalue":{"value":{"entity-type":"item","numeric-id":2843321,"id":"Q2843321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d61d715052b933bcd174edadd75a8db06f7977f3","datavalue":{"value":{"amount":"+0.9131147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387867$6032392D-5A8B-4195-A568-3A85D6B0C09C","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":"442fd256a2d5bf0f770f0424bd4f4f09cf9b379b","datavalue":{"value":{"amount":"+0.84596777","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387867$4E82BC1C-4220-4A9D-A712-BF255A85FCC0","rank":"normal"},{"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":"5d0533d8744d42c9e4b673b615023419c8f1631a","datavalue":{"value":{"amount":"+0.82535815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387867$8D86F698-613E-4CDF-84D2-C133010D008D","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":"faae917d254901fac68ad6debcff7a626d896562","datavalue":{"value":{"amount":"+0.8207578","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387867$339BB91F-74C9-441C-9047-0BB4D3BCEBFC","rank":"normal"},{"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":"03573b7cc51eaa91601e514da08951ed45050726","datavalue":{"value":{"amount":"+0.8206382","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387867$703E32B9-D265-4C31-B5F2-88A38F74CAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e367b9365c51e5a796d1351242716e78cdb290d8","datavalue":{"value":{"entity-type":"item","numeric-id":5902141,"id":"Q5902141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8b09fd3ec6e980fccc208ab151aac2f13ed29b6","datavalue":{"value":{"amount":"+0.81906605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387867$4BB7770E-147F-4411-8009-135155000112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7d5c2eb27300f2b7854b64ee079eb9be89e6f87","datavalue":{"value":{"entity-type":"item","numeric-id":5894155,"id":"Q5894155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8b09fd3ec6e980fccc208ab151aac2f13ed29b6","datavalue":{"value":{"amount":"+0.81906605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387867$436388C3-BBDF-4D9B-AE05-3B1B096DA58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e38c5eda6b1781bc7d63173524f756d4e3ddb84c","datavalue":{"value":{"entity-type":"item","numeric-id":1042441,"id":"Q1042441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b931a8502c39d2a6c7378ab71e74e35ed85c03e","datavalue":{"value":{"amount":"+0.8039388","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387867$32A1F87A-BA5D-49CD-9AB7-2AE4D3E003E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73ab00eadfabc67b639862576bfda59d6977a671","datavalue":{"value":{"entity-type":"item","numeric-id":3624018,"id":"Q3624018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75e32e9c3ba1f67c5edb7b7a735bed425401358a","datavalue":{"value":{"amount":"+0.7952507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387867$BFC5D5E9-2DBA-4F47-A41D-6156E5FBE468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f95700db4de84bf9d6696637dd66ae877d52db","datavalue":{"value":{"entity-type":"item","numeric-id":2181941,"id":"Q2181941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef92da31e377182bca8be46d87c22ecdb17b59be","datavalue":{"value":{"amount":"+0.79463917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387867$8E518D0F-FFDE-43D8-83C8-FA9C37D8C8F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning","badges":[]}}}}}