{"entities":{"Q3524998":{"pageid":5554902,"ns":120,"title":"Item:Q3524998","lastrevid":50456636,"modified":"2026-01-14T02:37:13Z","type":"item","id":"Q3524998","labels":{"en":{"language":"en","value":"Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344243"}},"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":"Q3524998$9BAEA0A5-49B6-4BF4-BA61-30EACD38A711","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97da29507deed4475455cf6300f9819aa1842ef5","datavalue":{"value":{"text":"Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3524998$8D0DE53F-AE73-4FFE-A300-5CBC68C1F90F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3dba8f03aab7c0d6df5790fc4c76a0b7605144e1","datavalue":{"value":"1148.68466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524998$2A3FB3BA-56F1-424A-9500-C9769212236B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bf76900174ceeb2d8228b6c40c45415b73a5da8","datavalue":{"value":"10.1007/978-3-540-74621-8_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524998$F3F9C700-C368-48AA-86B3-6C0715C27821","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4553da8c1048cfe4c8999aaeff5b09130cfe2ff7","datavalue":{"value":{"entity-type":"item","numeric-id":1064406,"id":"Q1064406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524998$F4D68B50-2C98-490C-A8AE-9D16BE5D7246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ded5d73a1c3090755c930487a8f09176d403299b","datavalue":{"value":{"entity-type":"item","numeric-id":2881072,"id":"Q2881072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524998$53821B06-1174-46CE-9701-B05B597F8E87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524998$A767F847-8CD9-4F68-ACB2-8BCEDA927D85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae960b13deac5afb5a738e4b316ea7d581125be5","datavalue":{"value":{"time":"+2008-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3524998$47608198-BDFD-4205-A650-D792D9E79ACD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524998$03262447-CA8E-44F1-A8D1-704D4D6F6AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524998$BD18CC6D-3DA2-48E1-875C-F7128D1C2C7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb0fbf1d6722f645c4a383323cbde1e03d2c8544","datavalue":{"value":"5344243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524998$49B4E625-DFAD-47F8-A71B-EF78AF1A9172","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524998$F4E4C1CB-D446-4F08-B8BE-848C85CBA496","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":"Q3524998$DE55E333-5D22-499F-A447-DC7754B21D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524998$A7C8DE7D-A7D6-44FD-BBD4-9264368BEAEE","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":"Q3524998$1D703A50-150F-40D7-BED6-C59CC108A1C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a69b558803c031471e523f164fe401cccca3463","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74621-8_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3524998$A237D768-BD20-4170-A1A7-D398C5FD196F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95306820d28c0b26cab6aabb3962aa89e2326876","datavalue":{"value":"W1807554065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524998$B5B0CAB5-07F8-4A4A-BAF7-25A050080343","rank":"normal"}],"P1643":[{"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":"5d6ab737ec5c11b0ca57cd7bec08a48143bd8948","datavalue":{"value":{"amount":"+0.8075507283210754","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":"Q3524998$6F9742F0-68C9-4D66-94BB-8B9DDE3D5752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ba98873d052f5816175646d512a17079b79c03","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02d0c4c39d4df349ed21a731f75317739f3f3e77","datavalue":{"value":{"amount":"+0.8013948798179626","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":"Q3524998$9D8A8BD7-F681-4EAD-8035-5135BE64A187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae215399175c1bced66d0a1c371fbc245eeff4cd","datavalue":{"value":{"entity-type":"item","numeric-id":5387916,"id":"Q5387916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3836f157ab92913a06dc12d8c31d1e1421eeadf4","datavalue":{"value":{"amount":"+0.7897080183029175","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":"Q3524998$AB98188A-B834-4CDC-ABE7-4AA0FABC9F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a43da73541e40b8d93166832aeb92cd4bee415","datavalue":{"value":{"entity-type":"item","numeric-id":2830018,"id":"Q2830018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c80d79a2fe747aa764c5bef0029a42d238e6dac9","datavalue":{"value":{"amount":"+0.7886043787002563","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":"Q3524998$4C046DFF-AD09-4C4A-B2E4-9E05A3F1B241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e71bfb5b68d2283442ce2c6ed865faa5ef3fdb","datavalue":{"value":{"entity-type":"item","numeric-id":5756564,"id":"Q5756564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"646c4530aa6e421b92594aeefb6fb894b0fd7b7b","datavalue":{"value":{"amount":"+0.7885009050369263","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":"Q3524998$C71F8491-ECD1-4428-BAFF-B99FBAAABA3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3524998","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3524998"}}}}}