{"entities":{"Q3636877":{"pageid":5666783,"ns":120,"title":"Item:Q3636877","lastrevid":50694833,"modified":"2026-01-14T20:15:19Z","type":"item","id":"Q3636877","labels":{"en":{"language":"en","value":"Generalizing DPLL to Richer Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5571916"}},"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":"Q3636877$595C897C-0ADB-4B69-A8C7-B41019CD08E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3771c9ea214a900c74c01851be00aa55da6c7da5","datavalue":{"value":{"text":"Generalizing DPLL to Richer Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3636877$CE07EAA5-5A5F-4692-9D3B-78C8FC25806F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a332e97018e98d4128d155f062b4ba1fb73b610","datavalue":{"value":"1242.68282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636877$9D2EF7FA-1CE8-4E3D-8527-C2A299D62E5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35f6f4a4a9bfbd07b8a1021a606c65636655f7ca","datavalue":{"value":"10.1007/978-3-642-02658-4_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636877$74A8D3BD-CB45-42B4-B756-FDCF329CB882","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57a84b3343ed70002617a9eb1439c18c15bac9ff","datavalue":{"value":{"entity-type":"item","numeric-id":934708,"id":"Q934708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636877$3FCA3D65-CC57-4EDE-AFCC-2090EA6C3B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df2e2f048ee84a3352ba33238fe71a96642fbdee","datavalue":{"value":{"entity-type":"item","numeric-id":3636876,"id":"Q3636876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636877$BE1A5A00-1680-4F38-8B94-96E5598812E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc21e11847c1c83cb4b05afd906a2cc9c2cd1694","datavalue":{"value":{"entity-type":"item","numeric-id":671678,"id":"Q671678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636877$B0C808EC-73D7-47C9-856B-DBEEA40A90C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636877$6B868DCC-F7EF-4B31-BDDF-DFD3001139B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3636877$2D565787-F824-4B26-9700-0C3B2096DF78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636877$44AE3E09-0F7A-48DD-8B5E-58E42129C391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636877$E5CEFF21-40BA-4C10-B79A-6C7C9ED421A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636877$03EC6DE9-B06E-45B8-A7A0-6D6A93AA9260","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fef176e197a9c844a3077463df0519830d6645c5","datavalue":{"value":"5571916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636877$70A7397A-5AC7-4CC5-8D7E-433F48A011D7","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":"Q3636877$62444174-95AE-41B8-959B-40DC1560023C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"482a10f1679b17435ff39d34e40e9ea88830ed87","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02658-4_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q3636877$B5436A6F-4433-4D6D-B4B9-162D37EF80BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a020f029b3f66ecad3a57e68022220669d1946e","datavalue":{"value":"W1556578161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636877$8E2A10C9-4A97-4883-86C3-B57D132A2E44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f73ef4e4cd40d6dc34268d177258481051eb4b8e","datavalue":{"value":{"entity-type":"item","numeric-id":5716574,"id":"Q5716574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77414472bbe9ef63b9fab76ca2bdbfd098bc3ea8","datavalue":{"value":{"amount":"+0.8129100203514099","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":"Q3636877$3C30D3F8-EFB3-41E7-80BA-D7B9B77E3FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbd1f875057910272dc1f6cefa7437b5d6cd54c8","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2539f8dfb27cb5971316551849a1d68c683d351","datavalue":{"value":{"amount":"+0.8063181638717651","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":"Q3636877$0A9C9302-0E7D-4A80-AEFB-A3893EE9648D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"909541a349ce169f9b5091df34f4a238ccb451fa","datavalue":{"value":{"entity-type":"item","numeric-id":2643080,"id":"Q2643080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4dfd081b637a769119132f4687697bd25a70833","datavalue":{"value":{"amount":"+0.8038359880447388","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":"Q3636877$BF430B6F-1459-407A-94E9-DF6D971826D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47fa51543127b144699ea47ffbe93caf3f9b06a","datavalue":{"value":{"entity-type":"item","numeric-id":4708927,"id":"Q4708927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c9906df8a6799eaac2014db565fa5485a2e6089","datavalue":{"value":{"amount":"+0.7924933433532715","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":"Q3636877$A6B67F2D-C2D6-4254-8D21-43E8834BD22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47227c3ededf306d0bae5b081c3c2eaf0e20bdbf","datavalue":{"value":{"entity-type":"item","numeric-id":5312898,"id":"Q5312898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21a2ca763d5901e2f071975d373bd65f6b11ce59","datavalue":{"value":{"amount":"+0.7903923392295837","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":"Q3636877$D5C0DFC7-C281-4755-9602-04E7D051BA23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3636877","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3636877"}}}}}