{"entities":{"Q2818042":{"pageid":2828780,"ns":120,"title":"Item:Q2818042","lastrevid":52614974,"modified":"2026-01-23T02:52:06Z","type":"item","id":"Q2818042","labels":{"en":{"language":"en","value":"OpenSMT2: an SMT solver for multi-core and cloud computing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623535"}},"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":"Q2818042$4F630511-96A7-4FE5-942B-42F318858D82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e01a32fb216a14e95f25cccb788f85d19bfca217","datavalue":{"value":{"text":"OpenSMT2: An SMT Solver for Multi-core and Cloud Computing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2818042$944003F8-0D6D-4FC8-ACC5-D6A8BF61F55E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d67e59653f3537d06976b36261566d7d21e6ea00","datavalue":{"value":"1475.68438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818042$54828321-73D5-4192-9A73-181AE99D8A92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76f4836e15b1b30b4615f4eb93bd6bfa445fe81c","datavalue":{"value":"10.1007/978-3-319-40970-2_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818042$633829F9-1192-4AC4-AF28-C3C86F6F397D","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":"Q2818042$56A01D70-3597-421F-9795-7A823AB6634C","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":"Q2818042$DD7A5231-94AD-4322-BAC4-8E649D6CD3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f44b052d5aaab89a7ad9f34946ed3d3ed704662","datavalue":{"value":{"entity-type":"item","numeric-id":2009610,"id":"Q2009610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818042$6E957C9D-FE74-4AF1-96F7-530AABB738E0","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":"Q2818042$66031A7C-39AC-4F9D-B4CE-788E8BF464D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0c83d828fab67264ee3effdcbdeab1b4c818c4e9","datavalue":{"value":{"entity-type":"item","numeric-id":2817996,"id":"Q2817996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818042$8D35B106-804C-4E5E-962E-6AA2A2F49F73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2818042$A49E7BAE-1FB6-4F29-B15A-89FC498EC2B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818042$8C32707A-3869-4B70-B00C-1D40C8E7F486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818042$D178559F-9336-4E72-B4CD-ACF84114AD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818042$062A6871-AB32-4859-97EF-86190608BA92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdc97bca8bd705d57fcce719578016f64e369386","datavalue":{"value":"6623535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818042$C871ED3F-2599-4FE9-A1D4-BB0AB1FC8440","rank":"normal"}],"P1463":[{"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":"Q2818042$1366EA3E-6996-45D6-A1CB-5DC404A59121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb907c191c9b4526ea77a562d1372a7e74d8254f","datavalue":{"value":{"entity-type":"item","numeric-id":21690,"id":"Q21690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818042$F5FAF22C-4B27-43F6-8F22-272B4AA00C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f36ef9912d31e7e06afcc965c90f8365b4460122","datavalue":{"value":{"entity-type":"item","numeric-id":30501,"id":"Q30501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818042$19F3C230-CB77-4687-93E7-3DF36EA79A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"61966f1b26da86e1a00e54448284de2cda99b2af","datavalue":{"value":{"entity-type":"item","numeric-id":18663,"id":"Q18663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818042$82B3BC0E-44F3-48CB-A92A-99601A34055B","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":"Q2818042$56C0B417-1B2B-4CDB-9B9D-624928370189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0bad17ed9105e56234c3fb1410804a2c89618330","datavalue":{"value":{"entity-type":"item","numeric-id":19912,"id":"Q19912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818042$09DF31FC-C437-44C7-9FB1-FAE38BDA2DAE","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":"Q2818042$5A18AA73-F1CC-470C-A97A-B2A56BBA94A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffb36b69a48eb7496d8b728270e099f5a9f4dd1a","datavalue":{"value":"https://doi.org/10.1007/978-3-319-40970-2_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q2818042$771C03E9-04A3-46E0-8B61-5AF6BBAF38A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1489a81f055655369c544b7f37e0072f9e56188","datavalue":{"value":"W2488157396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818042$8E0A019D-1D4B-423B-8826-5CB84BA7A88F","rank":"normal"}],"P223":[{"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":"Q2818042$12D53303-564D-4D47-BBF0-17594B76EC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5d0642217acb04e06c66e105c04c0b88ec43ea","datavalue":{"value":{"entity-type":"item","numeric-id":5326332,"id":"Q5326332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818042$AF670F10-11DD-417C-8C8E-31455E14CBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b4ee395f6c1020ef89b9d34ec484896c8b4b9e","datavalue":{"value":{"entity-type":"item","numeric-id":3453241,"id":"Q3453241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818042$E4113D49-9DED-4C3A-85F1-AE2B742D48B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90523338892982b1665740dbbd308e5958d89004","datavalue":{"value":{"entity-type":"item","numeric-id":2870162,"id":"Q2870162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818042$9202B27B-B07F-4D3D-A33E-B4933FFB84DC","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":"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":"Q2818042$FB0E2187-5651-4BAD-98BA-82E4032E358A","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":"d8c40e4c60ecb4119c0dcc9c2bcd8b9f6a0c0424","datavalue":{"value":{"amount":"+0.7359541058540344","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":"Q2818042$FA966471-2607-43D9-BBC1-AA77C90D528D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39474b4ca0e59e761405a95a5ee889ad3eb49624","datavalue":{"value":{"entity-type":"item","numeric-id":3453240,"id":"Q3453240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2636febae0e1c39c7520c772cab7376bfd8989ef","datavalue":{"value":{"amount":"+0.7318916916847229","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":"Q2818042$416B7EB8-4226-4170-B22F-CF347802262B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f943c54080b27de44312af7634875e7f707904","datavalue":{"value":{"entity-type":"item","numeric-id":5716582,"id":"Q5716582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11481550f34519df02f6d8b0bd61bd04db4242a6","datavalue":{"value":{"amount":"+0.7318214774131775","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":"Q2818042$978EB74C-2C71-4963-BC6C-47A4A964D4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30c0f951706d84d9d44f515cadada4a96e9f1832","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c288dbc2a4fa6decedd90fbf8947f3c163539ae5","datavalue":{"value":{"amount":"+0.7287486791610718","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":"Q2818042$0DC03C0C-42B1-4613-B3D5-6B9DB0C73EFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2818042","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2818042"}}}}}