{"entities":{"Q3453241":{"pageid":5232641,"ns":120,"title":"Item:Q3453241","lastrevid":52400522,"modified":"2026-01-22T13:48:48Z","type":"item","id":"Q3453241","labels":{"en":{"language":"en","value":"Search-space partitioning for parallelizing SMT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6512586"}},"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":"Q3453241$3A349C9B-7E98-45B9-9F75-88C597B18FB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee0efe6ac3e36b0d3f84320b177f84dda483b682","datavalue":{"value":{"text":"Search-Space Partitioning for Parallelizing SMT Solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3453241$9863E105-B98C-46D7-B31A-3E5D86BDEF34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9e5de40bb8fb75ec9b2c53cbb4dc0f30ecb8c16","datavalue":{"value":"1471.68244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453241$3BA600AD-B320-44D3-9A40-A3F1DCA712EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d5d40243a54e4423cf4aba45ac7dc8e068660ff","datavalue":{"value":"10.1007/978-3-319-24318-4_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453241$20630277-D497-4B3F-894F-4F2E7CB14A32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ebfd430f823a6478294286ff8c6d38b91b1861a","datavalue":{"value":{"entity-type":"item","numeric-id":784138,"id":"Q784138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$BB48CB89-FF49-4478-A605-668470992C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1f6444d049d9c57fcfb1a50096c7c7e894d6dbb","datavalue":{"value":{"entity-type":"item","numeric-id":784139,"id":"Q784139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$C1254D9A-8449-4ECB-BD02-572F9E1E3504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66a480d2e9b29ea82a9b0fc72873fd6d8201d31c","datavalue":{"value":{"entity-type":"item","numeric-id":287271,"id":"Q287271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$BFA95FFD-E192-4A2E-A5A5-4B66EB63A1D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$DDA7E957-05FF-4E2C-82FF-E4DDBA938FEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bc62645abb22752583f6909ba0e58feb505ce9c","datavalue":{"value":{"time":"+2015-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3453241$13738E55-4406-4B20-B23D-C4244152293F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453241$CED38FAA-EC91-4FCF-AB5C-4C43E9075F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453241$6B570321-949F-45EE-ABBA-ECEE7ACD3041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453241$8A745067-2BB5-4372-B8DA-59A955D9782D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e3190848dae0c68cd5ac564941b1b2cc04764b4","datavalue":{"value":"6512586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453241$02440201-A64E-4E61-A0BF-467190349C95","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":"Q3453241$AC5C1F1E-FE0C-41B7-BCB9-ED71013F74DB","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":"Q3453241$B2B28AFC-227D-4533-A601-A12E2AB7F5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$1FE98E18-9F15-461A-A76D-7B221404BF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$29664E7B-C537-414D-8D6F-7E1A70BB8937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$5A64DF6D-C8C1-4EB5-A11D-507B91ECB9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42950e8602f0bf155e8f0e40e68f674e5831f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$213403DF-0317-44CC-9418-52C04EC76C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27ecdb249d937c8a623acb0b8586242460e60996","datavalue":{"value":{"entity-type":"item","numeric-id":40383,"id":"Q40383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$AAF18941-7991-4913-A399-C5749C5BD31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1eaabc0e561dc484a85bd72ad458c9fb5f2683d3","datavalue":{"value":{"entity-type":"item","numeric-id":15174,"id":"Q15174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$FB0B9863-5E9A-41AA-90D5-2A343BEEDAA4","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":"Q3453241$BA1002F2-9D2E-413F-ADCB-7D3B410B2C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f27acff849365f4ab8e32d28fed6e6b1e1bc2ce","datavalue":{"value":{"entity-type":"item","numeric-id":20537,"id":"Q20537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$2FBBCEF1-F96D-4AFC-A612-52CCE48B957A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"776ec61ea9403d0c48a81eefe331d6bd9e850b8f","datavalue":{"value":{"entity-type":"item","numeric-id":20435,"id":"Q20435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$955BAD40-D053-4016-A46B-B0EE42B03A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$DBFE1D2D-F1F7-45CF-918E-957C5B764C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f72920035b67b72d36194fa1cacb9706003d48fb","datavalue":{"value":{"entity-type":"item","numeric-id":23847,"id":"Q23847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$E9D5C2C2-946A-4C53-A82E-B3BE3FE3CC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58e165eb815084f9a0c331d63332660ffc985e0f","datavalue":{"value":{"entity-type":"item","numeric-id":34457,"id":"Q34457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$CDC0BC5D-47F5-43A0-90F2-3637E22B96BA","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":"Q3453241$96F525EE-BDD1-4A32-83C4-0E746E80E3E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1cb8882cf53f546709f84226226d19e8c94bff6","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24318-4_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q3453241$7B41F376-590F-4034-A018-D161E6A5B84B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b702c73db4ee7b41210913d475da1853a2c46ab","datavalue":{"value":"W2281633864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453241$178BAC8E-D3EF-4E83-9E73-B9AFC1E774F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8132f197eba1642379bbe97f1fd2389daaa6c6a4","datavalue":{"value":{"entity-type":"item","numeric-id":1380435,"id":"Q1380435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$D483992C-6F20-46FC-ABB9-4E426EF6496E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$A5DEA364-46A7-43C6-823A-DC11A994A58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9422da50d2a3eee12c5b953358d4af4d314c375","datavalue":{"value":{"entity-type":"item","numeric-id":5200027,"id":"Q5200027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$0482964C-6B6A-45C8-9EBB-9839B95F2CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$8B2266E1-B1E0-4B46-BAC3-7927427355BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$048DD1C1-6700-439D-86AE-EFDF00ED5219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cdb831970cdc01d205b526f08958ccd77a1ab13","datavalue":{"value":{"entity-type":"item","numeric-id":5747748,"id":"Q5747748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$80FDBEC2-DF44-42CF-B58C-46C678048CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a1d4a717cb3fd29761b91077715db87cf5ea643","datavalue":{"value":{"entity-type":"item","numeric-id":3639755,"id":"Q3639755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$B1F5726E-49E4-46D8-8613-727F1EF89CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9c6af742bd1dcf7654551f06056269ebbc85ca","datavalue":{"value":{"entity-type":"item","numeric-id":3100181,"id":"Q3100181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$ED015080-719D-4B3C-AC41-0615F72703B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66abb9095dbc3a897723093a77a1e1d68df2b1cb","datavalue":{"value":{"entity-type":"item","numeric-id":5408453,"id":"Q5408453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$90FC27EA-844F-4EC9-878E-441242CB1E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe37b1a68865896a0e59530dd9364370d3c6ddb6","datavalue":{"value":{"entity-type":"item","numeric-id":487635,"id":"Q487635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$411E9029-F152-46D0-BE1F-5096CB7CACE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5791c716254aa1932faf4df96272562ac819ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5703869,"id":"Q5703869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$E80E3E86-C8E6-469C-B892-AA66C8C4E778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079d9a1453e37e4f063466335e73de85de7201e2","datavalue":{"value":{"entity-type":"item","numeric-id":5756563,"id":"Q5756563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$40D2D6BA-02D0-463E-AB68-0AED39852CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$0F497AE8-8B0A-468A-A0F6-4A0E3D494147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cce0b297ea45b764421587f2adf2d11f4a3e78c","datavalue":{"value":{"entity-type":"item","numeric-id":2908520,"id":"Q2908520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$171BEE46-D32C-4C26-B610-90D392D632DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aeafb9ac2f2609d33e0e02fb8c95752a23334d9","datavalue":{"value":{"entity-type":"item","numeric-id":2365127,"id":"Q2365127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453241$30386D93-4F16-4E55-872C-EA75AE289F07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d667ba3690d6fbf0d534052921487ce35ebc418","datavalue":{"value":{"entity-type":"item","numeric-id":4933318,"id":"Q4933318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cd1856f0d3ad07eae57e4bfb135882b431a32b2","datavalue":{"value":{"amount":"+0.8085424304008484","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":"Q3453241$4DFA19EA-FF03-42AA-8433-49FA6668FE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0b235c969d9877296523b36975328d8b7df7840","datavalue":{"value":{"entity-type":"item","numeric-id":1749390,"id":"Q1749390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14da6181682409aaded035bbfafa4f671e16b74e","datavalue":{"value":{"amount":"+0.8011569976806641","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":"Q3453241$EBDA2EA1-ACD5-457E-917B-E0B66FBCBFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d1d750fc0659fbc96a410dbb5037e8d70288deb","datavalue":{"value":{"entity-type":"item","numeric-id":2818042,"id":"Q2818042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"357b4f92c98b4ad1d1f52d93747e04d522d65bc8","datavalue":{"value":{"amount":"+0.7880250215530396","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":"Q3453241$0FE8604A-F617-477D-A523-2B3F7EA168AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8c1463ff992799d92b8362f7e598f662f129b1e","datavalue":{"value":{"entity-type":"item","numeric-id":3100181,"id":"Q3100181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7b172667f5c2926b694f7c5bade3fa3224b70a5","datavalue":{"value":{"amount":"+0.775816798210144","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":"Q3453241$993C2BD6-0850-40A7-95C2-AD823651E0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37ecf40ba6c1cb3baab1276e5f6253d5d491531","datavalue":{"value":{"entity-type":"item","numeric-id":5222977,"id":"Q5222977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f38568f733b6e5f1cc92693938260c1c8c35639e","datavalue":{"value":{"amount":"+0.7707216739654541","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":"Q3453241$BE8F54B0-05DE-4047-B1F9-13397AE5D54F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3453241","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3453241"}}}}}