{"entities":{"Q2118345":{"pageid":2129088,"ns":120,"title":"Item:Q2118345","lastrevid":43521124,"modified":"2025-07-30T13:45:53Z","type":"item","id":"Q2118345","labels":{"en":{"language":"en","value":"Scalable SAT solving in the cloud"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495595"}},"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":"Q2118345$E21A3668-7B7A-4832-913F-602E4EC4869E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf499ebc9fd90e4675c4c4c973e96d8af2ab8121","datavalue":{"value":{"text":"Scalable SAT solving in the cloud","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2118345$2D7AC9A0-8215-47FB-B4B4-C6A82210EBCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63619f25e687235581dd006e1a2021256cc34a2f","datavalue":{"value":"10.1007/978-3-030-80223-3_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118345$A81F3A2B-8A64-48C0-A3ED-F69289F2C51F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"027199b026f9abf199f45358e0a212ab76e02318","datavalue":{"value":{"entity-type":"item","numeric-id":2118344,"id":"Q2118344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118345$133B3D67-3E12-450D-BCAE-C45C8EA1F133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32041dc8c7e1831a4f6dd3ced017267f09d3efe1","datavalue":{"value":{"entity-type":"item","numeric-id":181233,"id":"Q181233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118345$A01EE609-D47B-4B18-AF20-575686572C25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2118345$4CC09B50-C7E3-4C65-83A9-227353ED8AA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118345$649F5F7D-F9F2-4503-B5E8-9659F3945312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118345$E05AC4F9-4775-40DA-96C3-E003047E9DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118345$9BFD77DE-061E-4B88-AE43-4A93BAFBB056","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8c932c334952a71d5c9516b1d75590120c587cc","datavalue":{"value":"7495595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118345$2D988A52-0785-4A6C-A94B-82CAAF12ED08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4394436aa1ed6c47dc835152b4ffc17cbb508e3e","datavalue":{"value":"parallel SAT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118345$2C3D4D7F-E650-47FF-9699-6188F32EFDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b36d924addd0d2f364b26835d91730b673a9f92","datavalue":{"value":"distributed computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118345$A3D74807-0C40-47A7-B731-302A7030B34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"960799b3bfa21adf03c8f7768b860ba2bc767979","datavalue":{"value":"malleable load balancing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118345$CA30C5FB-7B52-4008-B856-ED89166CB49E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d3c12311696ba5d8cda030569e5f6f1c4208aa","datavalue":{"value":{"entity-type":"item","numeric-id":43355,"id":"Q43355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118345$C62C3AD3-1EBB-41E6-844D-B773C0A73599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55abd3cb726d920bced8b1d2940097a0e68510b8","datavalue":{"value":{"entity-type":"item","numeric-id":3453220,"id":"Q3453220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118345$732B11B4-E6A4-40E9-99F5-BA570C9D766D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce76167bb677ef1888fd91f9329a3bdc0c4f2d36","datavalue":{"value":{"entity-type":"item","numeric-id":1815572,"id":"Q1815572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118345$91FE8987-CE1D-4C22-9268-29FE8AB9370B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaf88b863390c55f20b48d9d9cf11f1e3b8797c5","datavalue":{"value":{"entity-type":"item","numeric-id":671443,"id":"Q671443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118345$44B50CB1-FD10-4255-8793-4E39688B91EA","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":"Q2118345$E7B6B867-390D-47C5-9144-7C98BFB83F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e1cc84537d93978940f9b3c496862f490f53464","datavalue":{"value":{"entity-type":"item","numeric-id":2661340,"id":"Q2661340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118345$D92281C9-E144-4773-A7B6-3C195C89EDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f673ba67ae0b39162d16f3da67f8d71ee6d9989","datavalue":{"value":{"entity-type":"item","numeric-id":1581848,"id":"Q1581848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118345$D530D74E-209E-47E6-93EC-E2F6A6B80947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a8a5348859dbb8b35b4e2efd781d12a169b2627","datavalue":{"value":{"entity-type":"item","numeric-id":5789918,"id":"Q5789918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118345$CC750A73-B877-46DC-A2CC-6E68FB43A556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82150f8943cff7ecd2cd54c7abc4f2a3d8b84f08","datavalue":{"value":{"entity-type":"item","numeric-id":1977757,"id":"Q1977757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118345$B354A4FE-04C4-491F-A114-6F6139EA88D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9499849e8ef30dd0b0d58029c01033b48cabbd6e","datavalue":{"value":{"entity-type":"item","numeric-id":5900028,"id":"Q5900028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118345$EB385827-DDD2-438D-A4C1-7F4486885B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed527386b6fc015efdcb1ff783f9a7f5d310407","datavalue":{"value":{"entity-type":"item","numeric-id":2299084,"id":"Q2299084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118345$4499BA4B-FF08-4E7D-881D-3B59F736D6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a686df96cd80b338c7a6ae0c4548b6955d4dbdc8","datavalue":{"value":{"entity-type":"item","numeric-id":5856493,"id":"Q5856493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118345$30C824BE-1C9F-4AE5-B3FB-E4456E08CCF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c8d5eddf468fb9caaf115078e71237f2f3f1a8","datavalue":{"value":{"entity-type":"item","numeric-id":3639754,"id":"Q3639754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118345$04B35900-E530-4E43-9FB3-616C1350EB5C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bdafd07838fc785688a9602d3aca4cae8a77c6a7","datavalue":{"value":{"entity-type":"item","numeric-id":43355,"id":"Q43355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118345$9716872D-C339-4400-A68D-684814C1DBA8","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":"Q2118345$9A6A227D-2280-4B18-9B2C-0D2C244E62EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2405da8a6791b3e32f9b5bcdfcb069bb45b0234d","datavalue":{"value":{"entity-type":"item","numeric-id":28581,"id":"Q28581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118345$4CCFE9E9-C0C7-48DA-8855-4BAFE22F6050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cfc147131a7d4143ee0cffcf8574b9289d54c011","datavalue":{"value":{"entity-type":"item","numeric-id":1354213,"id":"Q1354213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118345$82B576DD-D8BD-4827-A60B-55B715A220AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ddadcf23c1083cbefe0349fc4573fd061666b3e5","datavalue":{"value":{"entity-type":"item","numeric-id":1354210,"id":"Q1354210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118345$05E8A6F7-68E8-412E-99CD-04EE60468F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a28f560908fd8637ed84ec7b61f89df56d43e380","datavalue":{"value":{"entity-type":"item","numeric-id":18600,"id":"Q18600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118345$E0DFD9F9-E204-4CD2-9021-D1D27614C80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb98959f668eb01cbe58577bf16b7fabdd875b88","datavalue":{"value":{"entity-type":"item","numeric-id":19060,"id":"Q19060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118345$D422ED45-DA42-4077-96B5-B9F87CF22DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"deb481ab618b4313d2cc4e54da911d9eb08938c7","datavalue":{"value":{"entity-type":"item","numeric-id":33766,"id":"Q33766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118345$F26200C1-EAC3-481B-99A2-AF52573D2A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"653a6fa8244aa30333c256cc037f0dd6705a8f9e","datavalue":{"value":{"entity-type":"item","numeric-id":37663,"id":"Q37663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118345$38E22BB7-671B-4DBE-BD69-3844270ACD44","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":"Q2118345$6C529394-2557-4CD9-9C0E-106EB3CF4F26","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":"Q2118345$4F2F9340-6EE6-4BC3-AB80-1D0DF1806A15","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":"Q2118345$F6585050-214C-4201-8A46-9C73EBF4C037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ca3f31aa2c04d477727f6082390af9392ab5e781","datavalue":{"value":{"entity-type":"item","numeric-id":43356,"id":"Q43356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118345$497847CC-DDF0-4AEE-92BE-0B3AC86AC643","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":"Q2118345$0FA0E9B3-2190-46A6-B2C6-07BE6A36D6A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c69016f4d22e48583c37a0f5523e47930404ed31","datavalue":{"value":"https://doi.org/10.1007/978-3-030-80223-3_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q2118345$539F2F67-627F-4055-BFDD-0D6414301078","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e5c1cf39eb4d56491341d56f12bb74be816735f","datavalue":{"value":"W3184472707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118345$AEB606CE-8F32-400C-BC5C-47C1B8C9012A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2118345","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2118345"}}}}}