{"entities":{"Q1749390":{"pageid":1760132,"ns":120,"title":"Item:Q1749390","lastrevid":68879049,"modified":"2026-04-13T02:50:13Z","type":"item","id":"Q1749390","labels":{"en":{"language":"en","value":"Parallelizing SMT solving: lazy decomposition and conciliation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6869125"}},"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":"Q1749390$D12A6E7A-9865-4A07-BDBB-2315A0654FC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6e66d8b41ff14346640f076549df6104792f8a6","datavalue":{"value":{"text":"Parallelizing SMT solving: lazy decomposition and conciliation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1749390$7D097CD9-FF40-4554-8DAE-78208764E848","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81f5cc46bfe08bd2f79ae6edf4d4031e6cc237fd","datavalue":{"value":"1444.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749390$906C6C11-A383-4FC8-AEEF-CC6CFE0FE82F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dcf8b29f998e6586890411a08c34f70ea4883f1","datavalue":{"value":{"entity-type":"item","numeric-id":1717924,"id":"Q1717924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$4ACA3FAB-117F-49A8-86B4-5D790FD64FDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$A170FCA7-EEF6-4458-8EA7-5D145E8EDFCE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e956331d0e5540795d70cdf1447eb2fc47cd3be5","datavalue":{"value":{"time":"+2018-05-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":"Q1749390$3DB119A9-3C76-48A9-A132-4A0DFDD320F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749390$3A6B61F6-7AA0-4496-AF72-B21A8A23CBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749390$A151994B-99EF-4501-BFCE-8E2A7E37D918","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ccb3b9d428d743574c579f79cea9f8ce4191a1c","datavalue":{"value":"6869125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749390$4D2F3F9D-BC3B-43C1-B0D1-212FF26C48CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749390$4EBA138C-AF2D-47F5-8C73-13AC2E98A05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4adb18bcac430f0482b7bf62c08c92b29c5f7df","datavalue":{"value":"parallelization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749390$0725BDEC-847C-47E6-9B9F-53B9722639CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f067bbb6b764d035ff1c180975545f114b41d7d4","datavalue":{"value":"lazy decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749390$592AD6AF-AFA0-47A7-B392-D9A755D56945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcbf469fe86c3ea50970907c0f53a503afb029c7","datavalue":{"value":"conciliation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749390$6F6EA66B-D6D5-4E68-8621-92C562E01244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f56309fad150e60ba57b3dfcdf5b89571d27f3bd","datavalue":{"value":"theory of equality with uninterpreted functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749390$AD8A2BD0-9029-4EBA-8D7C-199FDAF3E42D","rank":"normal"}],"P1463":[{"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":"Q1749390$45BA9396-B20B-4C60-BFC4-109B37698471","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":"Q1749390$BA387440-3B00-4920-8AA1-838E67988A79","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":"Q1749390$333498AF-A7D7-4112-9599-A54D6FF1C22A","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":"Q1749390$4EAF87AF-4016-4E97-AF23-871022521AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c46d83f8225e8e4d789b6fc74144d78a1809470","datavalue":{"value":{"entity-type":"item","numeric-id":24792,"id":"Q24792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$06682FB2-20E8-48EF-B5AB-65D983459093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3810c7bf221b43532b3d15bc5d7a1106ebd12ec7","datavalue":{"value":{"entity-type":"item","numeric-id":25229,"id":"Q25229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$4572CB9E-7F88-40E6-BE8B-427A4520188F","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":"Q1749390$C40CA56F-B7D6-4D31-BEFA-BB41F82FD35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a35a47cef9f2baec76c3bfc2bf8f6032431cb1c","datavalue":{"value":{"entity-type":"item","numeric-id":16827,"id":"Q16827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$249103AF-4491-437B-A16A-3802A420B656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"075bd4f0d0f46efa06d0219c176262a3c479185a","datavalue":{"value":{"entity-type":"item","numeric-id":12856,"id":"Q12856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$45B17C6D-7543-4982-801E-52B0050A09B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4471d74dba0f082d6eb87b9d0e3918e9ef420175","datavalue":{"value":{"entity-type":"item","numeric-id":13299,"id":"Q13299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$2D2AE11C-7ED0-49CF-B45F-4844F94B0F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b194bd31d37c1243d7e8c5eddae754651b6b0ca4","datavalue":{"value":{"entity-type":"item","numeric-id":18941,"id":"Q18941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$0B182F97-2A91-4016-9D89-2DC06A3237E1","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":"Q1749390$728C7A86-3C22-4C41-9DDC-1A274DE8B9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0ef7aed5e557965de3f0d4aab5d60887968bacb","datavalue":{"value":{"entity-type":"item","numeric-id":19149,"id":"Q19149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$DA604F2B-E1F7-4829-84D4-4F51AF5460E0","rank":"normal"},{"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":"Q1749390$0E1655C7-95E6-4000-8854-BC9C2AE2D28B","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":"Q1749390$1BC68D52-B047-436F-B81E-E206320624E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e436a6dc19a8ceb81ec55b5d8bc0dbe9bddbe586","datavalue":{"value":{"entity-type":"item","numeric-id":23853,"id":"Q23853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$644D26C2-A257-4CE8-9DB5-B12D3C3973BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbe2b9a97ce0ea3098b4e4971345da27fad3d33e","datavalue":{"value":{"entity-type":"item","numeric-id":39735,"id":"Q39735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$350F533B-1722-443E-B816-9E726D22A160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f73b220ba5587942b20819a10a7828507204c03c","datavalue":{"value":{"entity-type":"item","numeric-id":46504,"id":"Q46504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$F7EAC1D3-1C9A-4A28-AECF-14A8DDA79AF5","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":"Q1749390$3F3BEAE8-6D27-4185-B3FB-C053FA4598F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2f5141adb83a20c71864a598f31bccbce6e42dd","datavalue":{"value":"https://doi.org/10.1016/j.artint.2018.01.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1749390$E5AB5E54-107F-4E1C-986D-0760E8710F9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d8ed4db4b8f5eab72d08853e1dc2fcae7f1f9e4","datavalue":{"value":"W2791364807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749390$A03FE7AC-AA6F-49D8-9A0D-EB2C872389F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bc85061b2e01b3c39004d0ba311d60367a81324","datavalue":{"value":{"entity-type":"item","numeric-id":5738912,"id":"Q5738912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$C3FB627A-E8C7-448C-9E0D-4C8093CF7BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef757ecac8e00102e8fe2d81d7657ee3391ff698","datavalue":{"value":{"entity-type":"item","numeric-id":4138187,"id":"Q4138187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$AD42D9B6-2C4B-4B80-93DF-3A1F136ED944","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":"Q1749390$935BC347-1B80-4AA1-B5BD-AFF2D4F81395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"991ac21545d55e33054a32161d4696ec2df1036c","datavalue":{"value":{"entity-type":"item","numeric-id":5312932,"id":"Q5312932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$50B62739-0668-421F-AD86-DCEE3240BDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb644c5841dd8ef7fdeb2c27817dada70761fc00","datavalue":{"value":{"entity-type":"item","numeric-id":5429343,"id":"Q5429343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$8074631C-CCB9-48DD-B2F3-EFA8C52DA8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ef03e756862e512047f32e68c9212477d542933","datavalue":{"value":{"entity-type":"item","numeric-id":1008939,"id":"Q1008939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$0FA99E19-89CA-46FF-95EF-E7445BE830F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e126d7bd7c2e5801d6bab93c4bc91a314be0dab","datavalue":{"value":{"entity-type":"item","numeric-id":5312896,"id":"Q5312896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$38BA53AA-1E45-4C2B-A721-60D0DEC93F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171f2f23484cc563361b9a949250d7cf0cf0889e","datavalue":{"value":{"entity-type":"item","numeric-id":2479551,"id":"Q2479551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$5C7B4AAE-85E8-4E03-9AFA-490075B0C6DB","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":"Q1749390$EAE26202-F40D-4703-9EC6-D8E7BD58976E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672be30d9c0fd1bb08a1fc6131d1506ec245277a","datavalue":{"value":{"entity-type":"item","numeric-id":4830107,"id":"Q4830107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$58891A3F-6A08-4E0F-B1AA-C29008991707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$47026970-1153-4A11-B4B0-912BEE90DCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8971435217b64c50e375aec68a6c58475d8d0dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3249759,"id":"Q3249759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$604DC5A5-93A0-4DB2-A7B8-4F443BFBC711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$59703E74-A9B6-4C7B-8823-4C7F1D33B031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13219530e3d06874c8e2749c80d201a39fcadb63","datavalue":{"value":{"entity-type":"item","numeric-id":5191103,"id":"Q5191103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$6C4122AF-745E-4281-A464-952B34E35B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef9c0e492b02772fdee855678eeaaecef66c13a","datavalue":{"value":{"entity-type":"item","numeric-id":2575736,"id":"Q2575736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$74757066-6E66-4E62-8D56-9C9FE307F97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b6e216af7e475ea44161ceb6159f9152bcc04f","datavalue":{"value":{"entity-type":"item","numeric-id":2881073,"id":"Q2881073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$09F83D87-0629-450C-9511-D662C554348E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"895baf16c3d391ecd89bff3eff559d1d10b9dd0b","datavalue":{"value":{"entity-type":"item","numeric-id":438556,"id":"Q438556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$78ED67CF-DD4E-4A42-83EA-54F51B3183FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4542adac012f57bd573302e62777472c2bbd1aef","datavalue":{"value":{"entity-type":"item","numeric-id":5389080,"id":"Q5389080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$3C893553-8954-486D-9625-32A8D519AF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dac129a159e5019d1399be30aa2aedbb8b57223","datavalue":{"value":{"entity-type":"item","numeric-id":2946624,"id":"Q2946624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$A5B18D25-A728-469B-BFE3-2550A676D298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eff442bb51274bc0176a42c9962ccce88bdf511","datavalue":{"value":{"entity-type":"item","numeric-id":604394,"id":"Q604394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$31A81D20-BDC5-4407-8AFD-8AB41559D1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7903ffd8f9b852f272a22a95cb583ad2910295a","datavalue":{"value":{"entity-type":"item","numeric-id":5394624,"id":"Q5394624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$5A5C66DE-1E80-4064-BCAC-6A432A876A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377f0d71cd9d722dd42123f66faf2eb9ee85276b","datavalue":{"value":{"entity-type":"item","numeric-id":5410332,"id":"Q5410332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$D9BDF61E-1791-4BEA-95D2-EAE351091603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ea1e49654139a8bf01fb7d2509265fe22e72d56","datavalue":{"value":{"entity-type":"item","numeric-id":1026424,"id":"Q1026424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$32E6D893-4BB8-4A07-96FE-88C76B1575BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43174ba05e1d1a145a46ea903b9f848ea9d1c994","datavalue":{"value":{"entity-type":"item","numeric-id":2864399,"id":"Q2864399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$E69B875A-5138-45F7-AE5A-EE99F3B72B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8660c5ba66b97ae18a82fbaa0457964f9317ee39","datavalue":{"value":{"entity-type":"item","numeric-id":1343395,"id":"Q1343395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$1796FE25-AE94-441C-A629-8273FBB09774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f2b2673bf036beb0708e9a25319f486f5c7cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2651970,"id":"Q2651970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$61A09CDD-B7CA-4E35-936C-D51CB2BAB78E","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":"Q1749390$70455C0E-56B3-4960-A1F3-6E3E822AE5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7822b32c270c4bed5a3c343d0bc07d27a793e5a","datavalue":{"value":{"entity-type":"item","numeric-id":3639756,"id":"Q3639756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$8CC333EA-90E7-4C2A-8267-895714FE4797","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":"Q1749390$542F2300-13C5-4CE6-A280-A8518A51B7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$FA47AFA6-8D16-4C6B-A863-6F4F6E0A5D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$6ED10F1A-37ED-4377-9F4E-5A88EE75FDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$ED8BA929-7144-4EF5-B04E-6499FEE9FCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50b91f8311af786f0cf8a14635c242329f84cfc","datavalue":{"value":{"entity-type":"item","numeric-id":2851933,"id":"Q2851933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$D03BA1E1-E246-4ADB-A6A7-862AA720FB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d6d6d217b399c1f6c096de595598b482d1f660","datavalue":{"value":{"entity-type":"item","numeric-id":4930598,"id":"Q4930598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749390$A9266BCA-ACF6-49B1-8120-9759D6F489C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14750f055ff393455d3ab23ba753ed08dccffc80","datavalue":{"value":"10.1016/J.ARTINT.2018.01.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749390$5B1BD864-563E-44B0-91FD-7AE7ECB64FBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eb3814261415aa774ea241f540f56609eb5a714","datavalue":{"value":{"entity-type":"item","numeric-id":3453241,"id":"Q3453241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93cee34fa76bf14d47d11711b089c116087126ab","datavalue":{"value":{"amount":"+0.91946274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1749390$EBF2961D-0AF9-4121-B34B-A58E7FD5E1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8341f986178ce7be7bd37a4afc785bc80b689c21","datavalue":{"value":{"entity-type":"item","numeric-id":2079275,"id":"Q2079275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f67a8124785efaaee1f1f759f1cc7d61543757dc","datavalue":{"value":{"amount":"+0.8922813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1749390$6A0D9567-8E9D-47A8-A7FC-1B0AF8D28E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72e9642ab3fce5d0fa355ae3de2fba2090b53fa7","datavalue":{"value":{"entity-type":"item","numeric-id":2964456,"id":"Q2964456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d19c9afcefa2ac6ba6cb23709cab6e7fb1dc1c3","datavalue":{"value":{"amount":"+0.89120954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1749390$65951DD2-C0AB-4E1E-BD58-1EC3FB8CFC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f05d9027728050cdc19e8a7e0e796a7fb4268a71","datavalue":{"value":{"entity-type":"item","numeric-id":3069995,"id":"Q3069995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"287b5ef3b7e80508c7bd2d7e965adf263605bb48","datavalue":{"value":{"amount":"+0.8891403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1749390$3DE6AF62-7D6D-4BFD-8924-F834F643550C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca6a8ffb7b8c948039066ba5cce549248541f01f","datavalue":{"value":{"entity-type":"item","numeric-id":3192066,"id":"Q3192066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9293a3734196d34a787ce9cb9e938b1a8b60338","datavalue":{"value":{"amount":"+0.8884642","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1749390$CDC2ADC0-1849-40A8-BDFF-33F3BE810A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14698b283ed8cf19083cad194e8fddafa77229c7","datavalue":{"value":{"entity-type":"item","numeric-id":2661341,"id":"Q2661341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df43254cfc244912b69cb3f40c8c502be1c834bf","datavalue":{"value":{"amount":"+0.88750035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1749390$1AD699C4-3562-466C-BF01-0F0B92D93B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d988a44a99f79909548ed1bfb76da9cfaca66d91","datavalue":{"value":{"entity-type":"item","numeric-id":4251078,"id":"Q4251078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4dd3aa9698f30bc81c13570ccbb0058bdb9a9dc","datavalue":{"value":{"amount":"+0.88208604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1749390$ADF3A46B-49A2-40F3-A76B-D36AC094E462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc82022e7d8b08e56662ce23a79228afb6a4f1f0","datavalue":{"value":{"entity-type":"item","numeric-id":4859227,"id":"Q4859227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35faa5dfa66866fad7832716f0815e0a56e19b91","datavalue":{"value":{"amount":"+0.8816356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1749390$373F4BEC-0827-40F9-8A84-F556784885D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parallelizing SMT solving: lazy decomposition and conciliation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parallelizing_SMT_solving:_lazy_decomposition_and_conciliation"}}}}}