{"entities":{"Q3192185":{"pageid":3202893,"ns":120,"title":"Item:Q3192185","lastrevid":52096613,"modified":"2026-01-20T22:35:05Z","type":"item","id":"Q3192185","labels":{"en":{"language":"en","value":"A gentle non-disjoint combination of satisfiability procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348231"}},"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":"Q3192185$AA021C9D-27EF-4E29-85B6-CC15076F2BF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99dfbc6ded5b051f85aec6fa68935600aed4b031","datavalue":{"value":{"text":"A Gentle Non-disjoint Combination of Satisfiability Procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192185$9278262F-777D-491D-9059-6DF782F99DF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9995965205ad8645c0dfa3e0ca71298d9f2b0caf","datavalue":{"value":"1423.68441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192185$8E99F3EF-1240-4B58-9311-7B939B2F8084","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7fca0097de0a967d0836ab58fcbc91160e84f47e","datavalue":{"value":"10.1007/978-3-319-08587-6_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192185$080BEAAE-FE8A-40D9-B45D-4503534CB23C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24416dda56f91c79660c45e6385d4f04320e7a7b","datavalue":{"value":{"entity-type":"item","numeric-id":2303235,"id":"Q2303235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192185$90CC5C5D-F3A5-4FCD-937D-A52B558C7D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17d182828bb3dd01cff9766a0bb3efe1eeb4424b","datavalue":{"value":{"entity-type":"item","numeric-id":436375,"id":"Q436375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192185$48DD0104-F7D6-4449-ABBC-CAC549344D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d2abcbf491e57c8b4eebf23b3e8446f4e5bbb9","datavalue":{"value":{"entity-type":"item","numeric-id":831918,"id":"Q831918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192185$1063ADBE-6C56-4299-A7A9-78E22FFDBBEA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192185$EB75C6A9-49D3-48CF-A496-B5EBB5A4B4A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3192185$B2349EAF-AC2B-4BE8-8BD7-914B686A118E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192185$926E27E6-3AAD-479E-90D8-3688BF369148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192185$94D991A6-E425-4080-98F0-2EB4C1AFE4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192185$EC3A7049-DD33-4DBD-BB79-9BAE12C82C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192185$7FF4C9EE-1F11-4C29-B508-02939E474B80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de03492e2bde763112b14eb744b4a5dda5305a6b","datavalue":{"value":"6348231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192185$64C52D92-9E87-43F0-A48B-CD74A747BB98","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":"Q3192185$82AB6F47-E64F-4E3B-8053-3D64938B558B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b12c648ebaacb5514e279448dbae0b32f39976a0","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08587-6_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192185$3F7AD9A8-46EF-4500-8E7A-E20740A247EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e8c35d4f7d3f56cb9f4699f588bcc51ae21d6b8","datavalue":{"value":"W2210320991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192185$0E7576D3-8816-44B5-A9E3-AD6502B52B17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43b31fc71a6b23556d529814a409bb49f6e92fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1853591,"id":"Q1853591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0708e64025e89b5c86aa645c670c69e0c1ed572f","datavalue":{"value":{"amount":"+0.8380013704299927","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":"Q3192185$C3B62A78-44DB-4FBC-947B-0D6BDAE3541F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64897cf9e7011c6f9fb9626035f5334d40e22842","datavalue":{"value":{"entity-type":"item","numeric-id":556677,"id":"Q556677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1051a8a421524070e438a628e9237e28f52a3037","datavalue":{"value":{"amount":"+0.8308708071708679","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":"Q3192185$D5F4BF04-88BE-4EFE-A4BD-78EB556D21FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8157259c03a3a2f5168075e41add92e458d02026","datavalue":{"value":{"entity-type":"item","numeric-id":3454111,"id":"Q3454111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56a0d20eb3d6c708c547130fa326fceb9ce3c941","datavalue":{"value":{"amount":"+0.8295701146125793","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":"Q3192185$25DA0372-66D3-42CE-9B39-CA47BFC5B710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b029dedb84983a37d837c81ef7ef3252417e9d4c","datavalue":{"value":{"entity-type":"item","numeric-id":851136,"id":"Q851136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1ab4b7fd00780e825d1a7c346c3cbc64f829f57","datavalue":{"value":{"amount":"+0.8258382678031921","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":"Q3192185$6AEB3150-BD2E-4A70-B39B-12B5761A896D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3cd9ce0af33079d47a79e6937224e1c0a3e7130","datavalue":{"value":{"entity-type":"item","numeric-id":4916220,"id":"Q4916220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cee355fada72b34b34a881d90d49072ed876d896","datavalue":{"value":{"amount":"+0.8246811032295227","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":"Q3192185$DF6060AD-F47C-4F87-849C-E4F68946197B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3192185","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3192185"}}}}}